Every finite group admits a just finite presentation

Technische Zusammenfassung: Jede endliche Gruppe besitzt eine gerade endliche Präsentation

Problemstellung
Der Artikel behandelt Problem 21.10 aus dem Kourovka-Notizbuch, das von Barnea gestellt wurde. Die Frage lautet, ob jede endliche Gruppe eine „gerade endliche" (just finite) Präsentation zulässt. Eine endliche Präsentation $\langle X \mid R \rangle$ einer endlichen Gruppe $G$ wird als gerade endliche definiert, wenn das Entfernen einer beliebigen einzelnen Relation $r \in R$ zu einer Präsentation für eine unendliche Gruppe führt. Während die Theorie der „gerade unendlichen" Gruppen (unendliche Gruppen, bei denen jeder echte Quotient endlich ist) gut etabliert ist, blieb das duale Konzept für endliche Gruppen eine offene Frage.

Methodik und Konstruktion
Der Autor löst die Vermutung, indem er ein stärkeres Ergebnis bezüglich Gruppen mit der Eigenschaft (FA) von Serre beweist. Eine Gruppe besitzt Eigenschaft (FA), wenn jede Wirkung auf einem Baum einen Fixpunkt hat; für endlich erzeugte Gruppen ist dies äquivalent dazu, dass die Gruppe weder ein nicht-triviales amalgamiertes freies Produkt noch eine HNN-Erweiterung ist. Da alle endlichen Gruppen Eigenschaft (FA) besitzen, reicht der Nachweis der Existenz einer „gerade-(FA)"-Präsentation für jede endlich präsentierte Gruppe mit Eigenschaft (FA) aus, um das ursprüngliche Problem zu lösen.

Die Kernkonstruktion modifiziert eine bestehende irredundante endliche Präsentation $\langle X \mid R \rangle$ einer Gruppe $G$ (wobei $G$ nicht zyklisch ist) in eine neue Präsentation $P' = \langle X' \mid R' \rangle$:

1. Erweiterung der Erzeuger: Für jede Relation $r \in R$ wird ein neuer Erzeuger $b_r$ eingeführt.
2. Substitution der Relationen: Jede ursprüngliche Relation $r$ wird durch ein Paar neuer Relationen ersetzt:
   • $r^{-1} b_r r = b_r^2$
   • $b_r^{-1} r b_r = r^2$
3. Theoretische Grundlage: Diese Substitution stützt sich auf Lemma 4 (B.H. Neumann), das besagt, dass, wenn Elemente $u, v$ die Bedingungen $u^{-1}vu = v^2$ und $v^{-1}uv = u^2$ erfüllen, dann $u=v=1$ gilt. Folglich erzwingen in der neuen Präsentation $P'$ die Relationen $b_r = 1$ und $r = 1$ für alle $r$, wodurch sichergestellt wird, dass $P'$ weiterhin die ursprüngliche Gruppe $G$ präsentiert.

Beweis der gerade-(FA)-Eigenschaft
Um zu zeigen, dass $P'$ gerade-(FA) ist, demonstriert der Autor, dass das Entfernen einer beliebigen einzelnen Relation aus $R'$ eine Gruppe liefert, die die Eigenschaft (FA) nicht besitzt. Der Beweis analysiert zwei Fälle für ein spezifisches Relationspaar, das einer ursprünglichen Relation $r$ entspricht:

• Fall 1 (Entfernen von $b_r^{-1} r b_r = r^2$): Die resultierende Gruppe $K_1$ wird als nicht-triviales amalgamiertes freies Produkt nachgewiesen. Spezifisch zerfällt sie als $H_r *_{\langle r \rangle} B'$, wobei $H_r = \langle X \mid R \setminus \{r\} \rangle$ und $B'$ ein semidirektes Produkt ist (oder eine Baumslag-Solitar-Gruppe, falls die Ordnung von $r$ unendlich ist). Es wird gezeigt, dass der Index der amalgamierenden Untergruppe mindestens 3 beträgt, was sicherstellt, dass das Produkt nicht-trivial ist, es sei denn, $H_r$ ist zyklisch. Der Autor argumentiert, dass, falls $H_r$ zyklisch wäre, auch $G$ (als Quotient von $H_r$) zyklisch wäre, was der Annahme widerspricht, dass $G$ nicht zyklisch ist. Somit ist $K_1$ ein nicht-triviales amalgamiertes freies Produkt und besitzt nicht die Eigenschaft (FA).
• Fall 2 (Entfernen von $r^{-1} b_r r = b_r^2$): Die resultierende Gruppe $K_2$ erlaubt einen surjektiven Homomorphismus auf die unendliche zyklische Gruppe $\mathbb{Z}$. Durch Abbildung aller ursprünglichen Erzeuger auf das Identitätselement und des spezifischen Erzeugers $b_r$ auf einen Erzeuger von $\mathbb{Z}$ wird die verbleibende Relation trivialerweise erfüllt. Da $K_2$ auf eine unendliche Gruppe abbildet, kann sie nicht die Eigenschaft (FA) besitzen.

Hauptergebnisse
Der Artikel stellt folgende Theoreme auf:

• Theorem 1: Jede endliche Gruppe besitzt eine endliche, gerade endliche Präsentation.
• Theorem 2: Jede endlich präsentierte Gruppe mit Eigenschaft (FA) besitzt eine endliche gerade-(FA)-Präsentation.
• Theorem 3: Jede endlich präsentierte Gruppe mit Kazhdans Eigenschaft (T) besitzt eine endliche gerade-(T)-Präsentation (eine Präsentation, bei der das Entfernen einer beliebigen Relation Eigenschaft (T) zerstört).
• Theorem 6: Für jede endliche irredundante Präsentation einer nicht-zyklischen Gruppe mit Eigenschaft (FA) existiert eine gerade-(FA)-Präsentation mit demselben Defekt (Anzahl der Erzeuger minus Anzahl der Relationen).

Bedeutung und Kontext
Der Artikel beansprucht, die im Kourovka-Notizbuch gestellte offene Frage bejahend zu lösen. Die Bedeutung liegt in der Feststellung der Existenz minimaler Präsentationen für endliche Gruppen in dem Sinne, dass keine Relation redundant ist, um die Endlichkeit aufrechtzuerhalten.

Methodischer Hinweis
Der Artikel räumt ausdrücklich die Verwendung des KI-Co-Mathematiker-Tools von Google DeepMind ein. Die KI schlug die initiale Lösungsstruktur und die Kernbeweissstrategie vor, stieß jedoch auf einen Fehler bezüglich des spezifischen Falls, in dem $H_r = \langle r \rangle$ in Fall 1 gilt. Der menschliche Autor identifizierte die logische Lücke, lieferte die notwendige Korrektur (das Argument bezüglich zyklischer Quotienten) und verfeinerte die Präsentation, um die breiteren Konzepte gerade-(FA)- und gerade-(T)-Präsentationen einzubeziehen. Der finale Text wurde vom KI-Tool verifiziert und korrigiert.