|
ב[[תורת החבורות]], '''החבורה הלינאריתהליניארית הכללית''' ממעלה <math>\ n</math> מעל ה[[שדה (מבנה אלגברי)|שדה]] <math>\ F</math>, היא אוסף ה[[מטריצה הפיכה|מטריצות ההפיכות]] בעלות <math>\ n</math> שורות ועמודות שאיבריהן שייכים לשדה <math>\ F</math>, ביחס ל[[כפל מטריצות|פעולת הכפל]] של מטריצות. זוהי [[חבורה (מבנה אלגברי)|חבורה]] שהאיבר הנייטרלי שלה הוא [[מטריצת היחידה]]. זוהי אחת מהחבורות הבסיסיות הנחקרות בתורת החבורות. [[תת חבורה]] של החבורה הלינאריתהליניארית הכללית נקראת '''חבורה לינאריתליניארית''' או בפשטות [[חבורת מטריצות]]. [[שיכון (מתמטיקה)|שיכון]] של חבורה מסוימת בתוך החבורה הלינאריתהליניארית הכללית נקרא [[הצגה לינאריתליניארית]] של החבורה.
את החבורה הלינאריתהליניארית הכללית ניתן להגדיר באופן שקול כאוסף [[העתקה לינאריתליניארית|ההעתקות הלינאריותהליניאריות]] ההפיכות מעל [[מרחב וקטורי]] <math>\ V</math> מ[[ממד (אלגברה לינאריתליניארית)|ממד]] <math>\ n</math> מעל השדה <math>\ F</math> היות שכל המרחבים הווקטוריים בעלי ממד סופי שווה הם איזומורפיים, ברור שמבנה החבורה אינו תלוי במרחב הווקטורי שלפיו היא הוגדרה. למעשה, באופן הזה מגדירים את החבורה הלינאריתהליניארית הכללית כ[[חבורת אוטומורפיזמים|חבורת האוטומורפיזמים]] של <math>\ V</math> ב[[קטגוריה (מתמטיקה)|קטגוריה]] של מרחבים וקטוריים. כאשר משתמשים בהגדרה הראשונה מסמנים את החבורה בדרך כלל <math>\ \mathbf{GL}_n (F)</math> או <math>\ \mathbf{GL}(n,F)</math>, וכאשר משתמשים בהגדרה השנייה - <math>\ \mathbf{GL}(V)</math>.
המאפיינים האלגבריים של [[אלגברה (מבנה אלגברי)|אלגברת]] המטריצות, או לחלופין אלגברת ההעתקות הלינאריותהליניאריות, כגון קיום ה[[דטרמיננטה]], מאפשרים להגדיר מספר תתי חבורות באופן טבעי. לדוגמה החבורה הלינאריתהליניארית המיוחדת, <math>\ \mathbf{SL}_n (F)</math>, היא תת-החבורה של החבורה הלינאריתהליניארית הכללית שמכילה את כל המטריצות בעלות דטרמיננטה 1. <math>\ \mathbf{SL}_n (F)</math> היא [[תת חבורת הקומוטטורים]] של <math>\ \mathbf{GL}_n (F)</math>, והיא בעצמה [[חבורה מושלמת]] אלא אם כן <math>\ n=2</math> והשדה <math>\ F</math> הוא בגודל 2 או 3.
החבורה הלינאריתהליניארית הכללית אינה [[חבורה אבלית|אבלית]], כל עוד <math>\ n</math> איננו 1. כאשר <math>\ n=1</math>, החבורה הלינאריתהליניארית הכללית היא פשוט החבורה הכפלית של השדה <math>\ F</math>.
כאשר השדה <math>\ F</math> מעליו החבורה מוגדרת הוא [[שדה המספרים הממשיים]] או [[שדה המספרים המרוכבים|המרוכבים]] <math>\ \mathbf{GL}(n,F)</math> היא [[חבורת לי]] מממד <math>\ n^2</math>. כאשר השדה <math>\ F</math> מעליו החבורה מוגדרת הוא [[שדה סגור אלגברית]] אזי <math>\ \mathbf{GL}(n,F)</math> היא [[חבורה אלגברית]] (חבורה שהיא גם [[יריעה אלגברית]]).
| 