חבורה אוניפוטנטית
במתמטיקה ובפרט בגאומטריה אלגברית חבורות אוניפוטנטיות מהוות משפחה חשובה של חבורות אלגבריות ליניאריות. דוגמה לחבורה אוניפוטנטית היא החבורה של מטריצות משולשיות עליונות שכל איברי האלכסון שלהן שווים ל-1. חבורה נקראת אוניפוטנטית אם ורק אם היא איזומורפית לתת חבורה אלגברית סגורה של .
חבורות אוניפוטנטיות סגורות לגבי תת-מנות והרחבות. אם המציין של שדה ההגדרה הוא -0, אז כל חבורה אוניפוטנטית היא קשירה ופשוטת קשר. החבורה איזומורפית לחבורה החיבורית של שדה ההגדרה . אפשר לראות בדוגמה זו את הדוגמה הפשוטה ביותר לחבורה אוניפוטנטית. במובן מסוים כל החבורות האוניפוטנטיות מורכבות ממנה. לכל חבורה אוניפוטנטית יש מרכז לא טריוויאלי. אם מרכז זה אינו סופי אז הוא מכיל תת-חבורה איזומרפית ל-. אם שדה ההגדרה סגור אלגברית וממציין - 0, אז מרכז זה הוא חזקה של החבורה . מכאן ניתן להסיק, שבמציין - 0, עבור חבורה אלגברית הדברים הבאים שקולים:
- אוניפוטנטית.
- ל - סדרה מרכזית שגורמיה הם .
- ל - סדרה נורמלית שגורמיה הם .
אם מציין שדה ההגדרה הוא מספר אז חבורת רכיבי הקשירות של חבורה אוניפוטנטית היא חבורת p. כמו כן ניתן להראות כי אם שדה ההגדרה סגור אלגברית וממציין , אז עבור חבורה אלגברית הדברים הבאים שקולים:
- אוניפוטנטית.
- ל - סדרה מרכזית שגורמיה הם והחבורה הציקלית בעלת איברים .
- ל - סדרה נורמלית שגורמיה הם ו - .
לחבורת אוניפוטנטיות תפקיד חשוב בתורת המיון והמבנה של חבורות אלגבריות ליניאריות. כל חבורה אלגברית ליניארית היא הרחבה של חבורה רדוקטיבית וחבורה אוניפוטנטית. אם מציין שדה ההגדרה הוא 0 אז ההרחב הזאת היא מכפלה חצי ישרה.
לקריאה נוספת
עריכה- Springer, Tonny A. (1998) [1981], Linear Algebraic Groups (2nd ed.), New York: Birkhäuser, ISBN 0-8176-4021-5, MR 1642713
- Borel, Armand (1991) [1969], Linear Algebraic Groups (2nd ed.), New York: Springer-Verlag, ISBN 0-387-97370-2, MR 1102012
- Humphreys, James E. (1975), Linear Algebraic Groups, Springer, ISBN 0-387-90108-6, MR 0396773
קישורים חיצוניים
עריכה- De Medts, Tom (2019), Linear Algebraic Groups (course notes) (PDF), Ghent University
הערות שוליים
עריכה- ^ כאן אנו מתייחסים למוסכמה המרחיבה, לפיה אין דרישה שהחבורה תהיה קשירה. עם זאת אנו דורשים שהחבורה תהיה קומוטטיבית, דרישה זו נובעת מהפרויקיטיביות/שלמות עבור חבורות קשירות, אך לא במקרה הכללי.
- ^ 1 2 3 כאן אנו מתייחסים למוסכמה המרחיבה, לפיה אין דרישה שהחבורה תהיה קשירה.
- ^ למושג "חבורה קלאסית" יש מספר משמעויות מקובלות. כל המשפחות שמופעות בדיאגרמה כאן תחת "חבורה קלאסית" נחשבות לכאלה על פי כל המשמעוית המוקובלות
- ^ כאן אנו מתייחסים למוסכמה המרחיבה, לפיה אין דרישה שהחבורה תהיה קשירה. עם זאת, מעל שדה ממציין 0, חבורה אוניפוטנטית היא תמיד קשירה (ופשוטת קשר), גם אם לא דרשים זאת בהגדרה.
- ^ לעיתים מושג זה נקרא "חבורה פשוטה".
- ^ כאן אנו משתמשים במוסכמה המצמצמת, שדורשת מחבורה פשוטה להיות חסרת מרכז. המושג ללא דרישה זו נקרא כאן "חבורה כמעט פשוטה".