On Bieberbach’s analysis of discrete Euclidean groups
HTML articles powered by AMS MathViewer
- by R. K. Oliver PDF
- Proc. Amer. Math. Soc. 80 (1980), 15-21 Request permission
Abstract:
For a subgroup G of the euclidean group ${E_n} = {O_n} \cdot {{\mathbf {R}}^n}$ (semidirect product) and a real number $r > 0$, let ${G^ \ast }$ denote the translation subgroup of G, ${G_r}$ the group generated by all (A, a) in G with $\left \| {1 - A} \right \| < r$ (operator norm), and ${k_n}(r)$ the maximum number of elements of ${O_n}$ with mutual distances $\geqslant r$ relative to the metric $d(A,B) = \left \| {A - B} \right \|$. We give an elementary, largely geometrical proof of the following results of Bieberbach: Let G be a subgroup of ${E_n}$. (1) If G is discrete, then ${G_{1/2}}$ is abelian, ${G_{1/2}} \triangleleft G$, and $[G:{G_{1/2}}] \leqslant {k_n}(1/2)$. (2) G is discrete if and only if $G \subset {O_{n - k}} \times {E_k}$, where ${p_2}G$ is discrete, ${({p_2}G)^ \ast }$ spans ${{\mathbf {R}}^k}$, and $G \cap \ker {p_2}$ is finite. (Here ${p_2}$ is the projection on the second factor.) (3) G is crystallographic if and only if G is discrete and ${G^ \ast }$ spans ${{\mathbf {R}}^n}$. Moreover, if G is crystallographic, then $[G:{G^ \ast }] \leqslant {k_n}(1/2)$.References
- Louis Auslander, An account of the theory of crystallographic groups, Proc. Amer. Math. Soc. 16 (1965), 1230–1236. MR 185012, DOI 10.1090/S0002-9939-1965-0185012-7 L. Bieberbach, Über einen Satz des Hrn. C. Jordan in der Theorie der endlichen Gruppen linearer Substitutionen, S.-B. Preuss. Akad. Wiss. (1911), 231-240.
- Ludwig Bieberbach, Über die Bewegungsgruppen der Euklidischen Räume, Math. Ann. 70 (1911), no. 3, 297–336 (German). MR 1511623, DOI 10.1007/BF01564500
- William M. Boothby and Hsien-chung Wang, On the finite subgroups of connected Lie groups, Comment. Math. Helv. 39 (1965), 281–294. MR 180622, DOI 10.1007/BF02566955
- B. N. Delone and M. I. Štogrin, A simplification of the proof of the Schönflies theorem, Dokl. Akad. Nauk SSSR 219 (1974), 95–98 (Russian). MR 0370329 G. Frobenius, Über die unzerlegbaren diskreten Bewegungsgruppen, S.-B. Preuss. Akad. Wiss. (1911), 654-665.
- Shoshichi Kobayashi and Katsumi Nomizu, Foundations of differential geometry. Vol I, Interscience Publishers (a division of John Wiley & Sons, Inc.), New York-London, 1963. MR 0152974
- Willi Rinow, Die innere Geometrie der metrischen Räume, Die Grundlehren der mathematischen Wissenschaften, Band 105, Springer-Verlag, Berlin-Göttingen-Heidelberg, 1961. MR 0123969, DOI 10.1007/978-3-662-11499-5 K. Rohn, Krystallstruktur und regelmässige Punktgruppen, Ber. Sächs. Akad. Wiss. 51 (1899), 445-455.
- K. Rohn, Einige Sätze über regelmässige Punktgruppen, Math. Ann. 53 (1900), no. 3, 440–449 (German). MR 1511096, DOI 10.1007/BF01448981
- È. B. Vinberg, The Schoenflies-Bieberbach theorem, Dokl. Akad. Nauk SSSR 221 (1975), no. 5, 1013–1015 (Russian). MR 0486187
- Joseph A. Wolf, Spaces of constant curvature, McGraw-Hill Book Co., New York-London-Sydney, 1967. MR 0217740 H. Zassenhaus, Beweis eines Satzes über diskrete Gruppen, Abh. Math. Sem. Univ. Hamburg 12 (1938), 289-312.
Additional Information
- © Copyright 1980 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 80 (1980), 15-21
- MSC: Primary 20H15; Secondary 22E40, 51M20
- DOI: https://doi.org/10.1090/S0002-9939-1980-0574501-7
- MathSciNet review: 574501