Endliche Gruppen, Kommutierungswahrscheinlichkeit und teilerfremde Automorphismen

Grundinformationen

• Paper-ID: 2511.07597
• Titel: Finite groups, commuting probability, and coprime automorphisms
• Autoren: Eloisa Detomi, Robert M. Guralnick, Marta Morigi, Pavel Shumyatsky
• Klassifizierung: math.GR (Gruppentheorie)
• Einreichungsdatum: 10. November 2025 bei arXiv
• Paper-Link: https://arxiv.org/abs/2511.07597

Zusammenfassung

Dieses Papier untersucht die Kommutierungswahrscheinlichkeit von Untergruppenelenten in endlichen Gruppen. Für zwei Untergruppen $H, K$ einer endlichen Gruppe $G$ wird mit $\Pr(H,K)$ die Wahrscheinlichkeit bezeichnet, dass ein zufällig gewähltes Elementpaar aus $H$ und $K$ kommutiert. Die Hauptergebnisse umfassen:

1. Theorem 1.2: Sei $G$ eine endliche Gruppe, die eine teilerfremde Automorphismengruppe $A$ zulässt, und sei $\epsilon > 0$. Falls für alle verschiedenen Primzahlen $p, q \in \pi(G)$ eine $A$-invariante Sylow-$p$-Untergruppe $P$ und eine $A$-invariante Sylow-$q$-Untergruppe $Q$ existieren mit $\Pr([P,A], [Q,A]) \geq \epsilon$, dann hat $F_2([G,A])$ einen $\epsilon$-beschränkten Index in $[G,A]$.
2. Theorem 1.4: Falls $G = [G,A]$ und für jede Primzahl $p | |G|$ eine $A$-invariante Sylow-$p$-Untergruppe $P$ existiert mit $\Pr([P,A], [P,A]^x) \geq \epsilon$ für alle $x \in G$, dann ist $G$ beschränkt-abelsch-beschränkt (bounded-by-abelian-by-bounded).

Forschungshintergrund und Motivation

Problemhintergrund

1. Klassische Ergebnisse zur Kommutierungswahrscheinlichkeit:
   • Theorem von P. M. Neumann: Falls eine endliche Gruppe $G$ die Bedingung $\Pr(G,G) \geq \epsilon$ erfüllt, dann existiert eine Normaluntergruppe $R$ von $G$, sodass sowohl der Index $|G:R|$ als auch die Ordnung der Kommutatorgruppe $[R,R]$ $\epsilon$-beschränkt sind
   • Für nichtabelsche Gruppen ist $\Pr(G,G) \leq 5/8$ eine bekannte obere Schranke
2. Kommutativität von Sylow-Untergruppen:
   • Eine endliche Gruppe ist nilpotent genau dann, wenn je zwei Sylow-Untergruppen mit teilerfremden Ordnungen kommutieren
   • Theorem 1.1 (aus 12): Falls für alle verschiedenen Primzahlen $p, q$ eine Sylow-$p$-Untergruppe $P$ und eine Sylow-$q$-Untergruppe $Q$ existieren mit $\Pr(P,Q) \geq \epsilon$, dann hat $F_2(G)$ einen $\epsilon$-beschränkten Index in $G$

Forschungsmotivation

Dieses Papier verallgemeinert die oben genannten klassischen Ergebnisse auf den Fall der Wirkung teilerfremder Automorphismen:

• Teilerfremde Automorphismen sind Automorphismen, deren Ordnung teilerfremd zur Ordnung der Gruppe ist
• Untersuchung der Struktur von $[G,A]$ (der von allen $g^{-1}g^\alpha$ erzeugten Untergruppe)
• Dies ist eine Schnittstelle zwischen Automorphismentheorie und Kommutierungswahrscheinlichkeitstheorie in der Gruppentheorie

Bedeutung

1. Teilerfremde Automorphismen nehmen eine besondere Stellung in der endlichen Gruppentheorie ein und bewahren viele gute Eigenschaften
2. Die Einführung probabilistischer Methoden in die Untersuchung von Automorphismengruppen bietet neue Werkzeuge zur Strukturcharakterisierung
3. Die Ergebnisse hängen vom Klassifikationssatz für endliche einfache Gruppen ab und zeigen tiefe Verbindungen in der modernen Gruppentheorie

Kernbeiträge

1. Beweis von Theorem 1.2: Unter der Wirkung teilerfremder Automorphismen wird die Beschränktheit von $F_2([G,A])$ aus der Kommutierungswahrscheinlichkeit von Sylow-Untergruppen hergeleitet – eine nichttriviale Verallgemeinerung von Theorem 1.1 auf den Automorphismenfall
2. Etablierung von Theorem 1.3: Für Konjugationstransformationen einer einzelnen Sylow-Untergruppe wird die Beschränktheit der Ordnung von $[P,A]$ modulo $O_p(G)$ gezeigt
3. Vollständige Charakterisierung in Theorem 1.4: Wenn die Bedingung an allen Primzahlstellen erfüllt ist, wird bewiesen, dass $G$ eine Neumann-artige Struktur besitzt
4. Technische Innovationen:
   • Entwicklung feiner Techniken zur Behandlung von Lie-Typ-Gruppen mit teilerfremden Automorphismen (Abschnitt 5)
   • Etablierung eines induktiven Argumentationsrahmens für auflösbare Gruppen (Abschnitt 4)
   • Beweis von Struktursätzen für halbeinfache Gruppen (Abschnitt 6)
5. Konstruktion von Gegenbeispielen: Demonstration, dass der Index von $F([G,A])$ beliebig groß sein kann (Beispiel in Abschnitt 4), was die Optimalität des Theorems zeigt

Methodische Details

Kernkonzepte und Notation

1. Kommutierungswahrscheinlichkeit: $\Pr(X,Y) = \frac{|\{(x,y) \in X \times Y \mid xy = yx\}|}{|X||Y|}$
2. Teilerfremde Wirkung: Eine Gruppe $A$ wirkt auf $G$, falls $(|G|, |A|) = 1$
3. Kommutatorgruppe: $[G,A] = \langle g^{-1}g^\alpha \mid g \in G, \alpha \in A \rangle$
4. Obere Fitting-Reihe: $F_i(G)$ ist das $i$-te Glied der oberen Fitting-Reihe von $G$

Gesamte Beweisstruktur

Das Papier verwendet eine Klassifikations-Induktionsstrategie, die Fälle nach der Struktur der Gruppe behandelt:

Phase 1: Auflösbare Gruppen (Abschnitt 4)

Schlüssellemma 4.3: Falls $G = PQ$ ($P$ normal, $Q$ ist $\alpha$-invariante Sylow-Untergruppe, $Q = [Q,\alpha]$) und die Annahmen 4.1 erfüllt sind, dann ist $|G : F(G)| \leq m$ ($m$ ist $\epsilon$-beschränkt).

Beweisidee:

1. Reduktion auf den Fall, dass $F(G) = P$ abelsch ist
2. Anwendung von Proposition 3.4 unter Verwendung von $\Pr([P,\alpha], Q) \geq \epsilon$
3. Existenz einer Normaluntergruppe $U$ und $P_0 \leq [P,\alpha]$ mit beschränkter Ordnung von $[P_0, U]^G$
4. Abschluss durch Eigenschaften der Fitting-Untergruppe

Lemma 4.6 (Hauptsatz für auflösbare Gruppen): Unter Annahmen 4.1, falls $G$ auflösbar und $G = [G,\alpha]$, dann ist $|G : F_2(G)|$ $\epsilon$-beschränkt.

Beweisspunkte:

• Lemma 4.5: Für hinreichend große Primzahlen $q > m$ gilt $[Q,\alpha] \leq F(G)$
• Verwendung der Beschränktheit der Fitting-Höhe (Hall-Higman-Theorie)
• Lemma 2.10: Kontrolle von $|I_{F(G)}(\alpha)|$ zur Begrenzung von $|G|$

Phase 2: Einfache Gruppen (Abschnitt 5)

Lemma 5.2: Falls $G$ eine Lie-Typ-Gruppe in Charakteristik $p$ ist und $P$ eine $\alpha$-invariante Sylow-$p$-Untergruppe, dann enthält $[P,\alpha]$ ein reguläres unipotentes Element $x$ mit $C_G(x) \leq P$.

Beweis-Techniken:

• Für unverwobene Gruppen: Konstruktion von $x = \prod_{r \in \Pi} x_r(t^\alpha - t)$
• Für verwobene Gruppen: Verwendung der Äquivalenzklassenstruktur zur Konstruktion regulärer Elemente
• Anwendung der Chevalley-Kommutatorformel (Bemerkung 5.1)

Lemma 5.4: Unter Annahmen 4.1, falls $G$ einfach ist, dann ist die Charakteristik $p$ $\epsilon$-beschränkt.

Proposition 5.5 (Hauptergebnis für einfache Gruppen): Unter Annahmen 4.1, falls $G$ einfach ist, dann ist $|G|$ $\epsilon$-beschränkt.

Beweisstruktur:

1. Verwendung einer Zsigmondy-Primzahl $r$ (für $(p, f|\alpha|e)$)
2. Beweis, dass $r \geq f|\alpha|e$ und $r$ nicht $|C_G(\alpha)|$ teilt
3. Falls $R$ eine $\alpha$-invariante Sylow-$r$-Untergruppe ist, dann $[R,\alpha] = R$
4. Verwendung von $\Pr([P,\alpha], R) \geq \epsilon$ zur Ableitung der Beschränktheit von $|R|$ oder $|[P,\alpha]|$
5. Abschluss durch Lemma 2.2

Phase 3: Halbeinfache Gruppen (Abschnitt 6)

Lemma 6.3: Unter Annahmen 4.1, falls $G$ halbeinfach ist und keine nichttriviale echte $\alpha$-invariante Normaluntergruppe besitzt, dann ist $|G|$ $\epsilon$-beschränkt.

Lemma 6.4: Unter Annahmen 4.1, falls $G$ halbeinfach und $G = [G,\alpha]$, dann ist $|G|$ $\epsilon$-beschränkt.

Beweisidee:

• Schreibe $G = T_1 \times \cdots \times T_s$ ($T_i$ sind minimale $\alpha$-invariante Normaluntergruppen)
• Die Ordnung jedes $T_i$ ist $\epsilon$-beschränkt (Lemma 6.3)
• Schlüsselpunkt: Beweis, dass $s$ $\epsilon$-beschränkt ist
• Verwendung von Lemma 3.2: Falls $[P,Q] \neq 1$, dann $\Pr(P,Q) \leq 3/4$
• Durch die Wahrscheinlichkeitsungleichung $\epsilon \leq \prod_{i=1}^s \Pr([P_i,\alpha], [Q_i,\alpha]) \leq (3/4)^s$ erhält man die Beschränktheit von $s$

Phase 4: Allgemeiner Fall (Abschnitt 7)

Lemma 7.1: Falls $|[G,a]| \leq m$ für alle $a \in A$ gilt, dann ist $|[G,A]|$ $m$-beschränkt.

Beweis von Theorem 1.2:

1. Für jedes $\alpha \in A$ erfüllt $[G,\alpha]$ die Bedingungen von Theorem 6.6
2. Nach Theorem 6.6 ist $|[G,\alpha] : F_2([G,\alpha])|$ $\epsilon$-beschränkt
3. Beachte, dass $F_2([G,\alpha]) \leq F_2(G)$
4. Modulo $F_2(G)$ ist die Ordnung jedes $[G,\alpha]$ beschränkt
5. Anwendung von Lemma 7.1 ergibt die Beschränktheit von $[G,A]$ modulo $F_2(G)$

Technische Innovationspunkte

1. Kombination probabilistischer Methoden mit Strukturtheorie:
   • Lemma 3.3: Ableitung der Existenz von Normaluntergruppen aus Kommutierungswahrscheinlichkeit
   • Proposition 3.4: Verbindung zwischen Kommutierungswahrscheinlichkeit und Ordnung von Kommutatorgruppen
2. Feinanalyse von Lie-Typ-Gruppen:
   • Verwendung von Wurzeluntergruppen-Struktur und Chevalley-Formeln
   • Einheitliche Behandlung verwobener und unverwobener Fälle
   • Kritische Anwendung von Zsigmondy-Primzahlen
3. Sorgfältig gestaltete induktive Argumente:
   • Verwendung von Fitting-Untergruppe und Fitting-Höhe in auflösbaren Gruppen
   • Verwendung von Direktprodukt-Zerlegung und Wahrscheinlichkeitsmultiplikation in halbeinfachen Gruppen
   • Lemma 2.8: Kontrolle der Ordnung von $\gamma_\infty(G)$

Experimentelle Einrichtung

Dieses Papier ist eine reine mathematische Theoriepublikation und beinhaltet keine experimentellen oder numerischen Berechnungen. Alle Ergebnisse sind strenge mathematische Beweise.

Experimentelle Ergebnisse

Hauptsätze

Theorem 1.2: Sei $\epsilon > 0$ und $G$ eine endliche Gruppe, die eine teilerfremde Automorphismengruppe $A$ zulässt. Falls für alle verschiedenen Primzahlen $p, q \in \pi(G)$ eine $A$-invariante Sylow-$p$-Untergruppe $P$ und eine $A$-invariante Sylow-$q$-Untergruppe $Q$ existieren mit $\Pr([P,A], [Q,A]) \geq \epsilon$, dann hat $F_2([G,A])$ einen $\epsilon$-beschränkten Index in $[G,A]$.

Theorem 1.3: Sei $G$ eine endliche Gruppe, die eine teilerfremde Automorphismengruppe $A$ zulässt, und sei $P$ eine $A$-invariante Sylow-$p$-Untergruppe. Falls $\Pr([P,A], [P,A]^x) \geq \epsilon$ für alle $x \in G$ gilt, dann ist die Ordnung von $[P,A]$ modulo $O_p(G)$ $\epsilon$-beschränkt.

Theorem 1.4: Sei $G$ eine endliche Gruppe, die eine teilerfremde Automorphismengruppe $A$ zulässt, mit $G = [G,A]$. Falls für jede Primzahl $p | |G|$ eine $A$-invariante Sylow-$p$-Untergruppe $P$ existiert mit $\Pr([P,A], [P,A]^x) \geq \epsilon$ für alle $x \in G$, dann ist $G$ beschränkt-abelsch-beschränkt.

Gegenbeispiele und Optimalität

Beispiel aus Abschnitt 4: Konstruktion einer Gruppe, die die Annahmen von Theorem 1.2 erfüllt, aber $|[G,\alpha] : F([G,\alpha])|$ kann beliebig groß sein:

• Nehme $C$ als zyklische Gruppe der Ordnung 3, $\alpha$ als Involution-Automorphismus
• Für Primzahlen $p_1, \ldots, p_s > 3$ konstruiere Kranzprodukte $H_{p_i}$
• $G = \prod_{i=1}^s H_{p_i}$ erfüllt die Bedingungen, aber $|G : F(G)| = 3^s$

Dies zeigt, dass $F_2$ in Theorem 1.2 optimal ist und nicht zu $F$ verbessert werden kann.

Anwendung von Schlüssellemmata

1. Lemma 2.2: Ordnungskontrolle für Lie-Typ-Gruppen
   • Falls $|[P,\alpha]| \leq C$, dann ist $|G|$ $C$-beschränkt
   • Verwendung von $|[P,\alpha]| \geq |P|^{1/2}$ und $|G| \leq |P|^3$
2. Lemma 2.10: Ordnungskontrolle für auflösbare Gruppen
   • Falls $|I_{F(G)}(\alpha)| \leq n$, dann ist $|G|$ $n$-beschränkt
   • Verwendung von Fitting-Höhe und Kaluzhnin-Theorem
3. Lemma 8.2: Struktur von Produkten von Normaluntergruppen
   • Falls $G = A_1 \cdots A_k$ und $\Pr(A_i, A_j) \geq \epsilon$
   • Dann existiert eine Normaluntergruppe $D$ mit $|G:D|$ und $|D'|$ beide $(\epsilon,k)$-beschränkt

Verwandte Arbeiten

Klassische Ergebnisse zur Kommutierungswahrscheinlichkeit

1. P. M. Neumann 26: $\Pr(G,G) \geq \epsilon$ impliziert, dass $G$ beschränkt-abelsch-beschränkt ist
   • Theorem 1.4 dieses Papiers ist eine Verallgemeinerung dieses Ergebnisses auf den Automorphismenfall
2. Guralnick-Robinson 18: Grundlegende Eigenschaften und Schranken der Kommutierungswahrscheinlichkeit
3. Detomi-Lucchini-Morigi-Shumyatsky 12: Theorem 1.1
   • Theorem 1.2 dieses Papiers ist eine Verallgemeinerung dieses Ergebnisses auf den Fall teilerfremder Automorphismen

Theorie teilerfremder Automorphismen

4. Acciarri-Guralnick-Shumyatsky 2,3: Grundlegende Eigenschaften teilerfremder Automorphismen
   • Kriterien für Auflösbarkeit und Nilpotenz
   • Dieses Papier verwendet technische Lemmata aus diesen Arbeiten
5. Hartley-Isaacs 20: Lemma 2.5 über Multiplizitätsschätzungen in Modulardarstellungen
6. Hall-Higman 21: Theorien zur Begrenzung der Fitting-Höhe

Kommutativität von Sylow-Untergruppen

7. Detomi-Guralnick-Morigi-Shumyatsky 11:
   • Falls $\Pr(P, P^x) \geq \epsilon$ für alle $x \in G$, dann ist $[P : O_p(G)]$ beschränkt
   • Theorem 1.3 dieses Papiers ist eine Automorphismen-Version dieses Ergebnisses

Anwendung der Klassifikation endlicher einfacher Gruppen

8. Gorenstein-Lyons-Solomon 15,16: Klassifikation endlicher einfacher Gruppen
   • Schlüsselabhängigkeit dieses Papiers: Einfache Gruppen unter Wirkung teilerfremder Automorphismen müssen vom Lie-Typ sein
   • Automorphismen müssen Feldautomorphismen sein
9. Carter 9,10: Strukturtheorie von Lie-Typ-Gruppen
   • Wurzeluntergruppen, Borel-Untergruppen, Eigenschaften regulärer Elemente

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Bedeutung von Theorem 1.2:
   • Verallgemeinerung des Struktursatzes für Kommutierungswahrscheinlichkeit von Sylow-Untergruppen auf teilerfremde Automorphismen-Wirkung
   • $F_2([G,A])$ ist optimal (Gegenbeispiele zeigen, dass keine Verbesserung zu $F([G,A])$ möglich ist)
   • Bietet einen neuen Weg, von lokalen Informationen (Sylow-Untergruppen) auf globale Struktur zu schließen
2. Bedeutung von Theorem 1.4:
   • Wenn die Bedingung an allen Primzahlstellen erfüllt ist, erhält man die gleiche Schlussfolgerung wie im Neumann-Theorem
   • Zeigt, dass Kommutierungswahrscheinlichkeitsbedingungen im Automorphismenfall gleich kraftvoll sind
3. Technische Beiträge:
   • Entwicklung systematischer Methoden zur Behandlung von Lie-Typ-Gruppen mit teilerfremden Automorphismen
   • Etablierung eines Anwendungsrahmens für probabilistische Methoden in der Automorphismen-Gruppentheorie

Einschränkungen

1. Abhängigkeit von der Klassifikation endlicher einfacher Gruppen:
   • Alle Hauptergebnisse hängen von CFSG (Classification of Finite Simple Groups) ab
   • Dies ist unvermeidbar, da alle möglichen einfachen Gruppen analysiert werden müssen
2. Nichteffektivität der Schranken-Konstanten:
   • Die Beweise geben $\epsilon$-beschränkte Konstanten als Existenzaussagen, ohne explizite Ausdrücke
   • Die tatsächliche Berechnung dieser Konstanten könnte äußerst schwierig sein
3. Notwendigkeit der Bedingungen:
   • Theorem 1.2 erfordert, dass die Kommutierungswahrscheinlichkeit für alle verschiedenen Primzahlpaare nach unten beschränkt ist
   • Unklar, ob die Bedingung auf einige Primzahlpaare reduziert werden kann
4. Verallgemeinerungsmöglichkeiten:
   • Kann das Ergebnis auf nicht-teilerfremde Automorphismen verallgemeinert werden?
   • Kann es auf unendliche Gruppen bestimmter Klassen verallgemeinert werden?

Zukünftige Richtungen

1. Berechnung expliziter Schranken:
   • Bereitstellung expliziter Ausdrücke für $\epsilon$-beschränkte Konstanten
   • Untersuchung des asymptotischen Verhaltens optimaler Schranken
2. Andere Automorphismentypen:
   • Untersuchung des Falls nicht-teilerfremder Automorphismen
   • Betrachtung spezieller Automorphismentypen (wie innere Automorphismen, Graphautomorphismen)
3. Abschwächung von Wahrscheinlichkeitsbedingungen:
   • Untersuchung, ob nur für einen Teil der Primzahlpaare Bedingungen erforderlich sind
   • Betrachtung anderer Arten von Wahrscheinlichkeitsbedingungen
4. Anwendungen:
   • Anwendung der Ergebnisse auf Darstellungstheorie von Gruppen
   • Anwendung auf Probleme in algebraischer Kombinatorik

Tiefgreifende Bewertung

Stärken

1. Theoretische Tiefe:
   • Geschickte Kombination von Kommutierungswahrscheinlichkeit, Sylow-Theorie, teilerfremden Automorphismen und Klassifikation endlicher einfacher Gruppen
   • Feine Beweis-Techniken, die tiefe Ergebnisse aus verschiedenen Bereichen vollständig nutzen
2. Optimalität der Ergebnisse:
   • Durch Gegenbeispiele wird gezeigt, dass $F_2$ in Theorem 1.2 nicht zu $F$ verbessert werden kann
   • Zeigt tiefes Verständnis des Problems durch die Autoren
3. Systematik:
   • Schichtweise Behandlung von auflösbaren Gruppen über einfache Gruppen bis zu allgemeinen Gruppen
   • Jede Phase wird durch Schlüssellemmata unterstützt, die zum Hauptsatz führen
4. Technische Innovationen:
   • Lemma 5.2 zur Konstruktion regulärer unipotenter Elemente ist sehr elegant
   • Die Idee in Lemma 6.4, Wahrscheinlichkeitsmultiplikation zur Kontrolle der Anzahl von Direktprodukt-Faktoren zu verwenden, ist neuartig
5. Klare Darstellung:
   • Klare Struktur und strenge Logik
   • Angemessene Bemerkungen und Beispiele unterstützen das Verständnis

Schwächen

1. Lesbarkeit:
   • Erfordert umfangreiche Hintergrundkenntnisse in Gruppentheorie (Fitting-Reihen, Hall-Higman-Theorie, Lie-Typ-Gruppen)
   • Für Nicht-Spezialisten schwer verständlich
2. Rechenkomplexität:
   • Keine Diskussion, wie Bedingungen praktisch überprüft oder berechnet werden können
   • Die Nichteffektivität der Schranken-Konstanten begrenzt die Anwendbarkeit
3. Verallgemeinerbarkeit:
   • Ergebnisse sind stark abhängig von der Teilerfremdhheits-Annahme
   • Behandelt nicht den Fall allgemeiner Automorphismengruppen
4. Anwendungsbeispiele:
   • Keine konkreten Anwendungsbeispiele gegeben
   • Mangelnde Verbindungen zu anderen mathematischen Bereichen

Einfluss

1. Theoretischer Beitrag:
   • Vorantreiben der Anwendung von Kommutierungswahrscheinlichkeitstheorie in der Automorphismen-Gruppentheorie
   • Bereitstellung wichtiger Werkzeuge und Methoden für nachfolgende Forschung
2. Methodologischer Beitrag:
   • Beispiel für die Kombination probabilistischer Methoden mit Strukturtheorie
   • Techniken zur Behandlung von Lie-Typ-Gruppen können auf andere Probleme angewendet werden
3. Offene Probleme:
   • Inspiriert Forschung zu anderen Automorphismentypen
   • Fragen zu optimalen Schranken verdienen weitere Erforschung

Anwendungsszenarien

1. Gruppentheorie-Forschung:
   • Untersuchung der Struktur und Klassifikation endlicher Gruppen
   • Analyse der Wirkung von Automorphismengruppen
2. Algebra:
   • Anwendungen in der Darstellungstheorie von Gruppen
   • Verwandte Probleme in algebraischen Gruppen
3. Theoretische Informatik:
   • Komplexitätsanalyse von Gruppen-Algorithmen
   • Probleme in der Kryptographie mit Gruppentheorie

Literaturverzeichnis

Dieses Papier zitiert 28 wichtige Referenzen, hauptsächlich:

1. 26 P. M. Neumann (1989): Bahnbrechende Arbeiten zur Kommutierungswahrscheinlichkeit
2. 12 Detomi et al. (2024): Neueste Ergebnisse zur Kommutierungswahrscheinlichkeit von Sylow-Untergruppen
3. 21 Hall-Higman (1956): Theorie der $p$-Länge auflösbarer Gruppen
4. 9,10 Carter (1972, 1985): Standardreferenzen zur Struktur von Lie-Typ-Gruppen
5. 15,16 Gorenstein-Lyons-Solomon (1994, 1998): Klassifikation endlicher einfacher Gruppen
6. 2,3 Acciarri-Guralnick-Shumyatsky (2022, 2023): Neueste Arbeiten zu teilerfremden Automorphismen

Gesamtbewertung: Dies ist ein hochqualitatives Forschungspapier in der Gruppentheorie, das Kommutierungswahrscheinlichkeitsmethoden erfolgreich auf die Theorie teilerfremder Automorphismen anwendet und tiefe sowie optimale Ergebnisse erzielt. Die Beweis-Techniken sind fein, zeigen die Kraft der modernen endlichen Gruppentheorie. Obwohl hochspezialisiert, bietet es Forschern in diesem Bereich wichtige theoretische Werkzeuge und methodologische Erkenntnisse.