„Die Ordnung der ''Untergruppe'' <math>|H|\ </math> (Anzahl der Elemente) ist ein Teiler der Gruppenordnung <math>|G|\ </math>.“<ref>{{Wikibooks|Beweisarchiv: Algebra: Gruppen: Untergruppenordnung teilt Gruppenordnung|oldid=804408}}</ref>
{{K|Mathematik}} Teilmenge einer Gruppe, die selbst die Gruppeneigenschaft besitzt