סדר (תורת החבורות)

מתוך המכלול, האנציקלופדיה היהודית
(הופנה מהדף סדר של איבר בחבורה)
קפיצה לניווט קפיצה לחיפוש

בתורת החבורות, למושג סדר יש שתי משמעויות שונות, אך קשורות.

סדר של חבורה

הסדר של חבורה הוא העוצמה שלה, |G|, כלומר מספר האברים אם החבורה סופית.

משפט לגראנז', שהוא אולי המשפט הבסיסי בכל תורת החבורות, קובע שהסדר של חבורה סופית מתחלק בסדר של כל תת-חבורה שלה.

מהסדר של חבורה (סופית) אפשר להסיק רבות על המבנה שלה. בין המשפטים הבסיסיים בכיוון זה אפשר למנות את משפט קושי על קיומם של אברים בעלי סדר ראשוני, ואת משפטי סילו על קיומן של תת-חבורות שסדרן הוא חזקה של ראשוני.

סדר של איבר בחבורה

בהינתן חבורה ואיבר כלשהו , הסדר של שמסומן הוא החזקה הטבעית הקטנה ביותר של שעבורה , איבר היחידה של החבורה. אם לא קיים מספר שכזה, נאמר שהסדר של הוא אינסופי, ונסמן . הסדר של איבר בחבורה הוא הסדר של החבורה הציקלית הנוצרת על ידי האיבר, ומכאן הקשר בין סדר של איבר לסדר של חבורה.

מסקנה מיידית ממשפט לגראנז' היא שהסדר של איבר בחבורה G מחלק את הסדר של G. זאת מכיוון שהחבורה הציקלית של שנוצרת על ידי האיבר היא תת-חבורה של G שסדרה כסדר האיבר. לכן לפי משפט לגראנז' סדר זה מחלק את הסדר של G.

מכאן נובעת מסקנה מיידית חשובה נוספת: בהינתן חבורה סופית , כל איבר בחבורה בחזקת סדר החבורה שווה לאיבר היחידה. נראה זאת: יהא כלשהו, אז קיים k שלם כך ש- (כי הסדר של מחלק את הסדר של ). על כן: .

עוד מסקנה מיידית היא שחבורה מסדר שהוא מספר ראשוני היא בהכרח ציקלית, וכל איבר פרט ליחידה הוא יוצר שלה (שכן הסדר של כל איבר פרט לאיבר היחידה שווה לסדר החבורה).

דוגמה

לחבורה הסימטרית S3 יש את לוח הכפל הבא:

e s t u v w
e e s t u v w
s s e v w t u
t t u e s w v
u u t w v e s
v v w s e u t
w w v u t s e

בחבורה זו יש שישה איברים, כלומר הסדר של החבורה, , הוא 6.
לפי הגדרה, הסדר, , של איבר היחידה, e, הוא 1. הסדר של כל אחד מהאיברים s, t, w הוא 2 (מכפלת כל אחד מאיברים אלה בעצמו היא איבר היחידה), והסדר של כל אחד מהאיברים u, v הוא 3.

קישורים חיצוניים

  • סדר, באתר MathWorld (באנגלית)   המזהה לא מולא ולא נמצא בוויקינתונים, נא למלא את הפרמטר.