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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

בתורת החבורות, חבורה נילפוטנטית היא חבורה שבה כל הקומוטטורים ממשקל קבוע כלשהו הם טריוויאליים, כלומר, חבורה שבה מתקיימת הזהות \ [a_1,a_2,\dots,a_k]=1 עבור k כלשהו. לדוגמה, כל חבורה אבלית היא נילפוטנטית, ובמובנים רבים, חבורות נילפוטנטיות הן "כמעט" אבליות.

כל החבורות הנילפוטנטיות הן פתירות. החבורה הקטנה ביותר שאינה נילפוטנטית היא החבורה הסימטרית \ S_3, חבורה פתירה בת ששה אברים.

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

הגדרה[עריכת קוד מקור | עריכה]

בכל חבורה G, אפשר להגדיר את הסדרה המרכזית היורדת על-פי הכלל \ G_{k+1}=[G_k,G], כאשר \ G_1=G; כלומר, \ G_{k+1} היא תת-החבורה של G, הנוצרת על ידי הקומוטטורים \ [a_1,a_2,\dots,a_k]. על-פי כתיב זה, חבורה אבלית היא כזו שבה \ G_2=1. כהכללה של אותו רעיון, חבורה נילפוטנטית ממחלקה k היא חבורה שבה \ G_{k+1}=1.

לדוגמה, חבורה נילפוטנטית ממחלקה 1 אינה אלא חבורה אבלית, בעוד שחבורה נילפוטנטית ממחלקה 3 היא כזו שבה \ [[[a_1,a_2],a_3],a_4]=1 לכל ארבעה איברים \ a_1,\dots,a_4. תכונות יסוד של קומוטטורים מראות שבחבורה כזו מתקיים גם \ [[a_1,a_2],[a_3,a_4]]=1. באופן כללי יותר, אם כל הקומוטטורים מן הצורה \ [a_1,a_2,\dots,a_k] שווים לאיבר הנייטרלי, אז כל הקומוטטורים מאותו משקל (אלו המתקבלים מחישוב קומוטטור k פעמים, בסדר כלשהו), שווים לאיבר הנייטרלי.

כאשר G נילפוטנטית ממחלקה k, אפשר להציג אותה כהרחבה \ 1 \rightarrow G_{k}\rightarrow G \rightarrow G/G_k \rightarrow 1, שבה המנה \ G/G_k נילפוטנטית ממחלקה k-1, ותת-החבורה \ G_k מוכלת במרכז (שהרי \ [G_k,G]=G_{k+1}=1). הרחבה שבה הגרעין מרכזי קרויה הרחבה מרכזית: בעוד שהרחבה של חבורה פתירה בחבורה פתירה נותנת חבורה פתירה, ההרחבה של חבורה נילפוטנטית בחבורה נילפוטנטית אינה בהכרח נילפוטנטית - אלא אם ההרחבה מרכזית.

מבנה[עריכת קוד מקור | עריכה]

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

כל תת-חבורה מקסימלית של חבורה נילפוטנטית היא נורמלית.

זהויות אנגל[עריכת קוד מקור | עריכה]

אם G חבורה ו- x איבר שלה, אפשר להגדיר פונקציה \ f:G \rightarrow G על-פי הנוסחה \ f(y)=[x,y]=xyx^{-1}y^{-1}. הפעלה חוזרת של הפונקציה תחזיר קומוטטורים ממשקל גבוה יותר: \ f^{n}(y)=[x,x,\dots,x,y]. על-פי ההגדרה, בחבורה נילפוטנטית ממחלקה k, כל פונקציה מסוג זה מוכרחה 'להתאפס': \ f^k(y)=1 (מכאן השם Nil-potent). הזהות \ [x,x,\dots,x,y]=1 נקראת זהות אנגל.

משפט ידוע של מקס צורן קובע שגם ההפך נכון: אם קיים k שעבורו \ [x,x,\dots,x,y]=1 לכל x ו- y (כאשר x מופיע בביטוי k פעמים), אז כל קומוטטור ממשקל גדול מספיק יהיה מוכרח להתאפס (אפילו אם מופיעים בו איברים שונים); במלים אחרות, החבורה נילפוטנטית. ממשפט זה נובעת תוצאה חשובה: חבורה היא נילפוטנטית אם ורק אם כל תת-חבורה שלה, הנוצרת על ידי שני אברים, היא נילפוטנטית.

חבורות נילפוטנטיות אינסופיות[עריכת קוד מקור | עריכה]

בחבורה נילפוטנטית G, אוסף האברים מסדר סופי הוא תת-חבורה נורמלית \tau(G), השווה למכפלה ישרה (מוגבלת) של תת-חבורות סילו של G. המנה G/\tau(G) חסרת פיתול. חבורות נילפוטנטיות נוצרות סופית מקיימות את תנאי השרשרת העולה (כל שרשרת עולה של תת-חבורות מוכרחה לעצור). כל חבורת נילפוטנטית נוצרת סופית מקיימת את תכונת הופף.

נילפוטנטיות וגידול[עריכת קוד מקור | עריכה]

פונקציית הגידול של חבורה הנוצרת על ידי קבוצה סופית S הוא הפונקציה הסופרת, לכל n, כמה איברים של החבורה הם מכפלה של n אברים מן הקבוצה S. שתי פונקציות כאלה, f ו- g, נחשבות שקולות אם \ f(n)\leq C \cdot g(C' n) עבור קבועים מתאימים \ C ו- \ C', וכן להפך, כאשר f ו-g מתחלפות בתפקידים. פונקציית הגידול של חבורה תלוי אמנם בקבוצת היוצרים, אבל כל שתי פונקציות כאלה הן שקולות זו לזו, ומחלקת השקילות נקראת קצב הגידול של החבורה. בפרט, אם פונקציית גידול אחת של החבורה חסומה על ידי פולינום ממעלה d, אז קצב הגידול הוא פולינומי ממעלה d לכל היותר. לדוגמה, קצב הגידול של החבורה \ \mathbb{Z}^d הוא פולינומי ממעלה d. קצב הגידול אינו מושפע מן המעבר לתת-חבורה בעלת אינדקס סופי.

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

ראו גם[עריכת קוד מקור | עריכה]