קוסטים, משפט לגראנז' וחבורות מנה

בפוסט הקודם של תורת החבורות דיברנו על תתי-חבורות והזכרתי את משפט לגראנז'. המשפט אומר שאם $latex G$ היא חבורה סופית, ו-$latex H$ היא תת-חבורה שלה, אז $latex \left|H\right||\left|G\right|$ – הסדר של $latex H$ מחלק את הסדר של $latex G$ ("סדר" של … להמשיך לקרוא