תהיינה G חבורה ו-H תת-חבורה. אז לכל <math>\ g \in G</math> מתקיים <math>\ N_G(gHg^{-1}) = gN_G(H)g^{-1}</math>.
הכללה: '''תרגיל''' (89214, מבחן תשע"ב א'). לכל תת-חבורה H של חבורה G, ה[[מרכז של תת-חבורה|מרכז]] <math>\ C_G(H)</math> הוא תת-חבורה נורמלית של המנרמל <math>\ N_G(H)</math>. === הכללות === * יהי <math>\ \varphi</math> [[אוטומורפיזם]] של G; אז <math>\ N_G(\varphi(H)) = \varphi(N_G(H))</math>.
== דגשים ==
