Allgemeine lineare Gruppe

Die allgemeine lineare Gruppe $\mathrm{GL}(n,K)$ vom Grad $n$ über einem Körper $K$ ist die Gruppe $(G,\cdot )$ bestehend aus der Menge aller regulären Vorlage:Nowrap-Matrizen mit Einträgen aus Vorlage:Nowrap

$G=\{A\in M_n(K):\det (A)\ne 0\}$

zusammen mit der Matrizenmultiplikation als Gruppenverknüpfung

$(A,B)\mapsto A\cdot B,$

$M_n(K)$ bezeichnet dabei den Matrizenring. Die Invertierbarkeit garantiert, dass es sich wirklich um eine Gruppe handelt. Die allgemeine lineare Gruppe wird auch mit ${\mathrm{GL}}_n(K)$ notiert.

Die Bezeichnung $\mathrm{GL}$ kommt von generell linear oder der englischen Bezeichnung „general linear group“.

Wenn der Körper $K$ ein endlicher Körper ${𝔽}_q$ mit einer Primzahlpotenz $q$ ist, so schreibt man auch $\mathrm{GL}(n,q)$ statt Vorlage:Nowrap. Wenn aus dem Kontext klar ist, dass der Körper $ℝ$ der reellen oder $ℂ$ der komplexen Zahlen zu Grunde gelegt ist, schreibt man auch $\mathrm{GL}(n)$ oder Vorlage:Nowrap.

Die allgemeine lineare Gruppe und ihre Untergruppen finden Anwendung in der Darstellung von Gruppen sowie in der Untersuchung von Symmetrien.

Untergruppen der allgemeinen linearen Gruppe werden als Matrizengruppen bezeichnet.

Allgemeine lineare Gruppe über einem Vektorraum

Wenn $V$ ein Vektorraum über einem Körper $K$ ist, schreibt man $\mathrm{GL}(V)$ oder $\mathrm{Aut}(V)$ für die Gruppe aller Automorphismen von Vorlage:Nowrap, also aller bijektiven linearen Abbildungen Vorlage:Nowrap, mit der Hintereinanderausführung solcher Abbildungen als Gruppenverknüpfung.

Wenn $V$ die endliche Dimension $n$ hat, sind $\mathrm{GL}(V)$ und $\mathrm{GL}(n,K)$ isomorph. Für eine gegebene Basis des Vektorraums $V$ kann jeder Automorphismus von $V$ durch eine invertierbare Vorlage:Nowrap-Matrix dargestellt werden. Dadurch wird ein Isomorphismus von $\mathrm{GL}(V)$ auf $\mathrm{GL}(n,K)$ hergestellt.

Für $n\ge 2$ ist die Gruppe $\mathrm{GL}(n,K)$ nichtabelsch. Für $n=2$ gilt beispielsweise

$\left(\begin{array}{cc}1& 0\\ 1& 1\end{array}\right)\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)=\left(\begin{array}{cc}1& 1\\ 1& 2\end{array}\right)$

aber

$\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)\left(\begin{array}{cc}1& 0\\ 1& 1\end{array}\right)=\left(\begin{array}{cc}2& 1\\ 1& 1\end{array}\right)$.

Das Zentrum von $\mathrm{GL}(n,K)$ besteht aus den Vielfachen der Einheitsmatrix (mit Skalaren aus Vorlage:Nowrap).

Untergruppen von GL (n, K)

Jede Untergruppe von $\mathrm{GL}(n,K)$ wird eine Matrizengruppe oder lineare Gruppe genannt. Einige Untergruppen haben besondere Bedeutung.

• Die Untergruppe aller Diagonalmatrizen, deren Diagonalelemente alle ungleich 0 sind, beschreibt Reskalierungen des Raums.
• Diagonalmatrizen, bei denen alle Diagonalelemente übereinstimmen und nicht 0 sind, beschreiben in der Geometrie zentrische Streckungen. Die Untergruppe dieser Matrizen ist das Zentrum von Vorlage:Nowrap. Nur im Trivialfall $n=1$ ist sie mit $\mathrm{GL}(n,K)$ identisch.
• Die spezielle lineare Gruppe $\mathrm{SL}(n,K)$ besteht aus allen Matrizen mit der Determinante 1. $\mathrm{SL}(n,K)$ ist ein Normalteiler von Vorlage:Nowrap, und die Faktorgruppe $\mathrm{GL}(n,K)/\mathrm{SL}(n,K)$ ist isomorph zu Vorlage:Nowrap, der Einheitengruppe von $K$ (ohne die 0).
• Die orthogonale Gruppe $\mathrm{O}(n,K)$ enthält alle orthogonalen Matrizen.

Für $K=ℝ$ beschreiben diese Matrizen Automorphismen des Vorlage:Nowrap, die die Euklidische Norm und das Skalarprodukt erhalten, also orthogonale Abbildungen.

• Die unitäre Gruppe $\mathrm{U}(n,ℂ)$ besteht aus allen unitären Matrizen, das heißt solcher Matrizen, deren Adjungierte gleich ihrer Inversen ist. Allgemeiner lässt sich die unitäre Gruppe als Untergruppe der linearen Abbildungen in einem Prähilbertraum definieren, ebenso wie die orthogonale Gruppe als Untergruppe der linearen Abbildungen in einem euklidischen Vektorraum aufgefasst werden kann.
• Die affine Gruppe ${\mathrm{AGL}}_n(K)$ ist eine Untergruppe von Vorlage:Nowrap.

Über den reellen und komplexen Zahlen

Die allgemeine lineare Gruppe $\mathrm{GL}(n)$ über dem Körper $ℝ$ oder $ℂ$ ist eine algebraische Gruppe und damit insbesondere eine Lie-Gruppe über dem Körper und hat die Dimension Vorlage:Nowrap.

Beweis:

$\mathrm{GL}(n)$ ist eine Untermenge der Mannigfaltigkeit ${\mathrm{Mat}}_n(K)$ aller Vorlage:Nowrap-Matrizen, die ein Vektorraum der Dimension $n^2$ ist. Die Determinante ist eine polynomiale und damit insbesondere eine stetige Abbildung Vorlage:Nowrap. $\mathrm{GL}(n)$ ist als Urbild der offenen Teilmenge $K^{\times }$ von $K$ eine offene, nicht leere Teilmenge von ${\mathrm{Mat}}_n(K)$ und hat deshalb ebenfalls die Dimension Vorlage:Nowrap

Die Lie-Algebra zu $\mathrm{GL}(n)$ ist die allgemeine lineare Lie-Algebra Vorlage:Nowrap. Diese besteht aus allen Vorlage:Nowrap-Matrizen mit dem Kommutator als Lie-Klammer.

Während $\mathrm{GL}(n,ℂ)$ zusammenhängend ist, hat $\mathrm{GL}(n,ℝ)$ zwei Zusammenhangskomponenten: die Matrizen mit positiver und die mit negativer Determinante. Die Zusammenhangskomponente mit positiver Determinante enthält das Einselement und bildet eine Untergruppe Vorlage:Nowrap. Diese Untergruppe ist eine zusammenhängende Lie-Gruppe mit reeller Dimension $n^2$ und hat dieselbe Lie-Algebra wie Vorlage:Nowrap.

Über endlichen Körpern

Wenn $K$ ein endlicher Körper mit $p$ Elementen ist, wobei $p$ eine Primzahl ist, dann ist $\mathrm{GL}(n,p)$ eine endliche Gruppe der Ordnung

Vorlage:Nowrap.

Dieser Wert kann beispielsweise durch Abzählen der Möglichkeiten für die Matrixspalten ermittelt werden: Für die erste Spalte gibt es $p^n-1$ Belegungsmöglichkeiten (alle außer der Nullspalte), für die zweite Spalte gibt es $p^n-p$ Möglichkeiten (alle außer den Vielfachen der ersten Spalte) etc.

Wenn $K$ ein endlicher Körper mit $q=p^k$ Elementen ist, wobei $p$ eine Primzahl ist, dann ist $\mathrm{GL}(n,q)$ eine endliche Gruppe der Ordnung

Vorlage:Nowrap.

Anmerkung: Über dem Ring ${\mathbb{Z}}_{p^k}$ mit $p^k$ Elementen, wobei $p$ eine Primzahl ist, ist die Gruppe $\mathrm{GL}(n,{\mathbb{Z}}_{p^k})$ eine endliche Gruppe der Ordnung

Vorlage:Nowrap.

Für die allgemeine lineare Gruppe über dem Körper mit 2 Elementen gibt es einige Besonderheiten. Zunächst fallen sie mit den projektiven und speziellen projektiven Gruppen zusammen, das heißt

Vorlage:Nowrap.

Insbesondere sind diese Gruppen für $n\ge 3$ einfach und in kleinen Dimensionen bestehen folgende Isomorphismen:

Vorlage:Nowrap, das ist die symmetrische Gruppe ${\mathrm{S}}_3$ mit 6 Elementen.

Vorlage:Nowrap, das ist die einfache Gruppe mit 168 Elementen.

Vorlage:Nowrap, das ist die alternierende Gruppe ${\mathrm{A}}_8$ mit 20160 Elementen.

Projektive lineare Gruppe

Vorlage:Hauptartikel Die projektive lineare Gruppe $\mathrm{PGL}(V)$ über einem Vektorraum $V$ über einem Körper $K$ ist die Faktorgruppe Vorlage:Nowrap, wobei $K^{\times }$ die normale (sogar zentrale) Untergruppe der skalaren Vielfachen $k\cdot {\mathrm{i}\mathrm{d}}_V$ der Identität $\mathrm{i}\mathrm{d}:V\to V$ ist mit $k$ aus Vorlage:Nowrap. Die Bezeichnungen $\mathrm{P}\mathrm{G}\mathrm{L}(n,K)$ usw. entsprechen denen der allgemeinen linearen Gruppe. Wenn $K$ ein endlicher Körper ist, sind $\mathrm{P}\mathrm{G}\mathrm{L}(n,K)$ und $\mathrm{SL}(n,K)$ gleichmächtig, aber im Allgemeinen nicht isomorph.

Der Name stammt aus der projektiven Geometrie, wo das Analogon zur allgemeinen linearen Gruppe die projektive lineare Gruppe ist, zum Vorlage:Nowrap-dimensionalen projektiven Raum über $K$ gehört dabei die Gruppe Vorlage:Nowrap, sie ist die Gruppe aller Projektivitäten des Raumes.

Ein Spezialfall ist die Gruppe der Möbiustransformationen, die Vorlage:Nowrap.

Weblinks

• General linear group in der Encyclopaedia of Mathematics
• Vorlage:MathWorld