חבורה אלגברית ליניארית

במתמטיקה, ובפרט בתורת החבורות האלגבריות, חבורה אלגברית ליניארית היא תת חבורה אלגברית סגורה של החבורה הליניארית הכללית$GL_{n}$. חלק גדול מתורת החבורות האלגבריות מוקדש לעיסוק בחבורות אלגבריות ליניאריות. בפרט רוב תורת ההצגות של חבורות אלגבריות מתמקדת בחבורות אלגבריות ליניאריות. דוגמאות רבות של ירעות אלגבריות מבוססות על חבורות אלגבריות ליניאריות. כמו כן בניות רבות של חבורות, חבורות טופולוגיות וחבורות לי מבוססות על חבורות אלגבריות ליניאריות.

הגדרות

הגדרה אלמנטרית

ניתן להגדיר חבורה אלגברית ליניארית באופן יחסית אלמנטרי (לא דורש את מושג היריעה האלגברית והחבורה האלגברית באופן כללי) כדלקמן: יהי $k$ שדה סגור אלגברית למשל שדה המספרים המרוכבים. תת-קבוצה $G$ של מרחב המטריצות $n\times n$ מעל $k$ נקראת חבורה אלגברית ליניארית אם מתקיים

• היא מכילה את מטריצת היחידה
• היא חבורה ביחס לכפל מטריצות
• קיימים פולינומים $p_{1},\dots ,p_{k}$ ב-הפענוח נכשל (שגיאת המרה. השרת ("https://wikimedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle n^{2}} משתנים, כך שאם אנו חושבים על המשתנים שלהם בתור מקדמי מטריצה $n\times n$ אז אוסף הפתרונות של מערכת המשוואות $p_{i}(a_{11},\dots ,a_{nn})=0$ שמהווים מטריצות הפיכות הוא $G$.

החיסרון של הגדרה זאת הוא שהיא דורשת שיכון ספציפי של החבורה במרחב המטריצות.

הגדרה אבסטרקטית

ניתן להגדיר את המושג חבורה אלגברית ליניארית באופן אבסטרקטי כמקרה פרטי של חבורה אלגברית. יהי $k$ שדה. אוסף המטריצות ההפיכות $n\times n$ מעל $k$ הוא תת-קבוצה של מרחב המטריצות $n\times n$ המהווה מרחב ליניארי מממד $n^{2}$. תת-קבוצה זאת היא קבוצה פתוחה בטופולוגיית זריצקי. מכאן שיש על קבוצה זאת מבנה טבעי של יריעה אלגברית. כפל מטריצות מגדיר מבנה של חבורה אלגברית על יריעה זאת. חבורה זאת נקראת החבורה הליניארית הכללית $GL_{n}$ מעל השדה $k$. חבורה אלגברית ליניארית היא חבורה אלגברית שאיזומורפית לתת חבורה סגורה של $GL_{n}$, ז"א תת יריעה סגורה של $GL_{n}$ שמהווה תת-חבורה.

חבורות אלגבריות אפיניות

חבורה אלגברית אפינית היא חבורה אלגברית שבתור יריעה אלגברית מהווה יריעה אלגברית אפינית. קל לראות שכל חבורה אלגברית ליניארית היא אפינית. למעשה ההפך גם נכון: משפט: אם $G$ חבורה אלגברית אז היא לינארית אמ"ם היא אפינית.

לטענה זאת יש הכללות עבור סכמות חבורה אולם המצב שם מסובך יותר.

תכונות

חבורות אלגבריות לינאריות סגורות לגבי תת-מנות והרחבות. זאת אומרת:

1. אם $G$ חבורה אלגברית ליניארית ו-$H$ תת-חבורה (סגורה זריצקי) שלה אז גם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle H} חבורה אלגברית ליניארית.
2. אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} חבורה אלגברית ליניארית ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N} תת-חבורה נורמלית (סגורה זריצקי) שלה אז גם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle G/N} חבורה אלגברית ליניארית.
3. אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} חבורה אלגברית ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N} תת-חבורה נורמלית (סגורה זריצקי) שלה כך ש- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N} ו- $G/N$ חבורות אלגבריות לינאריות, אז גם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} חבורה אלגברית ליניארית.

סוגים של חבורות אלגבריות ליניאריות

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

משפחה חשובה של חבורות אלגבריות ליניאריות היא חבורות יוניפוטנטיות. דוגמה לחבורה יוניפוטנטית היא החבורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle U_n} של מטריצות משולשיות עליונות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n\times n} שכל איברי האלכסון שלהן שווים ל-1. חבורה נקראת יוניפוטנטית אם היא איזומורפית לתת חבורה אלגברית סגורה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle U_n} .

חבורות יוניפוטנטיות סגורות לגבי תת-מנות והרחבות. אם המציין של שדה ההגדרה הוא -0, אז כל חבורה יניפוטנטית היא קשירה. החבורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle U_1} איזומורפית לחבורה החיבורית של שדה ההגדרה. אפשר לראות בדוגמה זאת את הדוגמה הפשוטה ביותר לחבורה יוניפוטנטית. במובן מסוים כל החבורות היוניפוטנטיות מורכבות ממנה. לכל חבורה יוניפוטנטית יש מרכז לא טריביאלי. אם המציין של שדה ההגדרה הוא -0, אז מרכז זה מכיל תת חבורה איזומרפית ל-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle U_1} .

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

• מידע מורחב

הערות שוליים

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

37938720חבורה אלגברית ליניארית