סדר (תורת החבורות) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Shalevku (שיחה | תרומות)
Shalevku (שיחה | תרומות)
מ ←‏סדר של איבר בחבורה: זה לא נכון להגיד שהחזקה היא הסדר, הסדר הוא המעריך. ניסחתי את המשפט במילים באופן מדוייק יותר והשארתי גם את הנוסחה עצמה., ניסוח
שורה 9:
 
==סדר של איבר בחבורה==
בהינתן חבורה <math>\,\! G</math> ואיבר כלשהו <math>\,\! g\isin G</math>, הסדר של <math>\,\! g</math> שמסומן <math>\,\! o(g)</math> הוא ה[[חזקההמעריך (מתמטיקה)|חזקה]]הטבעי הטבעית הקטנההקטן ביותר <math>\,\! n</math>[[חזקה של(מתמטיקה)|שבחזקתו]] איבר <math>\,\! g</math>שווה לאבר היחידה של החבורה, כלומר: שעבורה <math>\,\! g^n=e</math>, איבר היחידה של החבורה. אם לא קיים מספר שכזה, נאמר שהסדר של <math>\,\! g</math> הוא אינסופי, ונסמן <math>\,\! o(g)=\infty</math>. הסדר של איבר בחבורה הוא הסדר של ה[[חבורה ציקלית|חבורה הציקלית]] הנוצרת על ידי האיבר, ומכאן הקשר בין סדר של איבר לסדר של חבורה.
 
מסקנה מיידית ממשפט לגראנז' היא שהסדר של איבר בחבורה G מחלק את הסדר של G. זאת מכיוון שהחבורה הציקלית שנוצרת על ידי האיבר היא תת-חבורה של G שסדרה כסדר האיבר. לכן לפי משפט לגראנז' סדר זה מחלק את הסדר של G.