I gruppi che possono pensarsi come somme di tre loro sottogruppi. (Q1449818)

Eine Gruppe \(G\) besitzt dann und nur dann die im Titel genannte Eigenschaft, wenn sie eine invariante Untergruppe \(K\) enthält, deren Faktorgruppe der Vierergruppe einstufig isomorph ist. Sind \(X_1, X_2, X_3\) die Nebengruppen von \(K\), so ist \[ G= (K + X_1) + (K + X_2) + (K + X_3) \] die genannte Zerlegung.