מחלקה (תורת החבורות) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
מ שוחזר מעריכות של 79.178.192.211 (שיחה) לעריכה האחרונה של Matanyabot
שורה 1:
'''בתורתב[[תורת החבורות ]], '''מחלקה''' או '''קוֹסֵט''' (coset) של תת-חבורה <math>\ H</math> היא קבוצה של איברי [[חבורה (מבנה אלגברי)|חבורה]] <math>\ G</math> המכילה את <math>\ H</math>, אשר מתקבלים מהכפלת אברי <math>\ H</math> באיבר קבוע של החבורה. אוסף המחלקות של תת-חבורה <math>\ H</math> מהווה חלוקה של <math>\ G</math> לקבוצות שוות [[עוצמה (מתמטיקה)|בעוצמתן]]. מספר המחלקות הימניות (או השמאליות) של תת-חבורה H בחבורה G נקרא '''האינדקס''' של H ב G, ומסומן <math>\ [G:H]</math>. אם G סופית, אינדקס זה שווה ל-<math>\ [G:H] = \frac{|G|}{|H|}</math>.
 
== הגדרה פורמלית ==