|
|
==הגדרה פורמלית==
תהא <math>\!\, G </math> חבורה ותהא <math>\!\, N\subseteqleq G </math> תת חבורה שלה. יהאלכל איבר <math>\!\, g\isin G </math> כלשהו, אז הקבוצה <math>\!\, g^{-1}Ng=\left\{g^{-1}xg|x\isin N\right\} </math> היא הקבוצהה"הצמדה" המתקבלת מ<math>\!\,של N </math> על -ידי הצמדת <math>\!\, g </math>. אם לכל <math>\!\,איבר g\isin G </math> מתקיים <math>\!\, g^{-1}Ng \subseteq N </math>, נגידאז ש<math>\!\, N </math> היא '''תת חבורה נורמלית''' של <math>\!\, G </math>. מסמנים תכונה ונסמןזו זאתכך: <math>N\triangleleft G</math>.
==הגדרה שקולה==
|