משפטי סילו – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
תיקון: במקום "כל *החבורות* שסדרן הוא חזקת p מקסימלית, כל *תתי החבורות* שסדרן הוא חזקת p. |
אין תקציר עריכה |
||
שורה 3:
את המשפטים הוכיח המתמטיקאי הנורווגי [[לודוויג סילו]] בשנת 1872, והם מכלילים את [[משפט קושי (תורת החבורות)|משפט קושי]] שנוגע למקרה <math>\ n=1</math>.
במובן מסוים, משפטי סילו הפוכים ל[[משפט לגראנז' (תורת החבורות)|משפט לגראנז']]. לפי משפט לגראנז', הסדר של תת-חבורה H של G חייב לחלק את הסדר של G. משפטי סילו מראים שאם נתון מחלק q של הסדר של G שהוא חזקת ראשוני, אז אפשר למצוא תת-חבורה מסדר q. משפטי סילו קובעים גם שכל
==הגדרות==
|