Die Gruppe aller invertierbaren n×n-Matrizen über einem angegebenen Körper oder Ring, mit der Gruppenoperation Matrizenmultiplikation; Elemente sind genau diejenigen Matrizen, die über der gewählten Basis eine zweiseitige Inverse besitzen.

Prinzip

Invertierbarkeit unter Matrizenmultiplikation ordnet die Menge der n×n-Matrizen zu einer Gruppe: Abgeschlossenheit unter Produkt, Assoziativität aus der Matrizenmultiplikation, die Einheitsmatrix als neutrales Element und Existenz von Inversen, charakterisiert z. B. durch Determinante ≠ 0 über einem Körper oder durch Einheiten im Ring.

Demonstration

GL(2,R): die Menge aller 2×2 reellen Matrizen mit Determinante ungleich null. Beispiel: A = [[cosθ, -sinθ],[sinθ, cosθ]] ∈ GL(2,R); A·A^{-1}=I und det(AB)=det(A)det(B) stellt sicher, dass Produkte invertierbar bleiben, wenn die Determinanten ungleich null sind.

Fehlanwendung

Singuläre Matrizen (Determinante null) als Mitglieder einzuschließen oder zu glauben, GL(n,·) sei abelsch und Matrizenmultiplikation kommutiere; GL(n) mit dem Raum aller n×n-Matrizen zu verwechseln ohne Invertierbarkeit zu prüfen.

Konsequenz

Richtig festgestellt ist GL(n,F) eine fundamentale Symmetriegruppe, die treu auf dem n-dimensionalen Vektorraum über F wirkt; die Determinante liefert einen Gruppenhomomorphismus det: GL(n,F)→F^× und viele Strukturresultate (Untergruppen, Darstellungen, algebraische Gruppenstruktur über Körpern) folgen aus den Gruppen- und linearen Algebraeigenschaften.

Umkehrung

Die Menge aller n×n-Matrizen (ein Monoid), die entsteht, wenn man die Invertierbarkeitsbedingung fallenlässt; oder die Gruppe der affinen Abbildungen, die neben linearen Abbildungen auch Translationen enthält — größere Strukturen mit anderen algebraischen Eigenschaften.

Abgrenzung

n ist fest und die Basis (Körper oder Ring) muss angegeben werden; über Ringen erfordert Invertierbarkeit ein multiplikatives Inverses in dem Ring der Koeffizienten, und GL(n,R) über einem nichtkommutativen Ring verlangt Vorsicht bzgl. Links-/Rechtsinversen. Schließt singuläre Matrizen und lineare Abbildungen zwischen verschieden dimensionalen Räumen nicht ein, sofern nicht explizit erweitert.

Semantische Spannung

„General Linear“ als volle Gruppe steht im Gegensatz zur Verwendung von „linearer Gruppe“ für beliebige Untergruppen von GL(n). Es besteht auch Spannung zwischen der Betrachtung von GL(n) als abstrakter Gruppe und als algebraischer oder Lie-Gruppe, sobald Topologie oder ein Schema-Struktur hinzukommt.

Synthese

Die Allgemeine Lineare Gruppe verbindet die lineare Invertierbarkeit mit Gruppenstruktur: sie ist die Gruppe aller invertierbaren n×n-Matrizen über einer gegebenen Basis, charakterisiert durch die Multiplikativität von Inversen (Determinante bzw. Einheiten) und dient als Umgebungsgruppe für n-dimensionale lineare Algebra.