Group invariants of certain Burn loop classes (Q1281148): Difference between revisions

Es sei \(G\) eine Gruppe, die von den Elementen \(\alpha,\beta,\gamma\) mit den Relationen \(\alpha^{2n}=\beta^2=(\alpha\beta)^2=1\), \(\alpha\gamma=\gamma\alpha\), \(\beta\gamma=\gamma\beta\) oder, falls \(n\) gerade ist, \(\beta\gamma=\gamma\beta\alpha^n\) erzeugt wird. \textit{R. P. Burn} [Math. Proc. Camb. Philos. Soc. 84, 377-385 (1978; Zbl 0385.20043) und ibid. 89, 445-455 (1981; Zbl 0462.20056)] hat in diesen Gruppen Transversalen \(\mathcal T\) bezüglich der Untergruppe \(\langle\beta\rangle\) gefunden, die unter Konjugation mit Elementen aus \(G\) invariant bleiben und die als Menge der Rechtstranslationen von Bruck-Loops \(L\) interpretiert werden können. Der Verfasser bestimmt diejenigen Gruppen, die man aus den mit diesen Loops \(L\) assoziierten 3-Netzen \(N\) ablesen kann: Die Gruppe der Kollineationen von \(N\), die die Richtungen von \(N\) invariant lassen, die von den sogenannten Bolspiegelungen erzeugte Kollineationsgruppe, die von der Menge \(\{uv^{-1}u;\;u,v\in{\mathcal T}\}\) erzeugte Gruppe und die Automorphismengruppe von \(L\). Eine der Folgerungen, die sich aus dieser Bestimmung ergeben, ist, daß jeder Linkspseudoautomorphismus von \(L\) bereits ein Automorphismus von \(L\) sein muß. Bezeichnet \(\Lambda\) bzw. \(\Omega\) die Menge der Links- bzw. Rechtstranslationen einer Bruckloop \(L\), so daß \(\Lambda\) unter Konjugation mit Elementen aus \(\langle\Lambda\rangle\) invariant bleibt, so sind die Abbildungen \((z^{-1}w^{-1},z)\colon (x,y)\mapsto(x(\lambda^{-1}w^{-1}),yz)\), \(\lambda\in\Lambda\), \(w\in\Omega\) des zu \(L\) assoziierten Netzes \(N\) Kollineationen von \(N\), und die Abbildung \((\lambda^{-1}w^{-1},\lambda)\to\lambda\) definiert einen Homomorphismus der von \(\{(\lambda^{-1}w^{-1},\lambda);\;\lambda\in\Lambda,\;w\in\Omega\}\) erzeugten Gruppe auf die von \(\Lambda\) erzeugte Gruppe. Der Verfasser bestimmt explizit den Kern dieses Epimorphismus.