Hausdorff dimension, pro- groups,

and Kac-Moody algebras

Authors:
Yiftach Barnea and Aner Shalev

Journal:
Trans. Amer. Math. Soc. **349** (1997), 5073-5091

MSC (1991):
Primary 28A78, 22C05; Secondary 20F40, 17B67

MathSciNet review:
1422889

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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 E. I. Zelmanov.

**[A]**A. G. Abercrombie,*Subgroups and subrings of profinite rings*, Math. Proc. Cambridge Philos. Soc.**116**(1994), no. 2, 209–222. MR**1281541**, 10.1017/S0305004100072522**[B]**N. Bourbaki,*Lie groups and Lie algebras, Chapters 1-3*, Springer, Berlin, 1980.**[BShZ]**Y. Barnea, A. Shalev and E.I. Zelmanov, Graded subalgebras of affine Kac-Moody algebras, to appear in*Israel J. Math.***[C]**R. Camina,*Subgroups of the Nottingham Group*, Ph.D. Thesis, QMW, London, 1996.**[D1]**E. B. Dynkin,*Semisimple subalgebras of semisimple Lie algebras*, Mat. Sbornik N.S.**30(72)**(1952), 349–462 (3 plates) (Russian). MR**0047629****[D2]**E. B. Dynkin,*Maximal subgroups of the classical groups*, Trudy Moskov. Mat. Obšč.**1**(1952), 39–166 (Russian). MR**0049903****[DDMS]**J. D. Dixon, M. P. F. du Sautoy, A. Mann, and D. Segal,*Analytic pro-𝑝-groups*, London Mathematical Society Lecture Note Series, vol. 157, Cambridge University Press, Cambridge, 1991. MR**1152800****[F]**Kenneth Falconer,*Fractal geometry*, John Wiley & Sons, Ltd., Chichester, 1990. Mathematical foundations and applications. MR**1102677****[H]**James E. Humphreys,*Introduction to Lie algebras and representation theory*, Springer-Verlag, New York-Berlin, 1972. Graduate Texts in Mathematics, Vol. 9. MR**0323842****[J]**D. L. Johnson,*The group of formal power series under substitution*, J. Austral. Math. Soc. Ser. A**45**(1988), no. 3, 296–302. MR**957195****[La]**Michel Lazard,*Groupes analytiques 𝑝-adiques*, Inst. Hautes Études Sci. Publ. Math.**26**(1965), 389–603 (French). MR**0209286****[LM]**Alexander Lubotzky and Avinoam Mann,*Powerful 𝑝-groups. I. Finite groups*, J. Algebra**105**(1987), no. 2, 484–505. MR**873681**, 10.1016/0021-8693(87)90211-0

Alexander Lubotzky and Avinoam Mann,*Powerful 𝑝-groups. II. 𝑝-adic analytic groups*, J. Algebra**105**(1987), no. 2, 506–515. MR**873682**, 10.1016/0021-8693(87)90212-2**[LSh]**Alexander Lubotzky and Aner Shalev,*On some Λ-analytic pro-𝑝 groups*, Israel J. Math.**85**(1994), no. 1-3, 307–337. MR**1264349**, 10.1007/BF02758646**[S]**Jean-Pierre Serre,*Lie algebras and Lie groups*, 2nd ed., Lecture Notes in Mathematics, vol. 1500, Springer-Verlag, Berlin, 1992. 1964 lectures given at Harvard University. MR**1176100****[Sh1]**Aner Shalev,*Growth functions, 𝑝-adic analytic groups, and groups of finite coclass*, J. London Math. Soc. (2)**46**(1992), no. 1, 111–122. MR**1180887**, 10.1112/jlms/s2-46.1.111**[Sh2]**Aner Shalev,*Some problems and results in the theory of pro-𝑝 groups*, Groups ’93 Galway/St. Andrews, Vol. 2, London Math. Soc. Lecture Note Ser., vol. 212, Cambridge Univ. Press, Cambridge, 1995, pp. 528–542. MR**1337295**, 10.1017/CBO9780511629297.019**[Yo]**I.O. York,*The Group of Formal Power Series under Substitution*, Ph.D. Thesis, Nottingham, 1990.**[Z]**E. I. Zel′manov,*On periodic compact groups*, Israel J. Math.**77**(1992), no. 1-2, 83–95. MR**1194787**, 10.1007/BF02808012

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (1991):
28A78,
22C05,
20F40,
17B67

Retrieve articles in all journals with MSC (1991): 28A78, 22C05, 20F40, 17B67

Additional Information

**Yiftach Barnea**

Affiliation:
Institute of Mathematics, The Hebrew University, Jerusalem 91904, Israel

Email:
yiftach@math.huji.ac.il

**Aner Shalev**

Affiliation:
Institute of Mathematics, The Hebrew University, Jerusalem 91904, Israel

Email:
shalev@math.huji.ac.il

DOI:
http://dx.doi.org/10.1090/S0002-9947-97-01918-1

Received by editor(s):
June 4, 1996

Additional Notes:
Supported by the United States – Israel Bi-National Science Foundation, Grant No. 92-00034/3

Article copyright:
© Copyright 1997
American Mathematical Society