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

תוכן שנמחק תוכן שנוסף
Felagund-bot (שיחה | תרומות)
מ בוט - מחליף דוגמא בדוגמה
אין תקציר עריכה
שורה 5:
[[מיון של חבורות פשוטות סופיות|המיון של החבורות הפשוטות הסופיות]] הושלם ב-[[1982]] לאחר מאמצים משותפים של [[מתמטיקאים]] רבים.
==דוגמאות==
*הדוגמההדוגמא היחידה ל[[חבורה אבלית]] פשוטה היא [[חבורה ציקלית|החבורה הציקלית]] [[סדר של חבורה|מסדר]] ראשוני.
*ב[[החבורה הסימטרית|חבורת הסימטריה]] <math>\ S_n</math> אם <math>\ n<5</math> אז <math>\ S_n</math> [[חבורה פתירה]] ואינה פשוטה.
 
לדוגמהלדוגמא עבור <math>\ n=4</math> קיימת [[סדרה נורמלית וסדרת הרכב|הסדרה הנורמלית]] <math>\ S_4\triangleright A_4\triangleright V_4\triangleright \{e,(1\ 2)(3\ 4)\}\triangleright \{e\}</math> כאשר <math>\ A_4</math> [[חבורת התמורות הזוגיות]] מסדר 4 ו-<math>\ V_4</math> [[חבורת קליין]].
 
עבור <math>\ n\ge 5</math>, <math>\ A_n</math> פשוטה.
שורה 14:
לפי [[משפט פייט-תומפסון]], כל חבורה מסדר אי זוגי היא פתירה. משפט זה נחשב לצעד המשמעותי הראשון בהוכחת משפט ה[[מיון החבורות הפשוטות|מיון של החבורות הפשוטות]].
 
== מושגים קרובים ==
[[קטגוריה: תורת החבורות]]
 
עם חבורת המנה <math>\ G/Z(G)</math> פשוטה, אז החבורה G היא '''כמעט פשוטה''' (almost simple). [[חבורת מטריצות|חבורת המטריצות]] <math>\ SL_n(F)</math> היא דוגמא לחבורה כזו (פרט למקרה <math>\ n=2</math> ו- <math>\ |F|\leq 3</math>).
[[en:Simple group]]
 
[[ko:단순군]]
[[קטגוריה: תורת החבורות]]
[[en:Simplesimple group]]