Burnside-Problem

Das 1902 von William Burnside aufgestellte Burnside-Problem ist eines der ältesten und einflussreichsten Probleme der Gruppentheorie und fragt, ob jede endlich erzeugte Gruppe, in der jedes Element endliche Ordnung hat, notwendigerweise endlich sein muss. Jewgeni Golod und Igor Schafarewitsch fanden 1964 ein Gegenbeispiel. Das Problem hat mehrere Varianten, etwa das beschränkte Burnside-Problem oder das eingeschränkte Burnside-Problem, die sich darin unterscheiden, dass die Elementordnungen weiteren Bedingungen unterworfen sind.

Historische Bemerkungen

Zu Anfang wies alles auf eine positive Antwort hin. Ist zum Beispiel die Gruppe endlich erzeugt und ist jede Elementordnung ein Teiler von 4, dann ist bereits endlich. A. I. Kostrikin konnte 1958 zeigen, dass sich unter den endlichen Gruppen mit vorgegebener Anzahl von Erzeugern und mit vorgegebener Primzahl als Gruppenexponent eine größte findet. Das ergibt eine Lösung des eingeschränkten Burnside-Problems für den Fall eines Primexponenten. Später, im Jahre 1989, konnte Efim Zelmanov das eingeschränkte Burnside-Problem für beliebige Exponenten lösen. 1911 zeigte Issai Schur, dass jede endlich erzeugte Torsionsgruppe, die in den komplexen, invertierbaren n × n-Matrizen enthalten ist, endlich sein muss. Dies benutzte er zum Beweis des Satzes von Jordan-Schur.

Nichtsdestoweniger stellte sich heraus, dass das Burnside-Problem eine negative Antwort hat. 1964 fanden Golod und Schafarewitsch eine unendliche Gruppe vom Burnside-Typ (d. h. endlich erzeugt und alle Elemente haben eine endliche Ordnung), ohne dass die Elementordnungen gleichmäßig beschränkt sind. 1968 lieferten Pjotr Nowikow und Sergei Adjan eine negative Lösung für das Problem mit beschränktem Exponenten für alle ungeraden Exponenten größer als 4381. Im Jahre 1982 fand Alexander Olschanski einige verblüffende Gegenbeispiele für hinreichend große ungerade Exponenten (größer als ) und lieferte auf Basis geometrischer Ideen einen beträchtlich einfacheren Beweis.

Der Fall gerader Exponenten hat sich als sehr viel schwieriger herausgestellt. S. W. Iwanow kündigte 1992 eine negative Lösung für hinreichend große gerade Exponenten, die durch eine große Zweierpotenz teilbar sind, an. Die vollständigen Beweise wurden 1994 veröffentlicht und umfassten gut 300 Seiten. Spätere gemeinsame Arbeit mit Olschanski führte zu einer negativen Lösung des Analogons des Burnside-Problems für hyperbolische Gruppen, wieder für hinreichend große Exponenten. Im Gegensatz dazu ist für kleine Exponenten ungleich 2,3,4 oder 6 fast nichts bekannt.

Das allgemeine Burnside-Problem

Eine Gruppe heißt Torsionsgruppe, wenn jedes Element eine endliche Ordnung hat, das heißt, wenn es zu jedem Element eine positive ganze Zahl gibt, so dass . Offenbar ist jede endliche Gruppe eine Torsionsgruppe. Es gibt aber leicht zu definierende, unendliche Torsionsgruppen wie etwa die Prüfergruppen, aber Letztere sind nicht endlich erzeugt.

Die Antwort auf diese Frage fiel negativ aus, 1964 fanden Jewgeni Golod und Igor Schafarewitsch ein Beispiel einer unendlichen, endlich erzeugten p-Gruppe. Die Elementordnungen dieser Gruppe waren aber nicht durch eine gemeinsame Konstante beschränkt.

Das beschränkte Burnside-Problem

Der Cayley-Graph der 27-elementigen freien Burnside-Gruppe mit 2 Erzeugern und Exponent 3

Ein Teil der Schwierigkeiten beim allgemeinen Burnside-Problem rührt daher, dass die Forderungen der endlichen Erzeugung und der Torsionsgruppe nur wenig Informationen über die mögliche Gruppenstruktur zulassen. Daher benötigen wir weitergehende Forderungen an . Wir betrachten daher Torsionsgruppen mit der zusätzlichen Eigenschaft, dass es eine kleinste Zahl gibt, so dass für alle . Solche Gruppen heißen Torsionsgruppen mit beschränktem Exponenten oder einfach Gruppen mit Exponent . Das beschränkte Burnside-Problem stellt die Frage

Das Problem kann in eine Frage über die Endlichkeit einer bestimmten Familie von Gruppen umformuliert werden. Die freie Burnside-Gruppe vom Rang und Exponenten , die mit bezeichnet wird, ist eine Gruppe mit Erzeugern , in der alle Elemente die Relation erfüllen, und die in gewisser Weise die größte Gruppe mit diesen Eigenschaften ist. Genauer wird dadurch charakterisiert, dass es zu jeder anderen Gruppe mit Erzeugern und mit Exponent genau einen Gruppenhomomorphismus gibt, der den -ten Erzeuger von auf den -ten Erzeuger abbildet. In der Sprache der Präsentation einer Gruppe ist die Gruppe mit Erzeugern und Relationen für jedes Wort in , jede weitere Gruppe mit Erzeugern und Exponent erhält man durch Forderung zusätzlicher Relationen. Die Existenz der freien Burnside-Gruppen und ihre Eindeutigkeit ergeben sich mittels Standardtechniken der Gruppentheorie. Wenn also eine von Elementen erzeugte Gruppe mit Exponent ist, so gibt es einen surjektiven Gruppenhomomorphismus . Das beschränkte Burnside-Problem kann also wie folgt umformuliert werden:

Die vollständige Lösung des Burnside-Problems in dieser Form ist unbekannt. Burnside hatte in seiner Originalarbeit einige einfache Fälle betrachtet:

• ist die zyklische Gruppe der Ordnung .
• ist das direkte Produkt von Kopien der Ordnung 2. (Der wesentliche Punkt ist die Beobachtung, dass die Relationen die Gleichung implizieren, so dass freie Burnside-Gruppen mit Exponent 2 abelsch sind.)

Die folgenden Resultate sind noch bekannt (Burnside, I. N. Sanow, M. Hall):

• , und sind endlich für alle .

Der Spezialfall ist Stand 2005 offen, es ist nicht bekannt, ob diese Gruppe endlich ist. Pjotr Nowikow und Sergei Adjan erreichten 1968 einen Durchbruch in der Lösung des Burnside-Problems. Mittels eines komplizierten kombinatorischen Arguments zeigten sie, dass es für jede ungerade Zahl unendliche, endlich erzeugte Gruppen mit Exponent gibt. Adjan hat dies später auf ungerade Exponenten größer 665 verbessert. (John Britton schlug 1973 einen alternativen, zirka 300 Seiten langen Beweis vor, in dem Adjan allerdings einen Fehler fand.) Der Fall gerader Exponenten erwies sich als erheblich schwieriger. Erst 1994 konnte S. W. Iwanow ein Analogon zum Satz von Nowikow-Adjan beweisen: Für und und teilbar durch ist unendlich. Zusammen mit dem Satz von Nowikow-Adjan kann man schließen, dass es unendliche Burnside-Gruppen für alle und gibt. Das wurde 1996 von Igor Gerontjewitsch Lyssjonok (Lysënok) auf verbessert. Nowikow-Adjan, Iwanow und Lysënok erzielten erheblich präzisere Ergebnisse über die Struktur freier Burnside-Gruppen. Im Falle ungerader Exponenten sind alle endlichen Untergruppen der freien Burnside-Gruppe zyklisch. Für gerade Exponenten ist jede endliche Untergruppe in einem Produkt zweier Diedergruppen enthalten und es gibt nicht-zyklische endliche Untergruppen. Überdies sind das Wort- und das Konjugationsproblem für sowohl für gerade als auch für ungerade Exponenten effektiv lösbar.

Eine berühmte Klasse von Gegenbeispielen zum Burnside-Problem sind endlich erzeugte, nicht-zyklische, unendliche Gruppen, in denen jede echte Untergruppe eine endliche zyklische Gruppe ist, dies sind die sogenannten Tarski-Gruppen. Erste Beispiele solcher Gruppen wurden 1979 von A. J. Olschanski mittels geometrischer Methoden konstruiert. Er konnte dies 1982 weiter verschärfen und für jede hinreichend große Primzahl die Existenz endlich erzeugter, unendlicher Gruppen zeigen, in denen jede nicht-triviale Untergruppe zyklisch von der Ordnung ist. In einer 1996 veröffentlichten Arbeit konnten Iwanow und Olschanski das Analogon zum Burnside-Problem für beliebige hyperbolische Gruppen mit hinreichend großen Exponenten lösen.

Das eingeschränkte Burnside-Problem

Die aus den 1930ern stammende Frage lautet:

Diese Variante des Burnside-Problems kann in eine Aussage über gewisse universelle Gruppen mit Erzeugern und Exponent umformuliert werden. Es ist eine grundlegende Aussage der Gruppentheorie, dass der Durchschnitt zweier Untergruppen mit endlichem Index wieder endlichen Index hat. Sei der Durchschnitt aller Untergruppen von mit endlichem Index. Dann ist ein Normalteiler (denn alle Konjugierten von Untergruppen mit endlichem Index sind wieder von dieser Form) und man kann als die Quotientengruppe definieren. Jede endliche Gruppe mit Erzeugern und Exponent ist ein homomorphes Bild von . Das eingeschränkte Burnside-Problem fragt, ob endlich ist.

Noch vor der negativen Antwort zum allgemeinen Burnside-Problem wurde der Fall eines Primzahl-Exponenten in den 1950ern intensiv von A. I. Kostrikin studiert. Seine Lösung, das heißt die Endlichkeit von , verwendete Beziehungen zu tiefliegenden Fragen über Identitäten in Lie-Algebren endlicher Charakteristik. Der Fall allgemeiner Exponenten wurde schließlich positiv von Efim Zelmanov gelöst, wofür dieser 1994 mit der Fields-Medaille ausgezeichnet wurde.

Einzelnachweise

1. A. I. Kostrikin: Around Burnside. Übersetzt aus dem Russischen mit einem Vorwort von James Wiegold Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, Band 20, Springer-Verlag 1990, ISBN 3-540-50602-0.
2. A History of the Burnside problem im MacTutor History of Mathematics archive.
3. D. J. S. Robinson: A Course in the Theory of Groups, Springer-Verlag 1996, ISBN 0-387-94461-3, Kapitel 14.2: Torsion Groups and the Burnside Problems.
4. Charles W. Curtis, Irving Reiner: Representation Theory of Finite Groups and Associative Algebras, AMS Chelsea Publishing (1962), ISBN 0-8218-4066-5, Theorem (36,14).
5. S. V. Ivanov: The free Burnside groups of sufficiently large exponents, Internat. J. Algebra Comput. (1994), Band 4, Seiten 1–308.
6. S. V. Ivanov, A. Yu. Ol’shanskii: Hyperbolic groups and their quotients of bounded exponents, Trans. Amer. Math. Soc. (1996), Band 348, Seiten 2091–2138.
7. D. J. S. Robinson: A Course in the Theory of Groups, Springer-Verlag 1996, ISBN 0-387-94461-3, Sätze 14.2.3, 14.2.4, 14.2.6.
8. S. V. Ivanov: On the Burnside Problem on Periodic Groups, Bulletin (New Series) of the Amer. Math. Soc. (1992), Band 27.2, Seiten 257–260 (Übersicht).
9. I. G. Lysënok: Unendliche Burnside-Gruppen mit geradem Exponenten. Izv. Ross. Akad. Nauk Ser. Mat. (1996) Band 60.3, Seiten 3–224. Englische Übersetzung I. G. Lysënok: Infinite Burnside groups of even exponent, Izv. Math. 60.3, Seiten 453–654.
10. D. J. S. Robinson: A Course in the Theory of Groups, Springer-Verlag 1996, ISBN 0-387-94461-3, Satz 1.3.12.