A note on invariant transversals for normal subgroups

Der Artikel untersucht die Existenz invarianter Transversalen für Normalteiler und liefert damit Gegenbeispiele zu einer Vermutung im Fall abelscher Normalteiler endlicher Gruppen.

Das Wesentliche

Hier ist eine einfache Erklärung des wissenschaftlichen Artikels von Gerhard Hiss, verpackt in eine Geschichte mit Alltagsanalogien.

Die große Suche nach dem perfekten Schlüsselbund

Stellen Sie sich eine riesige, chaotische Party vor. Das ist Ihre Gruppe G. Auf dieser Party gibt es eine spezielle VIP-Gruppe, die H (eine Untergruppe). Die VIPs stehen alle in einer Ecke, aber sie mischen sich auch mit den anderen Gästen.

Die Mathematiker wollen wissen: Können wir eine Liste (einen sogenannten "Transversal") erstellen, die genau einen Vertreter von jeder VIP-Gruppe enthält? Das ist wie ein Schlüsselbund, bei dem jeder Schlüssel genau eine Tür öffnet, ohne dass wir doppelt schlüsseln müssen.

Jetzt kommt die spannende Regel: Diese Liste soll invariant sein. Das bedeutet, sie soll sich nicht ändern, wenn man die Party umdreht oder die Gäste ihre Plätze tauschen (Konjugation). Es ist, als ob Sie einen perfekten Plan hätten, der funktioniert, egal wie sich die Menschen auf der Party bewegen.

Die alte Vermutung (Der Traum vom perfekten Plan)

Ein Mathematiker (der Autor dieses Artikels) hatte eine schöne Idee, eine Vermutung:
"Wenn die VIPs (H) sehr brav und ordentlich sind (abelsch) und wir einen perfekten, unveränderlichen Plan (invariante Transversale) für sie finden können, dann dürfen diese VIPs keine 'Streithähne' (Kommutatoren) in ihrer Mitte haben."

In der Mathematik sind "Streithähne" Paare von Leuten, die sich nicht vertragen und die Ordnung stören. Die Vermutung sagte also: Wenn du einen perfekten Plan hast, dann müssen die VIPs völlig friedlich sein und keine Konflikte verursachen.

Die Überraschung: Der Plan funktioniert trotzdem!

Der Autor dieses Artikels, Gerhard Hiss, hat sich hingesetzt, um diese Vermutung zu beweisen. Aber statt eines Beweises fand er Gegenbeispiele. Er entdeckte Situationen, in denen die VIPs sehr wohl "Streithähne" in ihrer Mitte haben, aber trotzdem ein perfekter, unveränderlicher Plan existiert!

Das ist wie wenn Sie sagen: "Wenn ein Team perfekt zusammenarbeitet, dann darf es keine Streitereien geben." Und dann finden Sie ein Team, das ständig streitet, aber trotzdem einen perfekten Arbeitsplan hat, der nie kippt. Die alte Regel war also falsch.

Wie hat er das herausgefunden? (Die zwei Tricks)

Um diese Gegenbeispiele zu finden, nutzte Hiss zwei clevere Tricks:

1. Der "Zentraler-Ort"-Trick:
   Er zeigte, dass man das Problem vereinfachen kann, indem man sich nur auf den "Herzschlag" der Gruppe konzentriert. Wenn die VIPs in der Mitte der Party stehen (im Zentrum der Gruppe), wird die Suche nach dem Plan viel einfacher. Er fand heraus, dass man das Problem auf eine andere Frage reduzieren kann: Gibt es eine Art von "Schattenwelt" (eine zentrale Erweiterung), in der die Regeln der Party anders funktionieren?

2. Die Suche nach den Ausnahmen:
   Hiss schaute in alte mathematische Bücher (die Arbeiten von Blau und Malle). Dort fand er Hinweise auf zwei ganz spezielle, sehr komplexe mathematische Strukturen (die sogenannten quasisimple Gruppen, die mit der Gruppe $PSL_3(4)$ zu tun haben).

   Stellen Sie sich diese Gruppen wie extrem komplexe, fast unmögliche Puzzles vor. In diesen Puzzles gibt es kleine Teile (die Untergruppe H), die eigentlich "verbotene" Konflikte enthalten. Aber dank einer besonderen Eigenschaft dieser Puzzles funktioniert der Plan trotzdem!

Das Ergebnis

Der Artikel sagt uns also: Die alte Vermutung ist falsch.

Man kann also Gruppen haben, die "unordentlich" sind (die Kommutatoren enthalten), und trotzdem einen perfekten, unveränderlichen Plan (eine invariante Transversale) für sie finden.

Warum ist das wichtig?
In der Mathematik hilft es, die Grenzen unseres Wissens zu kennen. Wenn man dachte, eine Regel sei immer wahr, und dann findet man eine Ausnahme, muss man die Theorie neu schreiben. Hiss hat gezeigt, dass die Welt der Gruppen viel vielfältiger ist als man dachte. Es gibt "unmögliche" Kombinationen, die doch funktionieren.

Zusammenfassung in einem Satz:
Der Autor hat bewiesen, dass man auch in chaotischen, konfliktreichen mathematischen Gruppen einen perfekten, unveränderlichen Plan finden kann – und damit eine bisher geglaubte Regel widerlegt.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papers von Gerhard Hiss auf Deutsch:

Titel: Eine Anmerkung zu invarianten Transversalen für Normalteiler

Autor: Gerhard Hiss
Datum: März 2026 (basierend auf dem vorliegenden Manuskript)

---

1. Problemstellung und Motivation

Das Paper untersucht die Existenz invarianter Transversalen für Normalteiler in endlichen und unendlichen Gruppen.

• Definitionen:

  • Sei $G$ eine Gruppe und $H, L \le G$ Untergruppen.
  • Eine Menge $S \subseteq G$ ist eine $L$-invariante Transversale für die Rechtsnebenklassen $H\backslash G$, wenn $S$ ein Repräsentantensystem für $H\backslash G$ ist und unter Konjugation durch $L$ invariant bleibt (d.h. $S$ ist eine Vereinigung von $L$-Konjugationsklassen).
  • Eine $G$-invariante Transversale ist insbesondere eine "Loop-Transversale", die eine Loops-Struktur induziert.

• Die Vermutung (Conjecture 1.1):
  In der Literatur (insb. in [6] und Ortjohanns Masterarbeit [11]) wurde folgende Vermutung aufgestellt:

  Sei $G$ eine endliche Gruppe und $H \le G$ eine abelsche Untergruppe, die eine $G$-invariante Transversale zulässt. Dann gilt $H \cap G' = \{1\}$, wobei $G'$ die Kommutatoruntergruppe von $G$ ist.

• Motivation für die Vermutung:

  1. Falls $H \cap G' = \{1\}$, ist $H$ notwendigerweise abelsch, und man kann leicht eine $G$-invariante Transversale konstruieren. Die Vermutung würde die Klassifikation solcher Tripel $(G, H, T)$ vereinfachen.
  2. Bisherige Überprüfungen (Artic, Ortjohann) bestätigten die Vermutung für viele Fälle (z.B. $|G| \le 40$, Hall-Untergruppen).

Ziel des Papers: Gerhard Hiss widerlegt diese Vermutung durch die Konstruktion expliziter Gegenbeispiele, insbesondere für den Fall, dass $H$ ein abelscher Normalteiler ist.

---

2. Methodik und theoretische Grundlagen

Der Autor entwickelt eine systematische Charakterisierung der Existenz invarianter Transversalen für Normalteiler $H \unlhd G$.

A. Charakterisierungssätze (Abschnitt 2)

Hiss leitet notwendige und hinreichende Bedingungen ab, unter denen eine $G$-invariante Transversale existiert.

• Lemma 2.1 & Korollar 2.2: Für einen Normalteiler $H$ gilt: Wenn $H$ eine $H$-invariante Transversale zulässt, muss $H \le Z(G)$ (Zentrum von $G$) gelten, falls $H$ abelsch ist.

• Proposition 2.3 (Hauptkriterium): Eine $G$-invariante Transversale für $G/H$ existiert genau dann, wenn:

  1. $G = H \cdot C_G(H)$ (das Produkt aus $H$ und dem Zentralisator von $H$ ist ganz $G$).
  2. $C_{G/H}(Hg) = H C_G(g) / H$ für alle $g \in G$ gilt.

• Reduktion auf abelsche Fälle:
  Durch die Analyse der Struktur $G = H \circ Z L$ (Zentralprodukt) wird gezeigt, dass die Klassifikation auf den Fall reduziert werden kann, in dem $H$ abelsch ist. Für abelsche $H$ vereinfacht sich das Kriterium zu:

  • $H \le Z(G)$
  • $C_{G/H}(Hg) = C_G(g) / H$ für alle $g \in G$.

  Dies ist äquivalent dazu, dass kein nicht-trivialer Kommutator von $G$ in $H$ liegt (unter der Annahme $H \le Z(G)$).

B. Verbindung zu Kohomologie und Charaktertheorie (Abschnitt 3)

Für endliche Gruppen wird die Bedingung (2) mit der Anzahl der Konjugationsklassen $k(G)$ in Verbindung gebracht (Gallagher [3]):
$$k(G) = k(G/H) \cdot k(H)$$

• Zentrale Erweiterungen:
  Falls $H \le Z(G)$, ist $1 \to H \to G \to \bar{G} \to 1$eine zentrale Erweiterung. Eine Transversale definiert einen 2-Kozykel$\gamma \in Z^2(\bar{G}, H)$.
• Regularitätsbedingung:
  Die Existenz einer invarianten Transversale korrespondiert mit der Bedingung, dass jedes Element $\bar{x} \in \bar{G}$ bezüglich des durch einen Charakter $\lambda: H \to \mathbb{C}^\times$ induzierten 2-Kozykels $\alpha = \lambda \circ \gamma$ $\alpha$-regulär ist (d.h. $\alpha(\bar{x}, \bar{y}) = \alpha(\bar{y}, \bar{x})$ für alle $\bar{y} \in C_{\bar{G}}(\bar{x})$).
• Reynolds' Ergebnis:
  Reynolds [13] konstruierte metabelsche Gruppen, in denen jedes Element regulär ist, obwohl die Kohomologieklasse $[\alpha]$ nicht-trivial ist. Dies impliziert, dass $H \cap G' \neq \{1\}$ sein kann, obwohl eine invariante Transversale existiert.

---

3. Wichtige Ergebnisse und Gegenbeispiele

Das Paper liefert mehrere Klassen von Gegenbeispielen zur Vermutung 1.1, bei denen $H$ abelsch, $H \le Z(G)$, aber $H \cap G' \neq \{1\}$ ist.

A. Endliche $p$-Gruppen

• Kleinstes Gegenbeispiel: Eine Computerecherche mit GAP zeigt, dass es keine Gegenbeispiele mit $|G| < 128$ gibt.
• Konstruktion: Es wurden 52 Isomorphieklassen von Gruppen der Ordnung $27$gefunden, die eine Untergruppe$H \le Z(G) \cap G'$der Ordnung 2 enthalten, für die$k(G) = k(G/H) \cdot 2$ gilt.
  • In diesen Gruppen ist $Z(G)$ elementar abelsch der Ordnung 8, $Z(G) \le G'$, und $G'$ ist abelsch vom Exponenten 4.
  • Dies widerlegt die Vermutung für endliche $p$-Gruppen.

B. Nicht-auflösbare Gegenbeispiele (Quasisimple Gruppen)

Der Autor identifiziert zwei nicht-auflösbare Gegenbeispiele, die auf Ergebnissen von Blau [2] und Liebeck et al. [9] basieren.

• Ausgangspunkt: Es gibt quasisimple Gruppen $G$, bei denen ein nicht-trivialer zentraler Untergruppe $H$ existiert, deren Elemente keine Kommutatoren sind.
• Spezifische Gruppen:
  1. $G_1$: Eine Überlagerungsgruppe von $PSL_3(4)$ mit $Z(G_1) \cong C_2 \times C_{12}$.
  2. $G_2$: Eine Überlagerungsgruppe von $PSL_3(4)$ mit $Z(G_2) \cong C_2 \times C_4$.
• Ergebnis: In beiden Fällen gibt es eine eindeutige Untergruppe $H_i$ der Ordnung 2 in $Z(G_i)$, die keine Kommutatoren enthält. Da keine nicht-trivialen Kommutatoren in $H$ liegen, ist die Bedingung für die Existenz einer invarianten Transversale erfüllt, obwohl $H \cap G' \neq \{1\}$ (da $H \le G'$).
• Folgerung: Die Paare $(G_1, H_1)$ und $(G_2, H_2)$ sind nicht-auflösbare Gegenbeispiele.

C. Sylow-Untergruppen

Mittels eines "Going-Down"-Arguments (Lemma 3.1) wird gezeigt, dass auch die Sylow-2-Untergruppen $S$ dieser quasisimple Gruppen (Ordnung $2^9$) zusammen mit der entsprechenden Untergruppe$H$ Gegenbeispiele bilden.

D. Unendliche Beispiele

Als Nebenbemerkung wird erwähnt, dass $G = SL_2(\mathbb{R})$ mit $H = Z(G)$ ein unendliches Gegenbeispiel liefert, da $SL_2(\mathbb{R})$ perfekt ist ($G'=G$), aber $H$ keine nicht-trivialen Kommutatoren enthält.

---

4. Signifikanz und Fazit

• Widerlegung einer offenen Vermutung: Das Paper schließt die Vermutung 1.1 als falsch ab. Die Bedingung $H \cap G' = \{1\}$ ist nicht notwendig für die Existenz einer $G$-invarianten Transversalen, selbst wenn $H$ abelsch und $G$ endlich ist.
• Strukturelle Einsichten: Die Arbeit verdeutlicht die tiefe Verbindung zwischen der Existenz invarianter Transversalen, der Kohomologie von Gruppen ($H^2$), der Regularität von Elementen in projektiven Darstellungen und der Verteilung von Kommutatoren in zentralen Erweiterungen.
• Methodischer Beitrag: Die Reduktion des Problems auf die Untersuchung zentraler Erweiterungen und die Nutzung von Charaktertheorie (Anzahl der Konjugationsklassen) bietet einen robusten Rahmen für die weitere Untersuchung von Loop-Transversalen.
• Praktische Relevanz: Die Identifikation spezifischer endlicher Gruppen (Ordnung 27 und Überlagerungen von $PSL_3(4)$) als Gegenbeispiele liefert konkrete Testfälle für die Theorie der endlichen Gruppen und deren Darstellungen.

Zusammenfassend zeigt Hiss, dass die Klassifikation von Paaren $(G, H)$ mit invarianten Transversalen komplexer ist als vermutet, da sie auch Fälle umfasst, in denen der Normalteiler $H$ nicht-trivial im Kommutatoruntergruppe liegt, solange keine "lokalen" Kommutator-Obstruktionen in $H$ vorliegen.