Grupo lineal especial
En matemáticas, el grupo lineal especial de orden n sobre un cuerpo
La última forma se usa cuando el cuerpo sobre el que se define el grupo está totalmente claro y no necesita ser especificado.
Las letras SL se toman del nombre inglés Special Linear.
El grupo especial lineal es el subgrupo normal del grupo lineal general, dado por el núcleo de la función determinante:
donde: El grupo lineal especial constituye además una subvariedad algebraica del grupo lineal general (de hecho sus elementos satisfacen una ecuación polinómica, puesto que el determinante es una función polinómica de las componententes de la matriz).
El grupo lineal especial SL(n, R) puede caracterizarse como el grupo de transformaciones lineales que preserva el volumen y la orientación del espacio euclídeo Rn; esto corresponde a la interpretación del determinante como medida del cambio de volumen y orientación.
Cualquier matriz invertible puede representarse de manera única según la descomposición polar como el producto de una matriz unitaria y una matriz hermítica con autovalores positivos.
El determinante de una matriz unitaria está sobre el círculo unidad del plano complejo, mientas que el de una matriz hermítica es un número real y positivo, y puesto que en el caso de una matriz del grupo lineal especial el producto de ambos debe ser 1.
Cada uno de las dos matrices que intervienen en esa descomposición polar debe tener determinante igual a 1, y por tanto un elemento del grupo lineal especial se puede escribir unívocamente como el producto de una matriz unitaria especial y una matriz hermítica positiva de determinante 1.
Eso lleva a que la topología del grupo SL(n, C) es la topología producto de la topología del grupo SU(n) y la topología del grupo de matrices hermíticas de determinante 1.
Dado que las últimas matrices pueden expresarse de forma única como exponenciales de matrices simétricas sin trazas, entonces esta última topología es la del espacio euclidiano (n+2)(n-1)/2 dimensional.
Dos subgrupos relacionados, que en algunos casos coinciden con
, y en otros casos se combinan accidentalmente con
es una aplicación a un grupo abeliano, por lo que
), pero en general no coincidirán con dicho grupo.
El grupo generado por transvecciones se denota
, las transvecciones no necesitan ser conmutadores (de matrices 2×2), como se ve por ejemplo cuando
sea el campo de dos elementos, y
En algunas circunstancias estos coinciden: el grupo lineal especial sobre un cuerpo o un dominio euclidiano es generado por transvectiones, y el grupo lineal especial "estable" sobre un dominio de Dedekind es generado por transvectiones.
Para anillos más generales, la diferencia estable se mide por el grupo especial de Whitehead
Si se trabaja sobre un anillo donde SL es generado por transvecciones (como un cuerpo o dominio euclidiano), se puede dar una presentación de SL usando transvecciones con algunas relaciones.
Las transvecciones satisfacen las relaciones de Steinberg, pero éstas no son suficientes: el grupo resultante es el grupo de Steinberg (teoría K)| Grupo de Steinberg]], que no es el grupo lineal especial, sino más bien la extensión central universal del subgrupo conmutador de GL.
viene dado por dos de las relaciones de Steinberg, más una tercera relación (Conder, Robertson y Williams, 1992, p. 19).
la matriz elemental con 1 en la diagonal y en la posición
{\displaystyle {\begin{aligned}\left[T_{ij},T_{jk}\right]&=T_{ik}&&{\mbox{for }}i\neq k\\\left[T_{ij},T_{kl}\right]&=\mathbf {1} &&{\mbox{for }}i\neq l,j\neq k\\(T_{12}T_{21}^{-1}T_{12})^{4}&=\mathbf {1} \\\end{aligned}}}
son un conjunto completo de relaciones para
m a t h b f
== Estructura de GL(n,F)==El grupo
,ver producto semidirecto), y por lo tanto GL(n, F) puede escribirse como un producto semidirecto de SL(n, F) por F×::GL(n, F) = SL(n, F) ⋊ F×.
El álgebra de Lie del grupo SL(n,C) se puede representar por matrices complejas de n x n con traza nula.
