Sur les groupes normalement décomposables. I. (Q2585888)

Eine Gruppe heißt \textit{normal zerlegbar}, wenn jedes ihrer Elemente einem echten Normalteiler der Gruppe angehört. Ein System \(\mathfrak N_1\), \(\mathfrak N_2\),\dots von Normalteilern, das die Gruppe überdeckt, heißt \textit{invariante Basis}. Aus dem Lemma, daß eine Gruppe normal zerlegbar ist, sobald es eine ihrer Faktorgruppen ist, und dem Satz 1: Wenn der Durchschnitt von \(\mathfrak N_1\), \(\mathfrak N_2\),\dots, \(\mathfrak N_s\) gleich 1 ist, dagegen der Durchschnitt von weniger als \(s\) Basisgruppen stets von 1 verschieden ist, dann ist die Gruppe das direkte Produkt von \(s\) einfachen Gruppen und hat ein nichtzyklisches Zentrum, werden eine Reihe leicht zu findender Sätze gefolgert. Nicht im Zusammenhang damit steht der bemerkenswerte Satz 15: Eine Gruppe wird genau dann von ihren abelschen Normalteilern überdeckt, wenn jeder Zentralisator Normalteiler ist.