Endvertauschbare Anordnungen und die Struktur der Einheitengruppen modularer Gruppenalgebren; mit 167 Übungsaufgaben

In dieser Arbeit studieren wir Einheitengruppen modularer Gruppenalgebren KG. Für die Untersuchung ihres Zentrums entwickeln wir das Konzept der sogenannten endvertauschbaren Anordnung von Algebren- Elementen. Daraus leiten wir auf einfache Weise ab, wie der Exponent des Zentrums allein durch Berechnungen innerhalb der Gruppe G ermittelt werden kann. Anschließend bestimmen wir diesen zum Beispiel für direkte Produkte mit vereinigten zentralen Untergruppen und für Kranzprodukte und geben eine Beschreibung der Gruppen an, für die jener Exponent extremal wird. Das Konzept der endvertauschbaren Anordnung erlaubt neben der Berechnung des Exponenten von Z(rad(KG)) auch (im Falle eines endlichen Körpers K) die Ermittlung der Invarianten dieser abelschen p-Gruppe. Für diese geben wir zwei Beschreibungen an.

Sven Bodo Wirsing wurde 1975 in Neumünster geboren. Nach dem Abitur an der KKS in Itzehoe (mit Schwerpunkt Mathematik und Physik) studierte er Mathematik mit dem Nebenfach BWL (insbesondere Logistik) an der CAU zu Kiel. Seine Promotion beendet er 2005 als Dr. rer. nat. in Gruppen- und Algebrentheorie. In der Arbeitsgruppe Algebrentheorie sammelte er Erfahrungen in der Analyse strukturübergreifender Prozesse, die sich zwischen verschiedenen Disziplinen der Algebra wie etwa Gruppen-, Darstellungs-, Lie- und assoziativer Algebrentheorie widerspiegeln. Aus dieser Erfahrung heraus studierte und analysierte er auch die Thematik des vorliegenden Werkes.Seit Beendigung seiner Promotion arbeitet Dr. Wirsing als Senior-IT-Berater für Logistik-Prozesse bei der Brandt&Partner GmbH, und er ist dort u.a. für die Logistik-Optimierung und -Betreuung bei FRESENIUS NETCARE zuständig.Seit 2012 hat er begonnen, mathematische Fachliteratur zum Thema Algebren zu veröffentlichen.

Textprobe: Einleitung Die Gruppentheorie hat sich über Jahrzehnte zu einem zentralen Gebiet der Algebra entwickelt. Neben spezifisch gruppentheoretischen Methoden werden auch Methoden aus anderen Bereichen der Algebra zur Klärung der Struktur von Gruppen eingesetzt. An vorderer Stelle sind hier etwa die Darstellungstheorie und die damit eng verknüpfte Charaktertheorie zu nennen. Das genaue Studium der Gruppenalgebra ist die Quelle der Einsichten über Moduln und Charaktere, die jene Theorien so überaus erfolgreich machen. Es ist daher seit langem zu einem inhaltsreichen Forschungsgebiet von eigenständigem Interesse innerhalb der Algebrentheorie geworden (S. Jennings [14], 1941 und D.S. Passman [19], 1977). Ob eine Gruppenalgebra über einem Körper K halbeinfach ist oder der modulare Fall vorliegt, lässt sich bekanntlich nach dem Satz von Maschke an der Charakteristik von K erkennen. Die vorliegende Arbeit widmet sich dem Studium der Einheitengruppen von Gruppenalgebren über p -Gruppen und Körpern der Charakteristik p. Die Struktur der Einheitengruppe der Gruppenalgebra wurde für abelsche p -Gruppen und endliche Körper der Charakteristik p von R. Sandling in [22], von A. Albrecht in [1] sowie von A.A. Bovdi und A. Szakacs in [6] behandelt. Ein Ziel der vorliegenden Arbeit ist die Untersuchung des Zentrums der Einheitengruppe E(KG) = (1G+rad(KG)) _ (Knf0Kg) _1G der Gruppenalgebra KG für eine nicht-abelsche p -Gruppe G und einen Körper K der Charakteristik p. In Verallgemeinerung eines Resultats von K.R. Pearson [20] zeigen wir im ersten Kapitel für eine beliebige Untergruppe U von G zunächst, da_ Z(G) \ U das Herz von U in 1G + rad(KG) ist (1.2.3). Der Normalisator von U in 1G +rad(KG) ist durch NG(U) _ C1G+rad(KG)(U) gegeben, wie im Anschlu_ bewiesen wird (1.3.6). Der Spezialfall U = G findet sich bereits in einer Arbeit von D.B. Coleman ([8]). Unser Zugang zum Zentrum von E(KG) verwendet das { in dieser Arbeit entwickelte { Konzept der sogenannten ,,endvertauschbaren Anordnung von Algebren-Elementen, das im zweiten Kapitel vorgestellt wird. Wir zeigen in 2.3.6, da_ eine endliche Gruppe G genau dann nilpotent ist, wenn jede Konjugiertenklasse von G endvertauschbar angeordnet werden kann. Darüber hinaus erhalten wir in 2.1.5 auf einfache Weise für endvertauschbar angeordnete K-Algebren-Elemente a1; : : : ; an die wichtige Identität ( Pn i=1 ai) pr = Pn i=1 a pr i (p = char(K); r 2 N). Für den { auch für unsere Zwecke { besonders interessierenden Fall, da_ fa1; : : : ; ang eine Konjugiertenklasse einer endlichen p-Gruppe G ist, haben A.A. Bovdi und Z. Patay in [3] diese bereits auf andere Weise hergeleitet. Als Anwendung erhalten wir einen Satz derselben Autoren, der zeigt, da_ und wie sich der Exponent von Z(1G + rad(KG)) allein durch Berechnungen innerhalb der Gruppe G bestimmen lässt (2.4.8). Schließlich beweisen wir als Vorbereitung auf Kapitel 3 einige Abschätzungen für diesen Exponenten. Die Zahl jGj p2 ist der maximal mögliche Wert, den der Exponent von Z(1G + rad(KG)) für eine nicht-abelsche p -Gruppe G annehmen kann (2.5.3). In Abschnitt 1 von Kapitel 3 gelingt es uns, die Gruppen zu beschreiben, bei denen dieser Maximalwert angenommen wird: Entweder ist das Zentrum von G zur zyklischen Gruppe der Ordnung jGj p2 isomorph oder es gibt eine zyklische maximale Untergruppe in G (3.1.6). Die Gruppen, für die das Zentrum von 1G+rad(KG) elementar-abelsch ist, konnen wir andererseits in Abschnitt 2 von Kapitel 3 wie folgt kennzeichnen: Das Zentrum von G ist elementar-abelsch, und für alle g 2 G n Z(G) gilt CG(g)