Grup lineal especial
;_Cayley_table.svg)
En matemàtiques, el grup especial lineal de grau n sobre un cos F és el conjunt de matrius Plantilla:Nowrap amb determinant 1, juntament amb les operacions habituals de multiplicació i inversió de matrius. Aquest és el subgrup normal del grup lineal general donat pel nucli del determinant
on escrivim F× per denotar el grup multiplicatiu dPlantilla:'F (és a dir, F sense el 0).
Aquests elements són "especials" en el sentit que pertanyen a una subvarietat del grup lineal general: satisfan una equació polinòmica (perquè el determinant és polinòmic en les entrades).
Interpretació geomètrica
El grup lineal especial Plantilla:Nowrap es pot caracteritzar com les transformacions lineals de Rn que preserven el volum i l'orientació; això correspon a la interpretació del determinant com a mesura del volum i l'orientació.
Subgrup de Lie
Quan F és R o C, Plantilla:Nowrap és un subgrup de Lie de Plantilla:Nowrap de dimensió Plantilla:Nowrap. L'àlgebra de Lie de SL(n, F) consisteix en totes les matrius Plantilla:Nowrap sobre F amb traça nul·la. El parèntesi de Lie ve donat pel commutador.
Topologia
Qualsevol matriu invertible es pot representar de manera unívoca, d'acord amb la descomposició polar, com el producte d'una matriu unitària i una matriu hermítica amb valors propis positius. El determinant de la matriu unitària és a la circumferència unitat, mentre que el determinant de la matriu hermítica és real i positiu i, com que en el cas d'una matriu del grup lineal especial el producte dels determinants és 1, llavors cadascun dels dos determinants ha de ser 1. Per tant, una matriu lineal especial es pot escriure com el producte d'una matriu unitària especial (o una matriu ortogonal especial en el cas real) i una matriu hermítica definida positiva (o matriu simètrica en el cas real) amb determinant 1.
Així, la topologia del grup Plantilla:Nowrap és el producte de la topologia de SU(n) i la topologia del grup de matrius hermítiques amb determinant unitat i amb valors propis positius. Una matriu hermítica amb determinant unitat i valors propis positius es pot expressar de forma unívoca com l'exponencial d'una matriu hermítica sense traça i, per tant, la seva topologia és la de l'espai euclidià de dimensió Plantilla:Nowrap.
La topologia de Plantilla:Nowrap és el producte de la topologia de SO (n) i la topologia del grup de matrius simètriques amb valors propis positius i determinant unitat. Com que aquest últim tipus de matrius es poden expressar unívocament com l'exponencial de matrius simètriques sense traça, aquedta última topologia és la de l'espai euclidià de dimensió Plantilla:Nowrap.
El grup Plantilla:Nowrap, de la msteixa manera que SU(n), és simplement connex, mentre que Plantilla:Nowrap no ho és, igual que SO(n). Plantilla:Nowrap té el mateix grup fonamental que Plantilla:Nowrap o SO(n), és a dir, Z per Plantilla:Nowrap i Z₂ per Plantilla:Nowrap.
Relacions amb altres subgrups de GL(n, A)
Dos subgrups relacionats, que de vegades coincideixen amb SL, i de vegades hi estan combinats, són el subgrup commutador de GL i el grup generat per les transveccions. Tots dos són subgrups de SL (les transveccions tenen determinant 1, i Plantilla:Math és una aplicació sobre un grup abelià i, per tant, [GL, GL] ≤ SL), però en general no coincideixen amb SL.
El grup generat per les transveccions es denota Plantilla:Nowrap (per matrius elementals) o Plantilla:Nowrap. Per la segona relació de Steinberg, si Plantilla:Nowrap, les transveccions són commutadors i, per tant, si Plantilla:Nowrap, Plantilla:Nowrap.
Per a Plantilla:Nowrap, les transveccions no tenen per què ser commutadors (de matrius Plantilla:Nowrap); per exemple, quan A és F₂, el cos de dos elements, llavors
on Alt(3) i Sim(3) denoten el grup alternant i el grup simètric de 3 elements, respectivament.
Tot i això, si A és un cos de més de 2 elements, llavors Plantilla:Nowrap, i si A és un cos amb més de 3 elements, Plantilla:Nowrap.
Sota certes condicions, sí que coincideixen: el grup lineal especial sobre un cos o sobre un domini euclidià està generat per les transveccions, i el grup lineal especial estable sobre un domini de Dedekind està generat per les transveccions. Per a anells més generals, la diferència estable ve mesurada pel grup de Whitehead especial Plantilla:Nowrap, on SL(A) i E(A) són els grups estables del grup lineal especial i les matrius elementals.
Generadors i relacions
Si s'estudia un anell on SL està generat per transveccions (com en el cas d'un cos o d'un domini euclidià), es pot donar una presentació de SL utilitzant transveccions amb algunes relacions. Les transveccions satisfan les relacions de Steinberg, però això no és suficient: el grup resultant és el grup de Steinberg, que no és el grup lineal especial, sinó l'extensió central del subgrup commutador de GL.
Un conjunt suficient de relacions per Plantilla:Nowrap en el cas Plantilla:Nowrap ve donat per dues de les relacions de Steinberg, més una tercera relació.[1] Sigui Plantilla:Nowrap(1) la matriu elemental amb valors 1 a la diagonal i a l'entrada ij, i 0 altrament (i allà on i ≠ j). Llavors
formen un conjunt complet de relacions per a SL(n, Z), n ≥ 3.
Estructura de GL(n, F)
El grup Plantilla:Nowrap descompon sobre el seu determinant (es pot utilitzar Plantilla:Nowrap com a monomorfisme de F× en Plantilla:Nowrap) i, per tant, Plantilla:Nowrap es pot escriure com a producte semidirecte de Plantilla:Nowrap per F×:
- .