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

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