חבורת התמורות הזוגיות – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
שורה 14:
 
חבורת התמורות הזוגיות <math>\ A_4</math> אינה פשוטה: יש לה [[סדרת הרכב|סדרת ההרכב]]
: <math>\ \{1\} \leq \ <\langle(12)(34)>\rangle \ \leq \ <\langle(12)(34),(14)(23)>\rangle \ \leq A_4</math>.
חבורה זו מספקת את הדוגמה הנגדית הקטנה ביותר לכיוון ההפוך של [[משפט לגראנז' (תורת החבורות)|משפט לגראנז']]: אין לה תת חבורה מסדר 6.
 
שורה 20:
 
לתאור גאומטרי זה של החבורות יש קשר הדוק ל[[הצגה לפי יוצרים ויחסים|הצגה]] שלהן לפי יוצרים ויחסים:
* <math>\ A_4 = <\langle x,y | x^2=y^3=(xy)^3>\rangle</math>
* <math>\ S_4 = <\langle x,y | x^2=y^3=(xy)^4>\rangle</math>
* <math>\ A_5 = <\langle x,y | x^2=y^3=(xy)^5> \rangle</math>
להשלמת התמונה, יש לציין כי החבורה <math>\ <\langle x,y | x^2=y^3=(xy)^6> \rangle </math> אינסופית ו[[גרף קיילי]] שלה קשור בריצוף המישור באמצעות משולשים ותריסריונים [[מצולע משוכלל|משוכללים]].
 
בכמה מקרים אפשר להציג חבורה של תמורות זוגיות גם כ[[חבורת מטריצות|חבורה של מטריצות]] מעל שדה סופי:
שורה 30:
<ref>
J. Rotman, An Introduction to the Theory of Groups, Thm. 8.24.
</ref>.
 
 
== הערות שוליים ==