The Brauer splitting theorem and projective representations of finite groups over rings (Q1121986)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Brauer splitting theorem and projective representations of finite groups over rings |
scientific article |
Statements
The Brauer splitting theorem and projective representations of finite groups over rings (English)
0 references
1988
0 references
Ist G eine endliche Gruppe vom Exponenten m und K ein Körper, dessen Charakteristik kein Teiler von m ist, so ist bekanntlich (Brauer) der Körper K(\(\xi)\) Zerfällungskörper des Gruppenringes KG, d.h. es gilt \[ K(\xi)\otimes_ KKG\cong M_{n_ 1}(K(\xi))\oplus...\oplus M_{n_ t}(K(\xi)). \] Dabei ist \(\xi\) eine primitive m-te Einheitswurzel. Die Autoren verallgemeinern dieses Ergebnis. An die Stelle des Gruppenringes KG tritt das verschränkte Produkt \(R*_{\alpha}G\) eines kommutativen Ringes R, der nur die trivialen Idempotenten enthält, mit einer endlichen Gruppe G. Dabei bezeichnet \(\alpha \in Z^ 2(G,U(R))\) einen 2-Kozyklus und U(R) die Einheitengruppe von R. Die Multiplikation in \(R*_{\alpha}G\) erfolgt gemäß \(u_ xu_ s=\alpha (x,s)u_{xs}\). Ist \(| G|^{-1}\in R\) und \(\alpha\) geeignet gewählt, so wird eine R-Basis des Zentrums \(Z(R*_{\alpha}G)\) dieses Ringes von allen Klassensummen konjugierter Elemente von G gebildet, die ein \(\alpha\)-reguläres Element \(s\in G\) enthalten (d.h. \(\alpha (x,s)=\alpha (s,x)\) für alle \(x\in C(s))\). Ist S ein Zerfällungsring von \(R*_{\alpha}G\), d.h. ein kommutativer Erweiterungsring von R, der nur die trivialen Idempotenten enthält, mit \[ S*_{\alpha}G\cong End_ S(P_ 1)\oplus...\oplus End_ S(P_ t), \] so ist t gleich der Anzahl der Klassen konjugierter Elemente von G, die ein \(\alpha\)-reguläres Element aus G enthalten. \(P_ 1,...,P_ t\) sind endlich erzeugte projektive echte S-Untermoduln. Hauptergebnis ist der folgende Satz: Bei gegebenem Kozyklus \(\alpha \in Z^ 2(G,U(R))\) läßt sich ein separabler kommutativer Erweiterungsring S von R konstruieren, der ein freier R-Modul endlichen Ranges ist, nur die trivialen Idempotenten enthält und Zerfällungsring des verschränkten Produktes \(R*_{\alpha}G\) ist. - Dieses Ergebnis ist von Bedeutung für projektive Darstellungen von Gruppen über Ringen. Insbesondere werden die Schur'schen Multiplikatoren verallgemeinert.
0 references
projective representations
0 references
2-cocycles
0 references
finite groups
0 references
splitting fields
0 references
splitting rings
0 references
group rings
0 references
crossed products
0 references
Schur multiplier
0 references