Der Satz über die algebraische Struktur der Quotientenmenge zu einer Untergruppe H ⊆ G {\displaystyle {}H\subseteq G} in einer kommutativen Gruppe G {\displaystyle {}G} .