Spezielle lineare Gruppe

Verknüpfungstafel von SL ( 2 , F 3 ) {\displaystyle \operatorname {SL} (2,\mathbb {F} _{3})}

Die spezielle lineare Gruppe vom Grad n {\displaystyle n} über einem Körper K {\displaystyle K} (oder allgemeiner einem kommutativen, unitären Ring) ist die Gruppe aller n × n {\displaystyle n\times n} Matrizen mit Koeffizienten aus K {\displaystyle K} , deren Determinante 1 beträgt; diese werden auch unimodulare Matrizen genannt.[1][2] Die Gruppenverknüpfung ist die Matrizenmultiplikation.

Die spezielle lineare Gruppe vom Grad n {\displaystyle n} über K {\displaystyle K} wird mit SL ( n , K ) {\displaystyle \operatorname {SL} (n,K)} bezeichnet. Wenn aus dem Kontext klar ist, dass der Körper die Menge R {\displaystyle \mathbb {R} } der reellen oder C {\displaystyle \mathbb {C} } der komplexen Zahlen ist, schreibt man auch SL ( n ) {\displaystyle \operatorname {SL} (n)} oder SL n {\displaystyle \operatorname {SL} _{n}} .

Eigenschaften

Die spezielle lineare Gruppe SL ( n , K ) {\displaystyle \operatorname {SL} (n,K)} ist ein Normalteiler der allgemeinen linearen Gruppe GL ( n , K ) {\displaystyle \operatorname {GL} (n,K)} .

Die Faktorgruppe GL ( n , K ) / SL ( n , K ) {\displaystyle \operatorname {GL} (n,K)/\operatorname {SL} (n,K)} ist isomorph zu K {\displaystyle K^{*}} , der Einheitengruppe von K {\displaystyle K} (für einen Körper K {\displaystyle K} ist K {\displaystyle K^{*}} gleich K { 0 } {\displaystyle K\setminus \{0\}} ). Der Beweis erfolgt über den Homomorphiesatz mit der Determinante als Homomorphismus.

Wichtige Untergruppen der SL ( n , K ) {\displaystyle \operatorname {SL} (n,K)} sind für K = R {\displaystyle K=\mathbb {R} } die spezielle orthogonale Gruppe SO ( n ) {\displaystyle \operatorname {SO} (n)} und für K = C {\displaystyle K=\mathbb {C} } die spezielle unitäre Gruppe SU ( n ) {\displaystyle \operatorname {SU} (n)} .

Die spezielle lineare Gruppe SL ( n , K ) {\displaystyle \operatorname {SL} (n,K)} über dem Körper K = R {\displaystyle K=\mathbb {R} } oder K = C {\displaystyle K=\mathbb {C} } ist eine Lie-Gruppe über K {\displaystyle K} der Dimension n 2 1 {\displaystyle n^{2}-1} .

Die speziellen linearen Gruppen sind algebraische Gruppen, da die Bedingung, dass die Determinante gleich 1 sein muss, durch eine polynomiale Gleichung in den Matrix-Koeffizienten ausgedrückt werden kann.

Die spezielle lineare Gruppe SL ( n , K ) {\displaystyle \operatorname {SL} (n,K)} beinhaltet alle orientierungstreuen und volumenerhaltenden linearen Abbildungen.

Siehe auch

  • SL(2,R)
  • Modulform

Einzelnachweise

  1. Miller, G. A. (1930). On the history of determinants. The American Mathematical Monthly, 37(5), 216-219.
  2. Eric W. Weisstein: Determinant. In: MathWorld (englisch).