Die Untergruppen einer kommutativen Gruppe sind trivialerweise stets zugleich ''Normalteiler.''
''[[Mathematik]], [[Gruppentheorie]]:'' eine Untergruppe <math>N</math> einer Gruppe <math>G</math>, mit der für jedes <math>g</math> aus <math>G</math> gilt: <math>gNg^{-1}= N</math>.