Sur les groupes à \(p^n\) éléments. (Q2593990)

Jede aus \(r\) unabhängigen Elementen erzeugte endliche nilpotente Gruppe \(\mathfrak G\) von der Klasse \(c\) kann aufgefaßt werden als Faktorgruppe einer freien aus \(r\) unabhängigen Elementen erzeugten Gruppe \(\mathfrak L\), also auch als Faktorgruppe von \(\mathfrak L_c=\mathfrak L/\mathfrak L^{c+1}\) wobei \(\mathfrak L^i\), \(i=1,2,\dots\) die \(i\)-te Untergruppe der absteigenden Zentrenreihe von \(\mathfrak L\) ist. Die Gruppen \(\mathfrak A_m=\mathfrak L_m/\mathfrak L^{m+1}\), \(m=1,2,\dots\) sind freie abelsche Gruppen von endlichem Rang. Sei \(a_1^m, a_2^m,\dots\) eine Basis von \(\mathfrak A_m\), \(m=1,2,\dots\); dann kann man jedes Element \(x\) aus \(\mathfrak L_c\) eindeutig in der Form \(x=\sum\limits_{l=1}^c \sum\limits_\nu(a_\nu^l)^{x_{\nu,l}}\) schreiben. Ist \(x\cdot y=z\), so erhält man also eine Beziehung: \[ z_{l,\varrho}=P_{l,\varrho}(x_{i,\nu};y_{j,\mu}). \] Diese Gleichung deutet Verf. als Transformation der Punkte mit den ``Koordinaten'' \(x_{i,\nu}\) bzw. \(y_{j,\mu}\). Die Gesamtheit dieser Transformationen bestimmt eine Liesche Gruppe. Die gleichen Überlegungen kann man auf eine aus \(r\) unabhängigen Elementen erzeugte nilpotente Lie-Algebra \(\mathfrak A_c=\mathfrak A/\mathfrak A^{c+1}\) anwenden. Es zeigt sich, daß \(\mathfrak A_c\) gerade die Lie-Algebra der infinitesimalen Transformationen der obigen Lieschen Gruppe ist.