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

במתמטיקה ובפרט בגאומטריה אלגברית חבורות אוניפוטנטיות מהוות משפחה חשובה של חבורות אלגבריות ליניאריות. דוגמה לחבורה אוניפוטנטית היא החבורה $U_n$ של מטריצות משולשיות עליונות $n\times n$ שכל איברי האלכסון שלהן שווים ל-1. חבורה נקראת אוניפוטנטית אם ורק אם היא איזומורפית לתת חבורה אלגברית סגורה של $U_n$.

חבורות אוניפוטנטיות סגורות לגבי תת-מנות והרחבות. אם המציין של שדה ההגדרה הוא -0, אז כל חבורה אוניפוטנטית היא קשירה ופשוטת קשר. החבורה $U_1$ איזומורפית לחבורה החיבורית של שדה ההגדרה ${𝔾}_a$. אפשר לראות בדוגמה זו את הדוגמה הפשוטה ביותר לחבורה אוניפוטנטית. במובן מסוים כל החבורות האוניפוטנטיות מורכבות ממנה. לכל חבורה אוניפוטנטית יש מרכז לא טריוויאלי. אם מרכז זה אינו סופי אז הוא מכיל תת-חבורה איזומרפית ל-${𝔾}_a$. אם שדה ההגדרה סגור אלגברית וממציין - 0, אז מרכז זה הוא חזקה של החבורה ${𝔾}_a$. מכאן ניתן להסיק, שבמציין - 0, עבור חבורה אלגברית $G$ הדברים הבאים שקולים:

• $G$ אוניפוטנטית.
• ל - $G$ סדרה מרכזית שגורמיה הם ${𝔾}_a$.
• ל - $G$ סדרה נורמלית שגורמיה הם ${𝔾}_a$.

אם מציין שדה ההגדרה הוא מספר $p\ne 0$ אז חבורת רכיבי הקשירות של חבורה אוניפוטנטית היא חבורת p. כמו כן ניתן להראות כי אם שדה ההגדרה סגור אלגברית וממציין $p$, אז עבור חבורה אלגברית $G$ הדברים הבאים שקולים:

• $G$ אוניפוטנטית.
• ל - $G$ סדרה מרכזית שגורמיה הם ${𝔾}_a$ והחבורה הציקלית בעלת $p$ איברים $C_p$.
• ל - $G$ סדרה נורמלית שגורמיה הם ${𝔾}_a$ ו - $C_p$.

לחבורת אוניפוטנטיות תפקיד חשוב בתורת המיון והמבנה של חבורות אלגבריות ליניאריות. כל חבורה אלגברית ליניארית היא הרחבה של חבורה רדוקטיבית וחבורה אוניפוטנטית. אם מציין שדה ההגדרה הוא 0 אז ההרחב הזאת היא מכפלה חצי ישרה. תבנית:עץ מיון של חבורות אלגבריות

לקריאה נוספת

• תבנית:Citation
• תבנית:Citation
• תבנית:Citation

קישורים חיצוניים

• תבנית:Citation