תת-חבורה נורמלית – הבדלי גרסאות

 

== הנורמליזטור ==

<math>\ C_G(H) = \{x\in G: \forall h \in H, xhx^{-1}=h \}</math>, בוודאי מוכל בנורמליזטור, ואף מתקיים <math>\ C_G(H)\triangleleft G</math>. האינדקס של הנורמליזטור ב-G שווה למספר תת-החבורות השונות מהצורה <math>\ xHx^{-1}</math> (היינו, תת-החבורות הצמודות ל-H).