סדר (תורת החבורות)
מתוך ויקיפדיה, האנציקלופדיה החופשית
בתורת החבורות, למושג סדר יש שתי משמעויות שונות, אך קשורות.
[עריכה] סדר של חבורה
בהינתן חבורה G, הסדר שלה הוא עוצמתה, |G|. העוצמה יכולה להיות סופית או אינסופית.
משפט בסיסי העוסק בתכונות של סדרים של חבורות הוא משפט לגראנז' האומר כי בהינתן חבורה G, הסדר של כל תת חבורה של G מחלק את הסדר של G.
[עריכה] סדר של איבר בחבורה
בהינתן חבורה
ואיבר כלשהו
, הסדר של
שמסומן
הוא החזקה הטבעית הקטנה ביותר
של
שעבורה
, האיבר האדיש בחבורה. אם לא קיים מספר שכזה, נאמר שהעוצמה של
היא אינסופית, ונסמן
.
מסקנה אחת ממשפט לגראנז' מקשרת בין מושג הסדר של החבורה לסדר של איבר בחבורה - הסדר של איבר בחבורה מחלק תמיד את סדר החבורה, אם סדר החבורה סופי. נראה זאת: תהא
חבורה סופית ויהא
מסדר סופי. אז נביט בתת החבורה הציקלית
הנוצרת על ידי
. סדר תת החבורה הזו הוא בדיוק הסדר של
, כי החל מ
מתחילים איברי החבורה לחזור על עצמם. על פי משפט לגראנז', סדר החבורה הזו מחלק את סדר
.
מכאן נובעת מסקנה מיידית חשובה נוספת: בהינתן חבורה סופית
, כל איבר בחבורה בחזקת סדר החבורה הוא האיבר האדיש. נראה זאת: יהא
כלשהו, אז
ולכן
. על כן:
.
עוד מסקנה מיידית היא שחבורה מסדר שהוא מספר ראשוני היא בהכרח ציקלית, וכל איבר פרט לאיבר האדיש הוא יוצר שלה (שכן הסדר של כל איבר פרט לאיבר האדיש הוא סדר החבורה).

