On skew-groups.
Als ``skew-groups werden unendliche Gruppen bezeichnet, die 1) sich aus endlich vielen Elementen erzeugen lassen, 2) keine Elemente endlicher Ordnung außer l enthalten, 3) deren Kommutatorgruppe zyklisch und 4) im Zentrum der Gruppe enthalten ist, und 5) deren Zentrum zyklisch ist. Nach Satz~I besitzen sie Erzeugende \(P_1,Q_1,\dots,P_n,Q_n,Z\) mit den definierenden Relationen \((P_i,Q_i)=Z^{e_i}\) (\(i=1,2,\dots,n\)), \(e_i>0\), \(e_1\mid e_2\mid\cdots\mid e_n\), \(P_i\leftrightarrows P_j\), \(P_i\leftrightarrows Q_j\), \(Q_i\leftrightarrows Q_j\) (\(1\leqq i<j\leqq n\)); \(P_i\leftrightarrows Z\), \(Q_i\leftrightarrows Z\). Die Zahl \(n\) und die Zahlen \(e_i\) sind eindeutig bestimmt. Dieser Satz ist die gruppentheoretische Formulierung für die Tatsache, daß sich jede nicht singuläre, ganzzahlige, schiefsymmetrische \(2n\)-reihige Matrix \(G\) durch eine unimodulare Matrix \(A\) in die ``Elementarteilerform überführen läßt, die \(n\) Kästchen \(\begin{matrix}\r\;&\l\\0&e_i\\-e_i&0\end{matrix}\) längs der Hauptdiagonale besitzt. Wird Bedingung 5) weggelassen, so werden direkte Produkte einer skew-group mit einer freien abelschen Gruppe aus endlich vielen Erzeugenden erhalten. Die Automorphismengruppe einer skew-group wird aus drei sukzessiven Faktorgruppen aufgebaut, von denen die mittlere zu der Gruppe \(\mathfrak K\) aller unimodularen Matrizen \(S\), die der Gleichung \(SG^*S^t=G^*\) genügen, isomorph ist, während die beiden übrigen leicht angebbare abelsche Gruppen sind. Für die Gruppe \(\mathfrak K\) werden als Erzeugende die Substitutionen \[ S_i:x_i'=y_i,\; y_i'=-x_i,\; T_i:x_i'=x_i+y_i;\; V_{ij}:x_i'=x_i+y_j,\; x_j'=x_j+\frac{e_j}{e_i}y_i \] (\(1\leqq i<j\leqq n\)) erhalten (Variablen, für die kein Bild angegeben ist, bleiben jeweils fest).
This page was built for publication: On skew-groups.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2593977)
