Finite pre-Hjelmslev groups (Q1239257): Difference between revisions

\(H\) sei endliche Gruppe mit folgenden Eigenschaften: 1) \(H\) besitzt ein normales 2-Komplement \(K\). 2) Eine 2-Sylow-Gruppe von \(H\) besitzt ein Erzeugendensystem \(S\) aus involutorischen Elementen mit \(S^3=S\). 3) Es gibt eine Involution \(A\) in \(S^2\) mit folgenden beiden Eigenschaften: a) Für alle \(b\in S\) gilt \(C_K(\{A,b\})=\{1\}\beta)\). Es gibt \(\gamma\in H'\) mit \(C_H(A)=\{x\in H;\;\gamma^x=\gamma^{\pm 1}\}\). Es wird bewiesen (Satz 8): \(H/C_H(H')\) ist isomorph zu einer Gruppe der Ordnung \(\leq 2\) oder zu einer Untergruppe der engeren orthogonalen Gruppe \(G\) eines metrischen Moduls, die \(G''\) umfasst. Eine orthogonale Gruppe eines metrischen Moduls ist die Automorphismengruppe einer Struktur \((M,f)\), wobei \(M\) Modul über einem kommutativen Ring \(R\) und \(f\) eine symmetrische Bilinearform auf \(M\times M\) ist. Die engere orthogonale Gruppe ist das Erzeugnis von Symmetrien. Unter der Symmetrie längs \(Rc\) (\(c\in M\) mit \((c,c)f\) Einheit) ist der Automorphismus: \(M\to M\) mit \(x\to x-2\frac{(c,x)f}{(c,c)f}c\) zu verstehen. Der Beweis wird über spiegelungsgeometrische Sätze zur Kennzeichnung von endlichen Prä-Hjelmslev-Gruppen (Gruppen mit den Eigenschaften 1) bis \(\alpha\)) geführt.