Stammbaum (Gruppentheorie)

In der algorithmischen Gruppentheorie versteht man unter einem Stammbaum einen gerichteten Baum zur Modellierung von sogenannten Vorgänger-Nachfolger-Relationen zwischen Isomorphieklassen endlicher p-Gruppen. Letztere sind endliche Gruppen mit einer Primzahlpotenz $p^n$ als Ordnung. Die Basis $p$ ist dabei eine feste Primzahl und der Exponent $n$ ist eine positive ganze Zahl. Die Knoten (auch Ecken oder Vertices genannt) des Stammbaums sind Isomorphieklassen endlicher $p$-Gruppen. Die Kanten des Baums verbinden genau jene Paare von Knoten, die in der Vorgänger-Nachfolger-Beziehung stehen.

Eine endliche $p$-Gruppe besitzt neben der Ordnung zwei weitere Invarianten, die Nilpotenzklasse (kurz Klasse) $c$ und die Koklasse $r=n-c$. Es stellte sich heraus, dass gewisse Klassen von Stammbäumen, die sogenannten bereinigten oder gestutzten Koklassen-Bäume, deren unendlich viele Vertices eine gemeinsame Koklasse $r$ besitzen, ein sich periodisch wiederholendes endliches Muster aufweisen. Diese zwei entscheidenden Eigenschaften der Endlichkeit und Periodizität, die von M. du Sautoy und unabhängig von B. Eick und C. R. Leedham-Green bewiesen wurden, gestatten eine Charakterisierung sämtlicher Mitglieder des Baumes durch endlich viele parametrisierte Präsentationen. Folglich spielen Stammbäume eine fundamentale Rolle in der Klassifikation endlicher $p$-Gruppen.

Mit Hilfe der Kerne und Ziele der Artinschen Verlagerungs-Homomorphismen können Stammbäume mit zusätzlicher Struktur ausgestattet werden, die neulich zu unerwarteten Erfolgen bei arithmetischen Anwendungen in der Klassenkörpertheorie führte, insbesondere bei der Bestimmung der exakten Länge von Klassenkörpertürmen.

Ein Stammbaum $𝒯(W)$ kann mit Hilfe des $p$-Gruppen-Erzeugungs-Algorithmus (pGEA) konstruiert werden, ausgehend von einer vorgegebenen Anfangsgruppe, die als Wurzel $W$ des Baums angenommen wird. Der pGEA ist ein rekursiver Prozess für die Lösung dieses Problems der Konstruktion des Stammbaums einer gegebenen endlichen $p$-Gruppe, welche die Wurzel des Baums bildet. Dieser Algorithmus ist im Softwarepaket ANUPQ (Australian National University P-Quotient) der Computer-Algebra-Systeme GAP (Groups-Algorithms-Programming) und Magma implementiert.

Definitionen und Terminologie

Wir definieren eine Baumstruktur und starten mit einer endlichen $p$-Gruppe $G$.

Vorgänger und Nachfolger

Vorgänger

Es gibt mehrere unterschiedliche Definitionen des (unmittelbaren) Vorgängers $\pi (G)$ einer endlichen $p$-Gruppe $G$. Das gemeinsame Prinzip ist die Bildung des Quotienten $\pi (G)=G/N$ von $G$ nach einem geeigneten Normalteiler $N◃G$, für den es die folgenden Möglichkeiten gibt:

V

1. das Zentrum $N={\zeta }_1(G)$ von $G$, in welchem Fall $\pi (G)=G/{\zeta }_1(G)$ der Zentralquotient von $G$ genannt wird (V1),
2. der letzte nicht-triviale Term $N={\gamma }_c(G)$ der absteigenden Zentralreihe von $G$, wobei $c$ die Nilpotenzklasse von $G$ bezeichnet (V2),
3. der letzte nicht-triviale Term $N=P_{c-1}(G)$ der unteren Exponent-p-Zentralreihe von $G$, wobei $c$ die Exponent-p-Klasse von $G$ bedeutet (V3),
4. der letzte nicht-triviale Term $N=G^{(d-1)}$ der abgeleiteten Reihe von $G$, wobei $d$ die abgeleitete Länge von $G$ bezeichnet (V4).

Nachfolger

In jedem dieser Fälle heißt $G$ ein unmittelbarer Nachfolger von $\pi (G)$ und eine gerichtete Kante des Baums wird erklärt entweder als $G\to \pi (G)$ in Richtung der kanonischen Projektion $\pi :G\to \pi (G)$ auf den Quotienten $\pi (G)=G/N$ oder als $\pi (G)\to G$ in der entgegengesetzten Richtung, die für Stammbäume geläufiger ist.

Die erstere Konvention (sogenannter In-Tree) wird verwendet von C. R. Leedham-Green und M. F. Newman, von M. du Sautoy und D. Segal, von C. R. Leedham-Green und S. McKay, sowie von B. Eick, C. R. Leedham-Green, M. F. Newman und E. A. O'Brien. Die letztere Definition (sogenannter Out-Tree) findet man bei M. F. Newman, bei M. F. Newman und E. A. O'Brien, bei M. du Sautoy, sowie bei B. Eick und C. R. Leedham-Green.

Im Folgenden wird die Richtung der kanonischen Projektionen für alle Kanten gewählt, sodass Stammbäume als gewurzelte In-Trees erscheinen. Dann ist ein Vertex $R$, in Verallgemeinerung des unmittelbaren Nachfolgers, ein Nachfolger eines Vertex $P$, und $P$ ist ein Vorgänger von $R$, wenn entweder $R$ mit $P$ übereinstimmt oder wenn es einen Pfad gibt,

$(1)R=Q_0\to Q_1\to \cdots \to Q_{m-1}\to Q_m=P$, wobei $m\ge 1$,

bestehend aus gerichteten Kanten von $R$ bis zu $P$. Die den Pfad bildenden Vertices fallen notwendigerweise zusammen mit den iterierten Vorgängern $Q_j={\pi }^j(R)$ von $R$, mit $0\le j\le m$:

$(2)R={\pi }^0(R)\to {\pi }^1(R)\to \cdots \to {\pi }^{m-1}(R)\to {\pi }^m(R)=P$, wobei $m\ge 1$.

Erläuterungen

Definition V2

Im einen wichtigen Spezialfall (V2) von Vorgängern, die als Quotienten nach der letzten nicht-trivialen unteren Zentrale definiert sind, können die Vertices des Pfades auch aufgefasst werden als sukzessive Quotienten $R/{\gamma }_{c+1-j}(R)$ der Klasse $c-j$ von $R$, falls die Nilpotenzklasse von $R$ durch $c\ge m$ gegeben ist:

$(3a)R\simeq R/{\gamma }_{c+1}(R)\to R/{\gamma }_c(R)\to \cdots \to R/{\gamma }_{c+2-m}(R)\to R/{\gamma }_{c+1-m}(R)\simeq P$, mit $c\ge m\ge 1$.

Definition V3

Im anderen wichtigen Spezialfall (V3) von Vorgängern, die als Quotienten nach der letzten nicht-trivialen unteren Exponent-p Zentrale definiert sind, können die Vertices des Pfades auch aufgefasst werden als sukzessive Quotienten $R/P_{c-j}(R)$ der p-Klasse $c-j$ von $R$, falls die p-Klasse von $R$ durch $c\ge m$ gegeben ist:

$(3b)R\simeq R/P_c(R)\to R/P_{c-1}(R)\to \cdots \to R/P_{c+1-m}(R)\to R/P_{c-m}(R)\simeq P$, mit $c\ge m\ge 1$.

Stammbaum

Allgemein ist der Stammbaum $𝒯(G)$ eines Vertex $G$ der Teilbaum aller Nachfolger von $G$, beginnend an der Wurzel $G$. Der maximal mögliche Stammbaum $𝒯(1)$ der trivialen Gruppe $1$ enthält alle endlichen $p$-Gruppen und ist sehr exzeptionell, weil die triviale Gruppe $1$ für jede Vorgänger-Definition (V1–V4) unendlich viele abelsche $p$-Gruppen als unmittelbare Nachfolger hat. Dabei ist aber zu beachten, dass die triviale Gruppe nur eine entartete $p$-Gruppe für jede beliebige Primzahl $p$ ist.

Der Übergang von einem Vorgänger zu seinen Nachfolgern wird auch Propagation genannt. Äquivalente Sprechweisen dafür, dass $G$ Nachfolger von $\pi (G)$ ist, sind: $G$ stammt von $\pi (G)$ ab, $\pi (G)$ gibt Anlass zu $G$ und $\pi (G)$ propagiert zu $G$.

Weiteres zu V1–V4

Die Vorgänger-Definitionen (V2) und (V3) haben den Vorteil, dass jede nicht-triviale endliche $p$-Gruppe (mit durch $p$ teilbarer Ordnung) nur endlich viele unmittelbare Nachfolger besitzt. Bei Verwendung der Definition (V1) des Vorgängers als Zentralquotient $\pi (G)=G/{\zeta }_1(G)$ kann es vorkommen, dass unendlich viele $p$-Gruppen denselben Vorgänger haben. Für jede ungerade Primzahl $p\ge 3$ besitzen beispielsweise die Gruppen $G$ aller abzählbar unendlich vielen Zweige der Isoklinieklassen ${\mathrm{\Phi }}_3$ und ${\mathrm{\Phi }}_6$ von P. Hall dieselbe Gruppe $G_0^3(0,0)$ maximaler Klasse als Zentralquotienten $G/{\zeta }_1(G)$. Auch die Definition (V4) des Vorgängers als Quotient $\pi (G)=G/G^{(d-1)}$ nach der letzten nicht-trivialen abgeleiteten Untergruppe hat denselben Nachteil. Beispielsweise ist jede nicht-zyklische abelsche $p$-Gruppe Kommutator-Quotient $G/G^{(1)}$ und somit Vorgänger $\pi (G)$ von unendlich vielen metabelschen $p$-Gruppen $G$, die ja die abgeleitete Länge $d=2$ haben.

Die Definition (V2) des Vorgängers als Quotient $\pi (G)=G/{\gamma }_c(G)$ nach der letzten nicht-trivialen unteren Zentrale hat den Vorteil, dass der Vorgänger $\pi (G)$ einer nicht-abelschen $p$-Gruppe $G$ nicht nur denselben Erzeugenden-Rang $d_1$, sondern sogar denselben Kommutator-Quotienten, also dieselbe Abelisierung, besitzt wie $G$:

$(3c)\pi (G)/{\gamma }_2(\pi (G))=(G/{\gamma }_c(G))/({\gamma }_2(G)/{\gamma }_c(G))\simeq G/{\gamma }_2(G)$,

weil ${\gamma }_c(G)\le {\gamma }_2(G)$ für $c\ge 2$.

Abbildung 0: Arten der Propagation.

Warnung. Im Hinblick auf den $p$-Gruppen-Erzeugungs-Algorithmus, der die Definition (V3) des Vorgängers als Quotient $\pi (G)=G/P_{c-1}(G)$ nach der letzten nicht-trivialen unteren p-Zentrale verwendet, muss darauf hingewiesen werden, dass zwar $\pi (G)=G/P_{c-1}(G)$ nach dem Basissatz von Burnside denselben Erzeugenden-Rang $d_1$ besitzt wie $G$, aufgrund der Invarianz des Frattini-Quotienten, also der Elementar-Abelisierung:

$(3d)\pi (G)/\mathrm{\Phi }(\pi (G))=\pi (G)/P_1(\pi (G))=(G/P_{c-1}(G))/(P_1(G)/P_{c-1}(G))\simeq G/P_1(G)=G/\mathrm{\Phi }(G)$,

weil $P_{c-1}(G)\le P_1(G)$ für $c\ge 2$, dass aber $\pi (G)=G/P_{c-1}(G)$ eine andere Abelisierung aufweisen kann als $G$, wenn nicht $P_{c-1}(G)\le {\gamma }_2(G)$. Man spricht dann von exogenetischer Propagation, bei Invarianz der Abelisierung hingegen von endogenetischer Propagation. Diese Arten der Propagation werden in Abbildung 0 durch Nachkommen mit drei verschiedenen Schrittweiten $s$ veranschaulicht, wobei als Wurzel die elementar-bizyklische $p$-Gruppe mit einer beliebigen Primzahl $p$ dient.

Pro-p-Gruppen und Koklassen-Bäume

Für ein solides Verständnis von Koklassen-Bäumen als spezielle und besonders bedeutende Instanz von Stammbäumen, ist es erforderlich, einige Tatsachen in Bezug auf unendliche topologische pro-$p$-Gruppen zusammenzufassen. Die Terme ${\gamma }_j(S)$, mit $j\ge 1$, der unteren Zentralreihe einer pro-$p$ Gruppe $S$ sind abgeschlossene (und offene) Untergruppen mit endlichem Index. Daher sind die entsprechenden Quotienten $S/{\gamma }_j(S)$ endliche $p$-Gruppen. Man sagt, die pro-$p$-Gruppe $S$ sei von der Koklasse $\mathrm{c}\mathrm{c}(S)=r$, wenn der Grenzwert $r=\underset{j\to \mathrm{\infty }}{\lim }\mathrm{c}\mathrm{c}(S/{\gamma }_j(S))$ der Koklasse der sukzessiven Quotienten existiert und endlich ist. Eine unendliche pro-$p$-Gruppe $S$ der Koklasse $r$ ist eine $p$-adische prä-Raumgruppe, weil sie einen Normalteiler $T$ enthält, die Translationsgruppe, der als freier Modul über dem Ring ${\mathbb{Z}}_p$ der $p$-adischen ganzen Zahlen einen eindeutig bestimmten Rang $d$ besitzt, die Dimension, sodass der Quotient $P=S/T$ eine endliche $p$-Gruppe ist, die Punktgruppe, welche auf $T$ uniseriell operiert. Die Dimension ist gegeben durch

$(4)d=(p-1)p^s$, mit einer gewissen ganzen Zahl $0\le s<r$.

Ein zentrales Endlichkeits-Ergebnis für unendliche pro-$p$-Gruppen der Koklasse $r$ ist enthalten im sogenannten Theorem D, einem der fünf Koklassen-Theoreme die im Jahr 1994 unabhängig bewiesen wurden von A. Shalev und von C. R. Leedham-Green, und die bereits im Jahr 1980 von C. R. Leedham-Green und M. F. Newman vermutet worden waren. Theorem D garantiert, dass es nur endlich viele Isomorphieklassen unendlicher pro-$p$-Gruppen der Koklasse $r$ gibt, für jede feste Primzahl $p$ und jede feste nicht-negative ganze Zahl $r$. Als Konsequenz existiert zu jeder unendlichen pro-$p$-Gruppe $S$ der Koklasse $r$ eine kleinste ganze Zahl $i\ge 1$, sodass die folgenden drei Bedingungen für jede ganze Zahl $j\ge i$ erfüllt werden.

S

1. die Koklasse des unteren Zentralquotienten hat den festen Wert $\mathrm{c}\mathrm{c}(S/{\gamma }_j(S))=r$ (S1),
2. $S/{\gamma }_j(S)$ ist nicht unterer Zentralquotient einer anderen unendlichen pro-$p$-Gruppe der Koklasse $r$, die nicht isomorph zu $S$ ist (S2),
3. der Faktor ${\gamma }_j/{\gamma }_{j+1}(S)$ ist zyklisch von der Ordnung $p$ (S3).

The Stammbaum $𝒯(W)$, bezüglich der Vorgänger-Definition (V2), der Wurzel $W=S/{\gamma }_i(S)$ mit minimalem $i$ heißt der Koklassen-Baum $𝒯(S)$ von $S$ und sein eindeutig bestimmter maximaler unendlicher (umgekehrt-orientierter) Pfad

$(5)R=S/{\gamma }_i(S)\leftarrow S/{\gamma }_{i+1}(S)\leftarrow S/{\gamma }_{i+2}(S)\leftarrow \cdots$

wird als Hauptlinie (oder Stamm) des Baumes bezeichnet.

Abbildung 1: Ein abstrakter Stammbaum.

Baum-Diagramm

In Diagrammen zur Visualisierung endlicher Teile von Stammbäumen verwendet man eine Terminologie, die in Abbildung 1 mit Hilfe eines abstrakten Baums erklärt wird. Auf der linken Seite bestimmt ein Niveau das grundlegende Top-Down-Design eines Stammbaums. In konkreten Bäumen, etwa in Abbildung 3, wird das Niveau üblicherweise ersetzt durch eine Skala von Ordnungen, die von Kopf bis Fuß zunehmen. Ein Vertex ist erweiterbar, wenn er zumindest einen unmittelbaren Nachfolger besitzt, anderenfalls ist er terminal (oder ein Blatt). Vertices mit einem gemeinsamen Vorgänger heißen Geschwister.

Abbildung 2: Ein gestutzter abstrakter Koklassen-Baum.

Ist der Stammbaum ein Koklassen-Baum ${𝒯}^r(W)$ mit fester Koklasse $r$ Wurzel $W=R_0$ und mit Hauptlinie $(R_n{)}_{n\ge 0}$, deren Vertices dem Niveau $n$ entsprechend etikettiert sind, dann heißt der endliche Teilbaum, der als Differenz

$(6)ℬ(n)=𝒯(R_n)\setminus 𝒯(R_{n+1})$

definiert ist, der $n$-te Zweig des Baums (Branch) oder auch der Zweig $ℬ(R_n)$ mit Wurzel $R_n$, für jedes $n\ge 0$. Die Tiefe eines Zweigs ist die maximale Länge der Pfade, die seine Vertices mit seiner Wurzel verbinden. Abbildung 2 zeigt einen abstrakten Koklassen-Baum, dessen Zweige $ℬ(e)$ und $ℬ(e+1)$ vorperiodische Unregelmäßigkeiten aufweisen. Alle seine Zweige haben die Tiefe $2$. Die Zweige $ℬ(e+2)\simeq ℬ(e+4)$ und $ℬ(e+3)\simeq ℬ(e+5)$ sind paarweise isomorph als Graphen, weil die Periodizität (mit Länge $2$) beim dritten Vertex der Hauptlinie, der periodischen Wurzel $P=R_2$, einsetzt. Das Niveau der Ordnungen wird durch Verwendung eines Exponenten $e$ variabel belassen.

Wenn alle Vertices mit einer Tiefe oberhalb einer vorgegebenen ganzen Zahl $k\ge 0$ aus dem Zweig $ℬ(n)$ entfernt werden, dann erhält man den auf die Tiefe $k$ gestutzten Zweig ${ℬ}_k(n)$.Dementsprechend besteht der auf die Tiefe $k$ gestutzte Koklassen-Baum ${𝒯}_k(W)$, beziehungsweise the vollständige Koklassen-Baum $𝒯(W)$, aus der unendlichen Folge seiner gestutzten Zweige $({ℬ}_k(n){)}_{n\ge 0}$, beziehungsweise (vollen) Zweige $(ℬ(n){)}_{n\ge 0}$, verbunden durch die Hauptlinie, deren Vertices $R_n$ als unendlich erweiterbar bezeichnet werden. In der Abbildung 2 ist der auf die Tiefe $1$ gestutzte Koklassen-Baum ${𝒯}_1^r(W)$ hervorgehoben.

Virtuelle Periodizität

Die Periodizität der Zweige eines gestutzten Koklassen-Baums wurde bewiesen mit analytischen Methoden unter Verwendung von Kegel-Integralen und Zeta-Funktionen von Gruppen durch M. du Sautoy, und mit algebraischen Techniken mittels Kohomologiegruppen durch B. Eick und C. R. Leedham-Green. Die ersteren Methoden gestatten die qualitative Einsicht in die ultimative virtuelle Periodizität, während die letzteren Techniken sogar die quantitative Struktur enthüllen.

Theorem

Für jede unendliche pro-$p$-Gruppe $S$ der Koklasse $r\ge 1$ und Dimension $d$, und für jede vorgegebene Tiefe $k\ge 1$, gibt es eine effektive kleinste untere Schranke $f(k)\ge 1$, ab der die Periodizität der Länge $d$ der gestutzten Zweige des Koklassen-Baums $𝒯(S)$ einsetzt, das heißt, es existieren Graphen-Isomorphismen

$(7){ℬ}_k(n+d)\simeq {ℬ}_k(n)$ für alle $n\ge f(k)$.

Beweis

Die Graphen-Isomorphismen der auf die Tiefe $k$ gestutzten Zweige mit Wurzeln hinreichend großer Ordnung $n\ge f(k)$ werden mit kohomologischen Methoden hergeleitet in Theorem 6, p. 277, und Theorem 9, p. 278, durch Eick und Leedham-Green. Die effektive untere Schranke $f(k)$ für die Ordnungen der Zweigwurzeln wird nachgewiesen in Theorem 29, p. 287, des genannten Artikels. (Ende des Beweises.)

Diese zentralen Resultate lassen sich anschaulich folgendermaßen formulieren: Betrachten wir einen Koklassen-Baum mit einem Paar von Scheuklappen und ignorieren wir eine endliche Anzahl vor-periodischer Zweige an der Spitze, dann werden wir ein sich wiederholendes endliches Muster sehen (ultimative Periodizität beim Abschneiden in fester Tiefe). Wenn wir jedoch immer breitere Scheuklappen verwenden, dann kann der vor-periodische Anfangsabschnitt immer länger werden (virtuelle Periodizität bei variabler Tiefe).

Der Vertex $P=R_{f(k)}$ heißt die periodische Wurzel des gestutzten Koklassen-Baums, für einen festen Wert der Tiefe $k$. Siehe Abbildung 2.

Multifurkation und Koklassen-Graphen

Es sei wieder angenommen, die Vorgänger endlicher $p$-Gruppen sind definiert als letzte nicht-triviale untere Zentralquotienten (V2). Für eine $p$-Gruppe $G$ mit Koklasse $\mathrm{c}\mathrm{c}(G)=r$ unterscheidet man ihren (vollständigen) Stammbaum $𝒯(G)$ und ihren Koklasse-$r$ Stammbaum ${𝒯}^r(G)$. Letzterer ist der Teilbaum, welcher ausschließlich aus Nachfolgern mit Koklasse $r$ besteht. Die Gruppe $G$ heißt koklassen-stabil, wenn beide Bäume $𝒯(G)={𝒯}^r(G)$ zusammenfallen, wenn es also keine Nachfolger von $G$ mit größerer Koklasse als $r$ gibt.

Im Fall der Vorgänger-Definition (V3) (bei der Definition (V2) im Allgemeinen nur für hinreichend große Ordnung) erlaubt der nukleare Rang $\nu (G)$ der Gruppe $G$ in der Theorie des $p$-Gruppen-Erzeugungs-Algorithmus von M. F. Newman und E. A. O'Brien die folgenden drei Kriterien.

N

1. $G$ ist terminal, und somit trivialerweise koklassen-stabil, genau dann, wenn $\nu (G)=0$ (N1).
2. Falls $\nu (G)=1$, dann ist $G$ erweiterbar, aber es bleibt zunächst unbekannt, ob $G$ koklassen-stabil ist (N2).
3. Falls $\nu (G)=m\ge 2$, dann ist $G$ erweiterbar und ganz offensichtlich nicht koklassen-stabil (N3).

Im letzten Fall ist eine präzisere Aussage möglich: Hat die Gruppe $G$ die Koklasse $r$ und den nuklearen Rang $\nu (G)=m\ge 2$, dann gibt sie Anlass zu einer $m$-fachen Multifurkation in einen regulären Koklasse-$r$ Stammbaum ${𝒯}^r(G)$ und $m-1$ irreguläre Graphen ${𝒯}^{r+j}(G)$ der Koklasse $r+j$, mit $1\le j\le m-1$. Folglich ist der Stammbaum von $G$ die disjunkte Vereinigung

$(8)𝒯(G)={\dot{\cup }}_{j=0}^{m-1}{𝒯}^{r+j}(G)$.

Multifurkation korreliert mit verschiedenen Ordnungen der letzten nicht-trivialen unteren Zentrale von unmittelbaren Nachfolgern. Da die Nilpotenzklasse beim Übergang von einem Vorgänger $P=Q/{\gamma }_c(Q)=\pi (Q)$ zu jedem unmittelbaren Nachfolger $Q$ exakt um eine Einheit zunimmt, $c=\mathrm{c}\mathrm{l}(Q)=\mathrm{c}\mathrm{l}(P)+1$, bleibt die Koklasse genau dann stabil, $r=\mathrm{c}\mathrm{c}(Q)=\mathrm{c}\mathrm{c}(P)$, wenn the letzte nicht-triviale untere Zentrale zyklisch von der Ordnung $|{\gamma }_c(Q)|=p$ ist. Dann nimmt nämlich der Exponent der Ordnung ebenfalls exakt um eine Einheit zu, $|Q|=p\cdot |P|$. In diesem Fall ist $Q$ ein regulärer unmittelbarer Nachfolger mit gerichteter Kante $P\leftarrow Q$ der Schrittweite $1$, wie üblich. Die Koklasse nimmt jedoch um $m-1$ zu, wenn $|{\gamma }_c(Q)|=p^m$ eine höhere Ordnung mit $m\ge 2$ besitzt. Dann ist $Q$ ein irregulärer unmittelbarer Nachfolger mit gerichteter Kante $P\leftarrow Q$ der Schrittweite $m$.

Wenn allen gerichteten Kanten die Bedingung der Schrittweite $s=1$ auferlegt wird, dann zerfällt der maximale Stammbaum $𝒯(1)$ der trivialen Gruppe $1$ in eine abzählbar unendliche disjunkte Vereinigung

$(9)𝒯(1)={\dot{\cup }}_{r=0}^{\mathrm{\infty }}𝒢(p,r)$

von gerichteten Koklassen-Graphen $𝒢(p,r)$, die im Allgemeinen eher Wälder sind als Bäume. In breiterer Ausführlichkeit formuliert, implizieren die oben-erwähnten Koklassen-Theoreme, dass

$(10)𝒢(p,r)=({\dot{\cup }}_i{𝒯}^r(S_i))\dot{\cup }{𝒢}_0(p,r)$

eine disjunkte Vereinigung ist, einerseits von endlich vielen Koklassen-Bäumen ${𝒯}^r(S_i)$ mit assoziierten paarweise nicht-isomorphen unendlichen pro-$p$-Gruppen $S_i$ der Koklasse $r$ (Theorem D) und andererseits von einem endlichen Teilgraphen ${𝒢}_0(p,r)$ von sporadischen Gruppen, die außerhalb von jeglichen Koklassen-Bäumen liegen.

Identifier

Die SmallGroups Library Identifier von beliebigen endlichen Gruppen, insbesondere auch von endlichen $p$-Gruppen, die in den folgenden konkreten Beispielen von Stammbäumen in der Gestalt

$⟨\text{Ordnung},\text{Identifier}⟩$

angegeben werden, stammen von H. U. Besche, B. Eick and E. A. O'Brien. Sind die Gruppen-Ordnungen längs einer Skala auf der linken Seite angeordnet, wie in den Abbildungen 3 und 4, dann werden die Identifier kurz in Winkel-Klammern notiert als

$⟨\text{Identifier}⟩$.

Abhängig von der Primzahl $p$ gibt es eine obere Schranke der Ordnung von Gruppen, für die ein SmallGroup Identifier existiert, zum Beispiel $512=2^9$ für $p=2$, $6561=3^8$ für $p=3$ und $78125=5^7$ für $p=5$. Für Gruppen mit größeren Ordnungen wird eine Notation mit relativen Identifiern verwendet, welche die Nachfolger-Struktur imitiert. Ein regulärer unmittelbarer Nachfolger, der durch eine Kante der Schrittweite $1$ mit seinem Vorgänger $P$ verbunden ist, wird bezeichnet mit

$P-\mathrm{\#}1;\text{Counter}$,

und ein irregulärer unmittelbarer Nachfolger, von dem aus eine Kante der Schrittweite $s\ge 2$ zu seinem Vorgänger $P$ führt, wird notiert in der Gestalt

$P-\mathrm{\#}s;\text{Counter}$.

Die Implementierungen des $p$-Gruppen Erzeugungs-Algorithmus in den Computational Algebra Systemen GAP (Groups, Algorithms, Programming) und Magma benützen diese relativen Identifier, die auf J. A. Ascione im Jahr 1979 zurückgehen.

Konkrete Beispiele von Stammbäumen

In allen Beispielen bezieht sich die zugrundeliegende Vorgänger-Definition (P2) auf die gewöhnliche untere Zentralreihe. Gelegentliche Unterschiede zur Vorgänger-Definition (P3) in Bezug auf die untere Exponent-p Zentralreihe werden besonders hervorgehoben.

Koklasse 0

Der Koklassen-Graph der endlichen $p$-Gruppen mit Koklasse $r=0$ enthält keinerlei Koklassen-Bäume, sondern besteht ausschließlich aus sporadischen Gruppen,

$(11)𝒢(p,0)={𝒢}_0(p,0)$,

nämlich aus der trivialen Gruppe $1$ und der zyklischen Gruppe $C_p$ der Ordnung $p$, die in Bezug auf die Vorgänger-Definition (V2) terminal ist. (Sie ist jedoch erweiterbar bezüglich der Definition (V3) mit der unteren Exponent-p Zentralreihe und gibt Anlass zu der separaten exogenetischen Propagation sämtlicher zyklischen $p$-Gruppen $C_{p^e}$ mit $e\ge 1$). Für $p=2$ ist $⟨2,1⟩$ der SmallGroup Identifier von $C_p$, für $p=3$ ist er $⟨3,1⟩$.

Abbildung 3: Koklassen-Graph endlicher 2-Gruppen mit Koklasse 1

Koklasse 1

Der Koklassen-Graph aller endlichen $p$-Gruppen der Koklasse $r=1$, die auch als Gruppen maximaler Klasse bezeichnet werden,

$(12)𝒢(p,1)={𝒯}^1(W)\dot{\cup }{𝒢}_0(p,1)$,

besteht aus einem einzigen Koklassen-Baum ${𝒯}^1(W)$ mit Wurzel $W=C_p\times C_p$, der elementar abelschen $p$-Gruppe vom Rang $2$, und einem einzelnen isolierten Vertex (einem terminalen Waisenkind ohne echten Vorgänger im selben Koklassen-Graphen, weil die gerichtete Kante zu der trivialen Gruppe $1$ die Schrittweite $s=2$ besitzt), der zyklischen Gruppe $C_{p^2}$ der Ordnung $p^2$ in the sporadischen Teil ${𝒢}_0(p,1)$. (Wie schon oben erwähnt, ist diese Gruppe jedoch erweiterbar in Bezug auf die untere Exponent-p Zentralreihe.) Der Baum ${𝒯}^1(W)={𝒯}^1(S_1)$ ist der Koklassen-Baum der eindeutig bestimmten unendlichen pro-p Gruppe $S_1$ mit Koklasse $r=1$.

Für $p=2$, beziehungsweise $p=3$, ist der SmallGroup Identifier der Wurzel $W$ definiert als $⟨4,2⟩$, beziehungsweise $⟨9,2⟩$. Ein Baumdiagramm des Koklassen-Graphen, beginnend mit Zweig $ℬ(2)$ bis hinunter zum Zweig $ℬ(7)$ (gezählt bezüglich des p-Logarithmus der Ordnung der Zweigwurzel), ist dargestellt in Abbildung 3, beziehungsweise Abbildung 4, wo alle Gruppen der Ordnung zumindest $p^3$ metabelsch sind, also nicht-abelsch mit auflösbarer Länge $sl=2$. Metabelsche Vertices sind durch schwarze Kreisscheiben repräsentiert, im Gegensatz zu Kontur-Quadraten, die abelsche Gruppen symbolisieren. In Abbildung 4 bezeichnen kleinere schwarze Kreisscheiben solche metabelschen 3-Gruppen, deren sämtliche maximalen Untergruppen nicht-abelsch sind, ein neues Phänomen, welches für die metabelschen 2-Gruppen in Abbildung 3 noch nicht auftritt, weil sie alle eine abelsche Untergruppe vom Index $p$ besitzen (üblicherweise genau eine). Der Koklassen-Baum im Graphen $𝒢(2,1)$, beziehungsweise $𝒢(3,1)$, hat die periodische Wurzel $⟨8,3⟩$ und Periodizität der Länge $1$, beginnend mit Zweig $ℬ(3)$, beziehungsweise die periodische Wurzel $⟨81,9⟩$, also Periodizität der Länge $2$ setzt hier erst mit Zweig $ℬ(4)$ ein. Beide Bäume besitzen Zweige global beschränkter Tiefe $1$, sodass also ihre virtuelle Periodizität tatsächlich sogar eine strenge Periodizität ist.

Wesentlich komplexer ist die Struktur des (einzigen) Koklassen-Baums im Graphen $𝒢(p,1)$ mit $p\ge 5$, denn dieser hat unbeschränkte Tiefe und enthält auch nicht-metabelsche Gruppen. Jeder Baum mit $p\ge 7$ hat sogar unbeschränkte Breite, das heißt, die Anzahl der Nachfolger einer festen Ordnung nimmt mit wachsender Ordnung unbeschränkt zu.

Mit Hilfe der Kerne und Ziele von Artin-Verlagerungen können die Diagramme in den Abbildungen 2 und 3 mit zusätzlicher Information bereichert und als strukturierte Stammbäume dargestellt werden.

Die konkreten Prototypen $𝒢(2,1)$ und $𝒢(3,1)$ von Koklassen-Graphen bieten die Gelegenheit, eine parametrisierte polyzyklische Potenz-Kommutator Präsentation für den vollständigen Koklassen-Baum ${𝒯}^1(W)\subset 𝒢(p,1)$, $p\in \{2,3\}$, anzugeben. Auf diese Kompression unbeschränkter Informationen über unendlich viele Gruppen in eine endliche Formel wurde bereits in the Einleitung als großer Vorteil des Stammbaum-Konzepts und als Folge der Periodizität des gesamten Koklassen-Baums hingewiesen. In beiden Fällen werden die Gruppen $G\in {𝒯}^1(W)$ von zwei Elementen $x,y$ erzeugt, aber die Präsentation enthält zusätzlich eine Reihe von höheren Kommutatoren $s_j=[s_{j-1},x]$, $3\le j\le n-1=\mathrm{c}\mathrm{l}(G)$, die mit dem Hauptkommutator $s_2=[y,x]$ beginnt. Die Nilpotenz wird formal durch die Relation $s_n=1$ ausgedrückt, wenn die Gruppe von der Ordnung $|G|=p^n$ ist.

Abbildung 3: Koklassen-Graph endlicher 3-Gruppen mit Koklasse 1

Für $p=2$ gibt es zwei Parameter $0\le w,z\le 1$ und die pc-Präsentation ist gegeben durch

$(13)G^n(z,w)=⟨x,y,s_2,\dots ,s_{n-1}\mid x^2=s_{n-1}^w,y^2=s_2^{-1}{s}_{n-1}^z,[s_2,y]=1,s_2=[y,x],s_j=[s_{j-1},x]\text{ for }3\le j\le n-1⟩$

Die 2-Gruppen maximaler Klasse, das heißt von Koklasse $1$, bilden drei periodische unendliche Folgen,

• Diedergruppen, $D(2^n)=G^n(0,0)$, $n\ge 3$, welche die Hauptlinie bilden (mit unendlich erweiterbaren Vertices),
• Verallgemeinerte Quaternionengruppen, $Q(2^n)=G^n(0,1)$, $n\ge 3$, welche sämtlich terminale Vertices sind,
• Semidiedergruppen, $S(2^n)=G^n(1,0)$, $n\ge 4$, welche ebenfalls Blätter sind.

Für $p=3$ braucht man drei Parameter, $0\le a\le 1$ und $-1\le w,z\le 1$, und die PC-Präsentation ist gegeben durch

$(14)G_a^n(z,w)=⟨x,y,s_2,\dots ,s_{n-1}\mid x^3=s_{n-1}^w,y^3=s_2^{-3}{s}_3^{-1}{s}_{n-1}^z,[y,s_2]=s_{n-1}^a,s_2=[y,x],s_j=[s_{j-1},x]\text{ for }3\le j\le n-1⟩$

Die 3-Gruppen mit Parameter $a=0$ besitzen eine abelsche maximale Untergruppe, jene mit Parameter $a=1$ haben keine. Genauer ausgedrückt ist eine existierende abelsche maximale Untergruppe eindeutig bestimmt, mit Ausnahme der zwei extra-speziellen Gruppen $G_0^3(0,0)$ and $G_0^3(0,1)$, bei denen alle vier maximalen Untergruppen abelsch sind.

Im Gegensatz zu jeder größeren Koklasse $r\ge 2$ enthält der Koklassen-Graph $𝒢(p,1)$ ausschließlich $p$-Gruppen $G$ mit Kommutator-Quotient $G/G^{\prime }$ des Typs $(p,p)$, mit Ausnahme seines einzigen isolierten Vertex $C_{p^2}$. Der Fall $p=2$ ist ausgezeichnet durch die Gültigkeit der umgekehrten Aussage: Jede beliebige 2-Gruppe mit Abelisierung des Typs $(2,2)$ ist von der Koklasse $r=1$ (Theorem von O. Taussky).

Abbildung 5: Schnittstelle zwischen 3-Gruppen der Koklasse 1 und 2

Koklasse 2

Die Genese des Koklassen-Graphen $𝒢(p,r)$ mit $r\ge 2$ ist nicht uniform, weil $p$-Gruppen mit mehreren verschiedenen Abelisierungen zu seiner Konstitution beitragen. Für die Koklasse $r=2$ hat man essentielle Beiträge durch Gruppen $G$ mit Abelisierungen $G/G^{\prime }$ der Typen $(p,p)$, $(p^2,p)$, $(p,p,p)$, und einen isolierten Beitrag von der zyklischen Gruppe $C_{p^3}$ der Ordnung $p^3$:

$(15)𝒢(p,2)={𝒢}_{(p,p)}(p,2)\dot{\cup }{𝒢}_{(p^2,p)}(p,2)\dot{\cup }{𝒢}_{(p,p,p)}(p,2)\dot{\cup }{𝒢}_{(p^3)}(p,2)$.

Kommutator-Quotient vom Typ (p,p)

Im Gegensatz zu $p$-Gruppen der Koklasse $2$ mit Kommutator-Quotienten vom Typ $(p^2,p)$ oder $(p,p,p)$, die als reguläre Nachfolger abelscher $p$-Gruppen desselben Typs zu finden sind, entstehen $p$-Gruppen der Koklasse $2$ mit Kommutator-Quotient des Typs $(p,p)$ als irreguläre Nachfolger einer nicht-abelschen $p$-Gruppe der Koklasse $1$, welche noch nicht koklassen-stabil ist.

Für die Primzahl $p=2$ gibt es überhaupt keine solchen Gruppen, weil die diedrale 2-Gruppe $⟨8,3⟩$ bereits koklassen-stabil ist. Genau das ist die tiefere Ursache für das vielzitierte Taussky-Theorem. Diese bemerkenswerte Tatsache war aber Giuseppe Bagnera schon im Jahr 1898 bewusst.

Für alle ungeraden Primzahlen $p\ge 3$ ist die Existenz von $p$-Gruppen mit Koklasse $2$ und Kommutator-Quotient des Typs $(p,p)$ dem Umstand zuzuschreiben, dass die Gruppe $B:=G_0^3(0,0)$ noch nicht koklassen-stabil ist. Ihr nuklearer Rang ist $\nu (B)=2$ und das gibt Anlass zu einer Bifurkation des Stammbaums $𝒯(B)$ in zwei Koklassen-Graphen. Die reguläre Komponente ${𝒯}^1(B)$ ist ein Teilbaum des einzigen Baums ${𝒯}^1(C_p\times C_p)$ im Koklassen-Graphen $𝒢(p,1)$. Die irreguläre Komponente ${𝒯}^2(B)$ wird zu einem Teilgraphen $𝒢={𝒢}_{(p,p)}(p,2)$ des Koklassen-Graphen $𝒢(p,2)$, wenn die verbindenden Kanten der Schrittweite $s=2$ zu den irregulären unmittelbaren Nachfolgern von $B$ entfernt werden.

Für $p=3$ ist dieser Teilgraph $𝒢$ in Abbildung 5 dargestellt. Sie zeigt die Schnittstelle zwischen endlichen 3-Gruppen mit Koklasse $1$ beziehungsweise $2$ und Kommutator-Quotient vom Typ $(3,3)$. Der Teilgraph $𝒢$ hat sieben Vertices von drei charakteristischen Sorten auf Top-Niveau, alle von der Ordnung $243=3^5$, also bereits von G. Bagnera entdeckt.

• Erstens gibt es zwei terminale Schur σ-Gruppen $⟨243,5⟩$ und $⟨243,7⟩$ im sporadischen Anteil ${𝒢}_0(3,2)$ des Koklassen-Graphen $𝒢(3,2)$.
• Zweitens sind die zwei Gruppen $G=⟨243,4⟩$ und $G=⟨243,9⟩$ Wurzeln endlicher Bäume ${𝒯}^2(G)$ im sporadischen Teil ${𝒢}_0(3,2)$. Da sie jedoch nicht koklassen-stabil sind, werden ihre vollständigen Stammbäume $𝒯(G)$ unendlich.
• Drittens geben die drei Gruppen $⟨243,3⟩$, $⟨243,6⟩$ und $⟨243,8⟩$ Anlass zu (unendlichen) Koklassen-Bäumen, nämlich ${𝒯}^2(⟨729,40⟩)$, ${𝒯}^2(⟨243,6⟩)$, ${𝒯}^2(⟨243,8⟩)$, jeder davon mit metabelscher Hauptlinie, im periodischen Teil des Koklassen-Graphen $𝒢(3,2)$. Wiederum ist keine dieser drei Gruppen koklassen-stabil.

Durch Hinzunahme zusätzlicher Informationen über Kerne und Ziele von Artin-Verlagerungen werden diese Bäume zu strukturierten Stammbäumen.

Definition. Allgemein versteht man unter einer Schur-Gruppe (von I. Schur selbst, der den Begriff prägte, noch geschlossene Gruppe genannt) eine pro-p Gruppe $G$, deren Relationen-Rank $d_2(G)={\mathrm{d}\mathrm{i}\mathrm{m}}_{{𝔽}_p}({\mathrm{H}}^2(G,{𝔽}_p))$ mit ihrem Generatoren-Rank $d_1(G)={\mathrm{d}\mathrm{i}\mathrm{m}}_{{𝔽}_p}({\mathrm{H}}^1(G,{𝔽}_p))$ übereinstimmt. Eine σ-Gruppe ist eine pro-p Gruppe $G$ mit einem Automorphismus $\sigma \in \mathrm{A}\mathrm{u}\mathrm{t}(G)$, der auf dem Kommutator-Quotienten $G/G^{\prime }$ die Inversion $x\mapsto x^{-1}$ induziert. Schließlich versteht man unter einer Schur σ-Gruppe eine Schur-Gruppe $G$, die zugleich eine σ-Gruppe ist und eine endliche Abelianisierung $G/G^{\prime }$ besitzt.

Als Warnung sei erwähnt, dass die Gruppe $⟨243,3⟩$ keine Wurzel eines Koklassen-Baums ist, denn ihr unmittelbarer Nachfolger $⟨729,40⟩$, der die Wurzel eines Koklassen-Baums mit metabelschen Hauptlinien-Vertices ist, besitzt zwei Geschwister $⟨729,35⟩$, beziehungsweise $⟨729,34⟩$, die Anlass geben zu einem einzelnen, beziehungsweise drei, Koklassen-Bäumen mit nicht-metabelschen Hauptlinien-Vertices (alle mit zyklischem Zentrum der Ordnung $3$) und Zweigen von beträchtlicher Komplexität, die aber dennoch beschränkte Tiefe $5$ aufweisen.

Table 1: Quotienten der Gruppen G=G(f,g,h)

Parameter $(f,g,h)$	Abelisierung $G/G^{\prime }$	Klasse-2 Quotient $G/{\gamma }_3(G)$	Klasse-3 Quotient $G/{\gamma }_4(G)$	Klasse-4 Quotient $G/{\gamma }_5(G)$
$(0,1,0)$	$(3,3)$	$⟨27,3⟩$	$⟨243,3⟩$	$⟨729,40⟩$
$(0,1,2)$	$(3,3)$	$⟨27,3⟩$	$⟨243,6⟩$	$⟨729,49⟩$
$(1,1,2)$	$(3,3)$	$⟨27,3⟩$	$⟨243,8⟩$	$⟨729,54⟩$
$(1,0,0)$	$(9,3)$	$⟨81,3⟩$	$⟨243,15⟩$	$⟨729,79⟩$
$(0,0,1)$	$(9,3)$	$⟨81,3⟩$	$⟨243,17⟩$	$⟨729,84⟩$
$(0,0,0)$	$(3,3,3)$	$⟨81,12⟩$	$⟨243,53⟩$	$⟨729,395⟩$

Pro-3-Gruppen der Koklasse 2 mit nicht-trivialem Zentrum

B. Eick, C. R. Leedham-Green, M. F. Newman und E. A. O’Brien konstruierten im Jahr 2013 eine Familie unendlicher pro-3-Gruppen mit Koklasse $2$ und nicht-trivialem Zentrum der Ordnung $3$. Die Mitglieder der Familie sind durch drei Parameter $(f,g,h)$ charakterisiert. Ihre endlichen Quotienten erzeugen alle Hauptlinien-Vertices mit bizyklischem Zentrum des Typs $(3,3)$ von sechs Koklassen-Bäumen im Koklassen-Graph $𝒢(3,2)$. Die Assoziation der drei Parameter zu den Wurzeln dieser sechs Bäume ist in Tabelle 1 angegeben. Die Baumdiagramme, mit Ausnahme der Abelisierung $(3,3,3)$, sind in den Abbildungen 4 und 5 dargestellt und die parametrisierte pro-3 Präsentation ist gegeben durch

$(16)G(f,g,h)=⟨a,t,z\mid a^3=z^f,[t,t^a]=z^g,t^{1+a+a^2}=z^h,z^3=1,[z,a]=1,[z,t]=1⟩$

Koklasse 3

Auch hier tragen wieder $p$-Gruppen mit mehreren verschiedenen Abelisierungen zur Konstitution des Koklassen-Graphen $𝒢(p,3)$ bei. Es gibt reguläre, beziehungsweise irreguläre, wesentliche Beiträge von Gruppen $G$ with Kommutator-Quotienten $G/G^{\prime }$ der Typen $(p^3,p)$, $(p^2,p^2)$, $(p^2,p,p)$, $(p,p,p,p)$, beziehungsweise $(p,p)$, $(p^2,p)$, $(p,p,p)$, und einen isolierten Beitrag durch die zyklischen Gruppe $C_{p^4}$ der Ordnung $p^4$.

Kommutator-Quotient vom Typ (p,p,p)

Weil die elementar-abelsche $p$-Gruppe $C_p\times C_p\times C_p$ vom Rang $3$, das heißt, die Gruppe $⟨8,5⟩$ für $p=2$, beziehungsweise die Gruppe $⟨27,5⟩$ für $p=3$, nicht koklassen-stabil ist, gibt sie Anlass zu einer Multifurkation. Die reguläre Komponente ${𝒯}^2(C_p\times C_p\times C_p)$ ist im Abschnitt über Koklasse $2$ beschrieben worden. Die irreguläre Komponente ${𝒯}^3(C_p\times C_p\times C_p)$ wird zu einem Teilgraphen $𝒢={𝒢}_{(p,p,p)}(p,3)$ des Koklassen-Graphen $𝒢(p,3)$, wenn man die verbindenden Kanten mit Schrittweite $s=2$ der irregulären unmittelbaren Nachfolger von $C_p\times C_p\times C_p$ entfernt.

Für $p=2$ ist dieser Teilgraph $𝒢$ in Abbildung 6 enthalten. Er besitzt neun Top Level Vertices der Ordnung $32=2^5$, welche man in terminale und erweiterbare Vertices einteilen kann.

• Die zwei Gruppen $⟨32,32⟩$ und $⟨32,33⟩$ sind terminal.
• Die fünf Gruppen $⟨32,27..31⟩$ und die zwei Gruppen $⟨32,34..35⟩$ sind unendlich erweiterbar.

Die aus den erweiterbaren Vertices entstehenden Bäume stehen auf folgende Weise in Zusammenhang mit unendlichen pro-2 Gruppen von M. F. Newman und E. A. O'Brien.

$⟨32,28⟩$ gibt Anlass zu zwei Bäumen,

${𝒯}^3(⟨64,140⟩)$ assoziiert mit der Familie $\mathrm{\#}73$, und

${𝒯}^3(⟨64,147⟩)$ assoziiert mit der Familie $\mathrm{\#}74$.

${𝒯}^3(⟨32,29⟩)$ ist assoziiert mit der Familie $\mathrm{\#}75$.

${𝒯}^3(⟨32,30⟩)$ ist assoziiert mit der Familie $\mathrm{\#}76$.

${𝒯}^3(⟨32,31⟩)$ ist assoziiert mit der Familie $\mathrm{\#}77$.

$⟨32,34⟩$ gibt Anlass zu

${𝒯}^3(⟨64,174⟩)$ assoziiert mit der Familie $\mathrm{\#}78$. Schließlich ist

${𝒯}^3(⟨32,35⟩)$ assoziiert mit der Familie $\mathrm{\#}79$.

Tabelle 2: Klasse-2 Quotienten Q gewisser metabelscher 2-Gruppen G vom Typ (2,2,2)

SmallGroups Identifier von Q	Hall Senior Klassifikation von Q	Schur Multiplikator $ℳ(Q)$	2-Rang von G' $r_2(G^{\prime })$	4-Rang von G' $r_4(G^{\prime })$	Maximum von $r_2(H_i/H_i^{\prime })$
$⟨32,32⟩$	32.040	$(2)$	$2$	$0$	$2$
$⟨32,33⟩$	32.041	$(2)$	$2$	$0$	$2$
$⟨32,29⟩$	32.037	$(2,2)$	$2$	$1$	$3$
$⟨32,30⟩$	32.038	$(2,2)$	$2$	$1$	$3$
$⟨32,35⟩$	32.035	$(2,2)$	$2$	$1$	$3$
$⟨32,28⟩$	32.036	$(2,2,2)$	$2$	$2$	$3$
$⟨32,27⟩$	32.033	$(2,2,2,2)$	$3$	$2$ or $3$	$4$

Hall-Senior-Klassifikation von 2-Gruppen

Sieben von diesen neun Top-Level-Vertices sind von E. Benjamin, F. Lemmermeyer und C. Snyder untersucht worden im Hinblick auf ihr Vorkommen als Klasse-2-Quotienten $Q=G/{\gamma }_3(G)$ größerer metabelscher 2-Gruppen $G$ des Typs $(2,2,2)$ und mit Koklasse $3$, die exakt die Mitglieder der Stammbäume der sieben Vertices sind. Diese Autoren verwenden die Klassifikation der 2-Gruppen von M. Hall und J. K. Senior, die in Tabelle 2 in Korrespondenz mit der SmallGroups Library gesetzt wird. Die Komplexität der Stammbäume dieser sieben Vertices wächst mit den 2-Rängen und 4-Rängen, die in Tabelle 2 angegeben sind. Dort werden die maximalen Untergruppen vom Index $2$ in $G$ mit $H_i$ bezeichnet, für $1\le i\le 7$.

Geschichte

Stammbäume mit Zentralquotienten als Vorgängern (V1) kommen implizit im Artikel über Isoklinie von Gruppen von P. Hall aus dem Jahr 1940 vor. Bäume mit dem Quotienten nach der letzten nicht-trivialen unteren Zentrale als Vorgänger (V2) wurden erstmals von C. R. Leedham-Green am International Congress of Mathematicians, 1974 in Vancouver vorgestellt. Die ersten umfangreichen Baumdiagramme sind manuell angefertigt worden von J. A. Ascione, G. Havas und C. R. Leedham-Green (1977), von J. A. Ascione (1979), und von B. Nebelung (1989). In den ersteren beiden Fällen wurde, im Hinblick auf computertechnische Vorteile, die Vorgänger-Definition mittels der unteren Exponent-p Zentralreihe (V3) benützt. Im letzteren Fall, wo theoretische Aspekte im Brennpunkt lagen, wurden die Vorgänger in Bezug auf die gewöhnliche untere Zentralreihe (V2) definiert.