במתמטיקה, וביפרט בתורת החבורות האלגבריות, **חבורה אלגברית ליניארית** היא תת חבורה אלגברית סגורה של החבורה הליניארית הכללית{\displaystyle GL\_{n}}. חלק גדול מתורת החבורת האלגבריות מוקדש לעיסוק בחבורות אלגבריות ליניאריות. ביפרט רוב תורת ההצגות של חבורת אלגבריות מתמקדת בחבורות אלגבריות ליניאריות. דוגמאות רבות של ירעות אלגבריות מבוססות על חבורות אלגבריות ליניאריות. כמו כן בניות רבות של חבורות, חבורות טופולוגיות וחבורות לי מבוססות על חבורות אלגבריות ליניאריות.

הגדרות
------

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

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

* היא מכילה את מטריצת היחידה
* היא חבורה ביחס לכפל מטריצות
* כימים פולינומים {\displaystyle p\_{1},\dots ,p\_{k}} ב-n^{2} משתנים, כך שאם אנו חושבים על המשתנים שלהם בתור מקדמי מטריצה {\displaystyle n\times n} אז אוסף הפתרונות של מערכת המשוואות {\displaystyle p\_{i}(a\_{11},\dots ,a\_{nn})=0} שמהבים מטריצות הפיכות הוא G.

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

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

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

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

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

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

### תכונות

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

1. אם G חבורה אלגברית ליניארית ו-H תת-חבורה (סגורה זריצקי) שלה אז גם H חבורה אלגברית ליניארית.
2. אם G חבורה אלגברית ליניארית ו-N תת-חבורה נורמלית (סגורה זריצקי) שלה אז גם {\displaystyle G/N} חבורה אלגברית ליניארית.
3. אם G חבורה אלגברית ו-N תת-חבורה נורמלית (סגורה זריצקי) שלה כך ש- N ו- {\displaystyle G/N} בורת אלגבריות לינאריות, אז גם G חבורה אלגברית ליניארית.

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

**פסקה זו נמצאת בשלבי עבודה:** כדי למנוע התנגשויות עריכה ועבודה כפולה, אתם מתבקשים שלא לערוך פסקה זו בטרם תוסר ההודעה הזו. אם הפסקה לא נערכה במשך שבוע ניתן להסיר את התבנית ולערוך את הפסקה, אך לפני כן רצוי להזכיר את התבנית למשתמש שהניח אותה, באמצעות הודעה בדף שיחת המשתמש.

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

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

חבורת יוניפוטנטיותט סגורות לגבי תת-מנות והרחבות. אם המציין של שדה ההגדרה הוא -0, אז כל חבורה יניפוטנטית היא קשירה. 
החבורה U\_1 איזומורפית לחבורה החיבורית של שדה ההגדרה. אפשר ליראת בדוגמה זאת הדוגמה הפשוטה ביותר לחבורה יוניפוטנטית. במובן מסוים כל החבורות היוניפוטנטיות מורכבות ממנה. לכל חבורה יוניפוטנטית יש מרכז לא טריביאלי. אם המציין של שדה ההגדרה הוא -0, אז מרכז זה מכיל תת חבורה איזומרפית ל-U\_1.

### חבורות רדוקטיביות

### טורוסים

### חבורות פשוטות למחצה

### מבנה כללי

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

* מידע מורחב

הערות שוליים
------------

1. ↑  למעשה, יריעה זאת איזומורפית באופן טבעי לתת-קבוצה סגורה זריסקי במרחב מממד {\displaystyle n^{2}+1} - דהינו מרחב כל הזוגות של מטריצה וסקלר כך שמכפלת דתרמינטת המטריצה והסקלר שווה ל- 1. מכאן שזאת יריעה אפינית

|  |  |
| --- | --- |
| בקרת זהויות עריכת הנתון בוויקינתונים | 
* NKC: ph412857

 |