Es sei G {\displaystyle {}G} eine Gruppe. Eine Familie von Untergruppen U 1 , . . . , U n {\displaystyle {}U_{1},...,U_{n}} mit U i ∩ U j = 0 {\displaystyle {}U_{i}\cap U_{j}=0} für i ≠ j {\displaystyle {}i\neq j} die zusammen G {\displaystyle {}G} erzeugen heißt direkte Gruppenzerlegung .
