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