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

ב[[תורת החבורות]], '''מחלקה''' או '''קוֹסֵט''' (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>.