Je zwei Kompositionsreihen
und
einer Gruppe sind isomorph.
Insbesondere haben
und
die gleiche Länge, und die Kompositionsfaktoren inklusive ihrer Multiplizitäten sind eine Invariante von .
Bemerkung:
Die Existenz von Kompositionsfaktoren ist hierbei vorausgesetzt. Bei unendlichen Gruppen ist dies im Allgemeinen nicht gewährleistet. Die unendliche zyklische Gruppe
besitzt z.B. keine Kompositionsreihe. Endliche Gruppen besitzen immer Kompositionsreihen.
(Autoren: Höfert/Kimmerle)
|
automatisch erstellt
am 14.11.2008 |