שינויים
/* נורמליות */ פסקה חדשה
מהו המשפט? חישוב פונקציית פי? או ההוכחה Un=Gr(Zn)q ?
== נורמליות ==
עבור H תת-חבורה, ההעתקה <math>gH \; \mapsto \; Hg</math> מוגדרת היטב אםם <math> H \triangleleft G</math>? (ברור שמאל גורר ימין)
==תרגיל אתגר מההרצאה==
יהיו <math>H_2 \leq G</math>, <math>H_1 \leq G</math>.
צ"ל <math>[G:(H_1 \cap H_1)]\leq[G:(H_1)][G:(H_2)]</math> ע"י הגדרת פעולה מתאימה.