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