חבורה נילפוטנטית
בתורת החבורות, חבורה נילפוטנטית היא חבורה שבה כל הקומוטטורים ממשקל קבוע כלשהו הם טריוויאליים, כלומר, חבורה שבה מתקיימת הזהות עבור כלשהו. לדוגמה, כל חבורה אבלית היא נילפוטנטית, ובמובנים רבים, חבורות נילפוטנטיות הן "כמעט" אבליות.
כל החבורות הנילפוטנטיות הן פתירות. החבורה הקטנה ביותר שאינה נילפוטנטית היא החבורה הסימטרית , חבורה פתירה בת שישה איברים. חבורה פתירה מאקספוננט ראשוני היא נילפוטנטית (Tobin, 1956).
בין החבורות הסופיות, החבורות הנילפוטנטיות הן אלו השוות למכפלה ישרה פנימית של חבורות סילו השונות. בפרט, חבורות p (כדוגמת החבורה הדיהדרלית מסדר 8 או חבורת הקווטרניונים) הן נילפוטנטיות. כל תת חבורה וכל חבורת מנה של חבורה נילפוטנטית, גם הן נילפוטנטיות.
הגדרה
[עריכת קוד מקור | עריכה]בכל חבורה , אפשר להגדיר את הסדרה המרכזית היורדת על-פי הכלל , כאשר ; כלומר, היא תת-החבורה של , הנוצרת על ידי הקומוטטורים . על-פי כתיב זה, חבורה אבלית היא כזו שבה . כהכללה של אותו רעיון, חבורה נילפוטנטית ממחלקה היא חבורה שבה .
לדוגמה, חבורה נילפוטנטית ממחלקה 1 אינה אלא חבורה אבלית, בעוד שחבורה נילפוטנטית ממחלקה 3 היא כזו שבה לכל ארבעה איברים . תכונות יסוד של קומוטטורים מראות שבחבורה כזו מתקיים גם . באופן כללי יותר, אם כל הקומוטטורים מן הצורה שווים לאיבר הנייטרלי, אז כל הקומוטטורים מאותו משקל (אלו המתקבלים מחישוב קומוטטור פעמים, בסדר כלשהו), שווים לאיבר הנייטרלי.
כאשר נילפוטנטית ממחלקה , אפשר להציג אותה כהרחבה , שבה המנה נילפוטנטית ממחלקה , ותת-החבורה מוכלת במרכז (שהרי ). הרחבה שבה הגרעין מרכזי קרויה הרחבה מרכזית: בעוד שהרחבה של חבורה פתירה בחבורה פתירה נותנת חבורה פתירה, ההרחבה של חבורה נילפוטנטית בחבורה נילפוטנטית אינה בהכרח נילפוטנטית - אלא אם ההרחבה מרכזית.
מבנה
[עריכת קוד מקור | עריכה]מחלקת החבורות הנילפוטנטיות היא האוסף הקטן ביותר של חבורות, הכולל את החבורה הציקלית האינסופית, וסגור תחת הפעולות של מעבר לתת-חבורה או לחבורת מנה, ותחת הרחבות מרכזיות.
כל תת-חבורה מקסימלית של חבורה נילפוטנטית היא נורמלית.
זהויות
[עריכת קוד מקור | עריכה]אם חבורה ו- איבר שלה, אפשר להגדיר פונקציה על-פי הנוסחה . הפעלה חוזרת של הפונקציה תחזיר קומוטטורים ממשקל גבוה יותר: . על-פי ההגדרה, בחבורה נילפוטנטית ממחלקה , כל פונקציה מסוג זה מוכרחה 'להתאפס': (מכאן השם Nil-potent). הזהות נקראת זהות אנגל.
משפט ידוע של מקס צורן קובע שעבור חבורות סופיות גם ההפך נכון: אם קיים שעבורו לכל ו- (כאשר מופיע בביטוי פעמים), אז כל קומוטטור ממשקל גדול מספיק יהיה מוכרח להתאפס (אפילו אם מופיעים בו איברים שונים); במילים אחרות, החבורה נילפוטנטית. ממשפט זה נובעת תוצאה חשובה: חבורה סופית היא נילפוטנטית אם ורק אם כל תת-חבורה שלה, הנוצרת על ידי שני איברים, היא נילפוטנטית.
מלצב (1953) הראה שיש זהות של חבורות למחצה, המתארת חבורות נילפוטנטיות מדרגה [1]; זאת על אף שהזהות המגדירה נילפוטנטיות כרוכה בהיפוך של איברים, ואינה זהות של חבורות למחצה. כך, למשל, חבורה נילפוטנטית ממחלקה 2 מקיימת את הזהות .
חבורות נילפוטנטיות אינסופיות
[עריכת קוד מקור | עריכה]בחבורה נילפוטנטית , אוסף האיברים מסדר סופי הוא תת-חבורה נורמלית , השווה למכפלה ישרה (מוגבלת) של תת-חבורות סילו של . המנה חסרת פיתול. חבורות נילפוטנטיות נוצרות סופית מקיימות את תנאי השרשרת העולה (כל שרשרת עולה של תת-חבורות מוכרחה לעצור). כל חבורת נילפוטנטית נוצרת סופית מקיימת את תכונת הופף. חבורת הייזנברג היא דוגמה לחבורה נילפוטנטית אינסופית (ובמובן מסוים היא החבורה הנילפוטנטית האינסופית, שאינה אבלית למעשה, הקטנה ביותר).
נילפוטנטיות וגידול
[עריכת קוד מקור | עריכה]פונקציית הגידול של חבורה הנוצרת על ידי קבוצה סופית הוא הפונקציה הסופרת, לכל , כמה איברים של החבורה הם מכפלה של איברים מן הקבוצה . שתי פונקציות כאלה, ו-, נחשבות שקולות אם עבור קבועים מתאימים ו-, וכן להפך, כאשר ו- מתחלפות בתפקידים. פונקציית הגידול של חבורה תלוי אמנם בקבוצת היוצרים, אבל כל שתי פונקציות כאלה הן שקולות זו לזו, ומחלקת השקילות נקראת הגידול של החבורה. בפרט, אם פונקציית גידול אחת של החבורה חסומה על ידי פולינום ממעלה , אז קצב הגידול הוא פולינומי ממעלה לכל היותר. לדוגמה, קצב הגידול של החבורה הוא פולינומי ממעלה . קצב הגידול אינו מושפע מן המעבר לתת-חבורה בעלת אינדקס סופי.
לכל חבורה נילפוטנטית (ולכן גם לכל חבורה המכילה תת-חבורה נילפוטנטית מאינדקס סופי) קצב גידול פולינומי. משפט מרכזי שהוכיח מיכאיל גרומוב ב-1981 קובע כי גם הכיוון ההפוך נכון: כל חבורה בעלת קצב גידול פולינומי מכילה תת-חבורה נילפוטנטית מאינדקס סופי.
ראו גם
[עריכת קוד מקור | עריכה]
קישורים חיצוניים
[עריכת קוד מקור | עריכה]- חבורה נילפוטנטית, באתר MathWorld (באנגלית)
הערות שוליים
[עריכת קוד מקור | עריכה]- ^ D. M. RILEY AND MARK C. WILSON, ASSOCIATIVE ALGEBRAS SATISFYING A SEMIGROUP IDENTITY