Mathematics, vol.10, no.20, 2022 (SCI-Expanded)
Let (Formula presented.) be the group algebra of an n-step iterated wreath product. We prove some structural properties of (Formula presented.) such as their centers, centralizers, and right and double cosets. We apply these results to explicitly write down the Mackey theorem for groups (Formula presented.) and give a partial description of the natural transformations between induction and restriction functors on the representations of the iterated wreath product tower by computing certain hom spaces of the category of (Formula presented.) bimodules. A complete description of the category is an open problem.