חבורת מנה – הבדלי גרסאות

ה[[סדר של חבורה|סדר]] של חבורת המנה G/N הוא ה[[אינדקס (תורת החבורות)|אינדקס]] של N בתוך G, שאותו מסמנים ב-<math>\ [G:N]</math>, ומתקיים <math>\ |G|=[G:N]\cdot |HN|</math>. כאשר G,N סופיות, האינדקס שווה ל- <math>\ \frac{|G|}{|N|} </math> - מנת הסדרים של G,N. העובדה שסדר זה חייב להיות שלם מוכיחה, למעשה, את [[משפט לגרנז']].