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

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

הגדרות

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

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

• היא מכילה את מטריצת היחידה
• היא חבורה ביחס לכפל מטריצות
• קיימים פולינומים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle p_1,\dots,p_k} ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n^2} משתנים, כך שאם אנו חושבים על המשתנים שלהם בתור מקדמי מטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n\times n} אז אוסף הפתרונות של מערכת המשוואות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle p_i(a_{11},\dots, a_{nn})=0} שמהווים מטריצות הפיכות הוא הפענוח נכשל (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 k} שדה. אוסף המטריצות ההפיכות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n \times n} מעל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle k} הוא תת-קבוצה של מרחב המטריצות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n \times n} המהווה מרחב ליניארי מממד הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n^2} . תת-קבוצה זאת היא קבוצה פתוחה בטופולוגיית זריצקי. מכאן שיש על קבוצה זאת מבנה טבעי של יריעה אלגברית. כפל מטריצות מגדיר מבנה של חבורה אלגברית על יריעה זאת. חבורה זאת נקראת החבורה הליניארית הכללית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle GL_n} מעל השדה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle k} . חבורה אלגברית ליניארית היא חבורה אלגברית שאיזומורפית לתת חבורה סגורה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle GL_n} , ז"א תת יריעה סגורה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle GL_n} שמהווה תת-חבורה.

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

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

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

תכונות

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

1. אם הפענוח נכשל (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 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} ו- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle G/N} חבורות אלגבריות לינאריות, אז גם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} חבורה אלגברית ליניארית.

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

קובץ:Gnome-colors-emblem-development-2.svg פסקה זו נמצאת בשלבי עבודה: כדי למנוע התנגשויות עריכה ועבודה כפולה, אתם מתבקשים שלא לערוך פסקה זו בטרם תוסר ההודעה הזו. אם הפסקה לא נערכה במשך שבוע ניתן להסיר את התבנית ולערוך את הפסקה, אך לפני כן רצוי להזכיר את התבנית למשתמש שהניח אותה, באמצעות הודעה בדף שיחת המשתמש.

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

משפחה חשובה של חבורות אלגבריות ליניאריות היא חבורות יוניפוטנטיות. דוגמה לחבורה יוניפוטנטית היא החבורה הפענוח נכשל (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חבורה אלגברית ליניארית