חבורה מושלמת

בתורת החבורות, חבורה מושלמת היא חבורה <math>G</math> השווה לתת-חבורת הקומוטטורים של עצמה, כלומר, <math>G'=G</math>. במילים אחרות, אלו הן החבורות שאין להן אף מנה אבלית לא טריוויאלית. לדוגמה, כל חבורה פשוטה לא אבלית היא מושלמת. מאידך, יש חבורות מושלמות שאינן פשוטות, כמו <math>\operatorname{SL}_2(\mathbb{F}_5)</math>.

כל מנה של חבורה מושלמת היא מושלמת.

הקשר להרחבות אוניברסליות עריכה

הרחבה מרכזית של חבורה <math>G</math> היא חבורה <math>\hat{G}</math> עם אפימורפיזם <math>\hat{G}\rightarrow G</math> שהגרעין שלו מוכל במרכז של <math>\hat{G}</math>. הרחבה מהצורה <math>\hat{G} = G \times A</math> (עם ההטלה על הרכיב הראשון), כאשר <math>A</math> אבלית, היא טריוויאלית. הרחבה מרכזית <math>U \rightarrow G</math> היא אוניברסלית אם היא מתפצלת דרך כל הרחבה מרכזית אחרת באופן יחיד, כלומר: לכל הרחבה מרכזית <math>\hat{G} \rightarrow G</math> יש הומומורפיזם <math>U \rightarrow \hat{G}</math> ההופך את הדיאגרמה המתאימה לקומוטטיבית; במובן מסוים, הרחבה אוניברסלית היא הרחבה גדולה ביותר, למעט תוספות טריוויאליות שכביכול אינן רלוונטיות (את ההרחבות המרכזיות האוניברסליות התחיל ללמוד ישי שור ב-1904).

מתברר שלחבורה יש הרחבה מרכזית אוניברסלית אם ורק אם היא מושלמת. יתרה מזו, הרחבה מרכזית <math>U</math> של <math>G</math> היא אוניברסלית אם ורק אם <math>U</math> מושלמת בעצמה, ואין לה הרחבות מרכזיות לא טריוויאליות.

את ההרחבה המרכזית האוניברסלית של חבורה מושלמת אפשר לחשב באופן ישיר, מן ההצגה שלה באמצעות יוצרים ויחסים: אם <math>G = F/R</math> כאשר <math>F</math> חבורה חופשית ו-<math>R</math> חבורת היחסים, אז ההרחבה המרכזית האוניברסלית היא <math>[F,F]/[F,R]</math> (ההטלה <math>[F,F]/[F,R]\rightarrow F/R</math> היא על משום ש-<math>F'R=F</math>, שהרי <math>\,F/R</math> מושלמת). הגרעין של ההטלה הזו הוא <math>(R\cap [F,F])/[R,F]</math> - כופל שור של <math>G</math>. הכופל אינו תלוי בהצגה, משום שהוא איזומורפי לחבורת ההומולוגיה השנייה <math>\operatorname{H}_2(G,\mathbb{Z})</math>.

בין הדוגמאות החשובות לבניה הזו נמצא הפונקטור <math>K_2</math>: לכל חוג <math>R</math>, חבורת המטריצות האלמנטריות <math>E(R)</math> היא מושלמת, וההרחבה האוניברסלית שלה היא חבורת סטיינברג של החוג, <math>\operatorname{St}(R)</math>. הגרעין של ההטלה מן החבורה השנייה אל הראשונה הוא <math>\operatorname{K}_2(R)</math>.

קישורים חיצוניים עריכה

חבורה מושלמת, באתר MathWorld (באנגלית)

עץ מיון של חבורות סופיות

חבורה דיהדרלית - <math>D_n</math>

חבורה נילפוטנטית

חבורה פשוטה למחצה

החבורה הליניארית הכללית מעל שדה סופי - <math>GL_n(\mathbb F_q)</math>

החבורה הסימטרית - <math>S_n</math>

חבורה אבלית אלמנטרית - <math>(C_p)^n</math>

חבורה ציקלית- <math>C_n</math>

החבורה הסימטרית - <math>S_n;n\geq 5</math>

חבורה פשוטה לא אבלית

החבורה הליניארית הפרויקטיבית מעל שדה סופי <math>PGL_n(\mathbb F_q)</math>
<math>n+q\geq 5</math>

החבורה הליניארית המיוחדת מעל שדה סופי - <math>SL_n(\mathbb F_q)</math>
<math>n+q\geq 5</math>

חבורה ציקלית מסדר ראשוני - <math>C_p</math>

חבורת התמורות הזוגיות - <math>A_n;n\geq 5</math>

חבורה ספורדית

חבורה פשוטה סופית מטיפוס לי

מקרא

	מחלקה של חבורות סופיות או חבורה סופית בודדות; שם התואר "סופית" מושמט בדרך כלל.
	משפחה החשובות בתורת החבורות הסופיות.
<math>\cup</math>	מחלקה שמכוסה על ידי תתי-המחלקות שלה המופיעות בתרשים.
<math>\cap</math>	מחלקה המהווה חיתוך של המחלקות שמכילות אותה ומופיעות בתרשים.
	מסלול שיורד למטה מצביע על כך שהמחלקה התחתונה היא חלק מהמחלקה העליונה

	קבוצה סופית של חבורות
	סדרה של חבורות סופיות
	סדרה דו פרמטרית של חבורות סופיות
	משפחה רחבה יותר של חבורת סופיות בעלת תיאור שימושי ומפורש
	משפחה של חבורת סופיות ללא תיאור שימושי ומפורש