משפטי סילו – הבדלי גרסאות

אם [[מספר ראשוני]] <math>\ p</math> מחלק את הסדר של החבורה הסופית <math>\ G</math>, אז קיימת חזקה מקסימלית של p המחלקת את הסדר: <math>\ p^n</math> מחלק, אבל <math>\ p^{n+1}</math> לא. לתת-חבורה של G שסדרה שווה ל- <math>\ p^n</math> קוראים '''חבורת p-סילו''' של G. הגדרה שימושית אחרת לאותו מושג: חבורת p-סילו היא תת-חבורה של G שהיא [[חבורת p|חבורת-p]], בעלת [[אינדקס (תורת החבורות)|אינדקס]] זר ל-p.

 

 

==ניסוח המשפטים==