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

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