such it has a well defined Hausdorff dimension function. In this paper we study Hausdorff dimension of closed subgroups of finitely generated pro-$ p $ groups $ G $. We prove that if $ G $ is $ p $-adic analytic and $ H\le _c G $ is a closed subgroup, then the Hausdorff dimension of $ H $ is $\dim H/\dim G $(where the dimensions are of $ H $ and $ G $ as Lie groups). Letting the spectrum $\operatorname {Spec}(G) $ of $ G $ denote the set of …
Abstract
Every finitely generated profinite group can be given the structure of a metric space, and as such it has a well defined Hausdorff dimension function. In this paper we study Hausdorff dimension of closed subgroups of finitely generated pro- groups . We prove that if is -adic analytic and is a closed subgroup, then the Hausdorff dimension of is (where the dimensions are of and as Lie groups). Letting the spectrum of denote the set of Hausdorff dimensions of closed subgroups of , it follows that the spectrum of -adic analytic groups is finite, and consists of rational numbers. We then consider some non--adic analytic groups , and study their spectrum. In particular we investigate the maximal Hausdorff dimension of non-open subgroups of , and show that it is equal to in the case of (where ), and to if is the so called Nottingham group (where ). We also determine the spectrum of () completely, showing that it is equal to . Some of the proofs rely on the description of maximal graded subalgebras of Kac-Moody algebras, recently obtained by the authors in joint work with EI Zelmanov. References