Sunteți pe pagina 1din 44

GRUPOS DE LIE

Seminario de
Matemática Pura

Presentado por:

_______________________________________

Gladis More Peña.

Asesor:

_________________________________________

Mg. Amado Malca Villalobos


Lambayeque-Perú
2019

Agradecimiento

Agradezco a Dios por su

bendición para llevar a cabo este

trabajo, al profesor de la Escuela

Profesional de Matemática en

especial a mi asesor Lic. Mg.

Amado Malca Villalobos quien

con su paciencia rectifico

nuestros errores dando a cambio

su tiempo, conocimientos y sobre

todo las experiencias que me

servirán para lograr el éxito

profesional.
Dedicatoria

A DIOS

Por la vida, la libertad

y el donde la creatividad,

me corrige con su espíritu

y me ilumina con su divinidad.

Gladis More Peña.


_____________Índice General

- INTRODUCCIÓN.
Capitulo I. PRELIMINARES.
1.1. Conceptos básicos.
1.1.1. Variedades diferenciables.
1.1.2. Inmersiones locales, subvariedades.
1.1.3. Distribuciones.
1.1.4. Proyecciones regulares.

Capitulo II. GRUPOS DE LIE.


2.1. Introducción.
2.2. Grupos de Lie.
2.3. Subgrupos de Lie.
2.4. Subgrupos de Lie inmersos.

Capitulo III. GRUPOS DE LIE ABELIANOS.


3.1. Introducción.
3.2. Constantes de estructura.
3.3. Algebra de Lie de un grupo de Lie.
3.4. Subalgebras de Lie.
3.5. Subgrupos uniparamétricos.
3.6. La aplicación exponencial.
3.7. El funtor de Lie.
3.8. Subgrupos cerrados.
3.9. Grupos de Lie abelianos.
Introducción

Una de las ideas subyacentes en la noción de grupo de

Lie es la de movimiento. El grupo de Lie por excelencia

es el de los movimientos rígidos en el espacio, los cuales

no sólo forman un grupo, pues la composición de dos

movimientos es un nuevo movimiento, sino que además

el nuevo movimiento depende “diferenciablemente" de

los dos dados.


___________ Objetivos

OBJETIVO GENERAL:

 Enunciar las nociones básicas de la teoría de álgebras de Lie con énfasis


en la discusión de ejemplos concretos.

OBJETIVO ESPECIFICO:

 Estudio de los Grupos de Lie.


Capitulo I. PRELIMINARES.

1.1 Conceptos básicos.


Conceptos básicos de Variedades diferenciables, Inmersiones locales, subvariedades,
Distribuciones y Proyecciones regulares.

1.1.1 Variedades diferenciables.

Definición. Llamamos estructura diferenciable en un espacio topológico X, a una colección


C U   C U  , con U abierto de ,
de subconjuntos de las funciones continuas de cada abierto U de X, cada una de las cuales es una
-álgebra, que llamaremos de funciones diferenciables, que satisfacen las siguientes propiedades:
i.- La restricción de una función diferenciable es diferenciable, es decir dados dos abiertos U  V ,
f  C  V   f|U  C  U 
ii.- Dada una colección Ui de abiertos, U  Ui y f  C U  , cuya restricción a cada Ui es

diferenciable, entonces f  C  U  .
iii.- Para cada punto x  X existe un abierto Ux, que lo contiene y al que llamaremos entorno
coordenado de x, un abierto V de un n
y un homeomorfismo H : U x  V , tal que para cada abierto
U  Ux
f  C   H (U )   f H  C  U 
Llamaremos variedad diferenciable a un espacio topológico dotado de una estructura diferenciable.

Nota 1.1 Normalmente se suele añadir a la definición de variedad diferenciable el que sea Hausdorff
y de base numerable (en esta primera lección consideraremos que las variedades son de base
numerable). Sin embargo nosotros no lo incluimos en la definición por dos razones. La primera es
que construiremos cocientes que serán variedades diferenciables, pero no Hausdorff en general y la
segunda es que los grupos de Lie con la definición anterior automáticamente son Hausdorff y de base
numerable sus componentes conexas.

Proposición 1.2 En toda variedad diferenciable los puntos son cerrados.


Demostración. Sean x, p  X y p  x , entonces por la propiedad (iii) existe un entorno coordenado
U x Ux de x que no contiene a p, por tanto  p es abierto y  p cerrado.
c

Proposición 1.3 Toda variedad es unión disjunta numerable de sus componentes conexas, que son
abiertos y cerrados de la variedad.
Demostración. Consideremos, para cada x de la variedad, la unión Ux de todos los conjuntos conexos
de la variedad que contienen a x.
Se demuestra fácilmente que cada Ux es conexo, que es abierto (por la propiedad iii), que es cerrado
pues su complementario es abierto y que cada dos o son iguales o disjuntos, por tanto si el espacio
tiene una base numerable de abiertos, la colección de estas componentes conexas a lo sumo es
numerable.
Definición. Diremos que una aplicación continua entre variedades diferenciables
F : X Y
es diferenciable si para cada abierto V  Y
f  C  V   F *  f   f F  C   f 1 (V ) 
Definición. Llamamos germen en un punto x, de una función continua (diferenciable) f definida en
un entorno abierto de x, a la clase de equivalencia de todas las funciones continuas (diferenciables)
definidas en entornos abiertos de x, que coincidan con f en alg_un entorno de x.

Denotaremos con Cx(X) (ó Cx si no hay confusión) y C x las -álgebras de gérmenes de funciones
continuas y diferenciables respectivamente en x.
Llamamos espacio tangente de una variedad X en un punto x al -espacio vectorial Tx(X), de las
derivaciones
Dx : C x 
en el punto x, el cual – si X es Hausdorff y de base numerable como supondremos en el resto de esta
primera lección –, se demuestra que coincide con las derivaciones en x de todo el álgebra C   X  en

. Llamamos espacio cotangente a su dual, que denotamos Tx*  X  .


Llamamos campos tangentes a las derivaciones
D : C  X   C  X  ,
las cuales forman un C  X  –módulo, que denotamos D(X), y un álgebra con el producto definido

por el corchete de Lie


 D1, D2   D1 D2  D2 D1.

Llamamos 1– formas a los elementos de su módulo dual   X  .


Dada una función f  C   X  llamamos diferencial de f a la 1 –forma

df : D  X   C   X  , df  D   Df
Definición. Dada una aplicación diferenciable
F : X Y,
llamamos aplicación lineal tangente en x  X a
F* : Tx  X   TF ( x ) Y  , F*  Dx   Dx F*,
a la aplicación dual entre espacios cotangentes la denotamos F * . Llamamos rango de F en x al rango
de F* , es decir a la dimensión de su imagen.

1.1.2 Inmersiones locales, subvariedades.


Definición. Decimos que F es una inmersión local en x si la aplicación
F* : CF( x )  Cx , F * f   f F,
definida entre álgebras de germenes de funciones diferenciables, es sobre.
Lo cual equivale a que
F* : Tx  X   TF ( x ) Y  ,
sea inyectiva. Diremos que F es inmersion si es inyectiva e inmersión local en todo punto, en cuyo
caso diremos que F (X ) es una subvariedad inmersa en Y. Si además, con la topología inducida por
Y, resulta que
F : X  F  X ,
es un homeomorfismo, diremos que F (X ) es una subvariedad (ó subva-riedad regular como la llaman
algunos autores), de Y.
Teorema de caracterización de subvariedades 1.4. S es una sub-variedad de una variedad X si y
sólo si para cada p  S , existe un abierto coordenado Vp de p en X, con coordenadas ui, tal que
S  V p   x  V p : u j  x   0, j  1,..., k  .
Teorema del rango 1.5 F : X  Y es diferenciable de rango constante k, entonces para cada
p  X y q  F  p  existen entornos coorde-nados Vp y Vq, con coordenadas (u1,…,un) y (v1,…,vn),
tales que si x  V p tiene coordenadas (x1,…,xn), F (x) tiene coordenadas

 x1,..., xk ,0,...,0
Proposición 1.6 Sea F : X  Y diferenciable de rango constante k.
1.- Para cada q  Y , F  q  es vacío ó una subvariedad cerrada de X, de dimensión dim X – k.
1

2.- Cada p  X tiene un entorno abierto Vp tal que F (Vp) es una subvariedad de Y de dimensión k.
3.- Si F es sobre dim Y = k.
4.- Si F es localmente inyectiva k = n y F es inmersión local.
Demostración.
1.- Sea p  F  q  , y consideremos los entornos del teorema del rango, entonces
1
F 1  q   V p   x  V p : F  x   q


F 1  q   V p  x  V p : v j  F  x    v j  q  , j  k 
F 1  q   V p  x V p : u j  x   v j  q  , j  k

2.- En el entorno Vp, F es composición de una proyección (que lleva abiertos en abiertos) y una
 
inmersión, por tanto existe un abierto U  V , tal que F V p   y  U : vk 1  ...  vn  0 .
3.- Como X es de base numerable, por el apartado anterior Y se puede poner como unión numerable
de subvariedades de dimensión k y si k < dim Y es absurdo porque las subvariedades son de medida
nula y la unión numerable de conjuntos de medida nula es de medida nula.
También porque las subvariedades son densas en ningun lado y por el Teorema de Baire su unión
numerable también es densa en ningún lado.
4.- Es obvio.

1.1.3 Distribuciones.

Definición. Llamaremos distribución en una variedad X a una aplicación


x  X   x,
donde  x , es un subespacio de Tx  X  , verificando la siguiente condición:

Para cada p  X existe un abierto U p  X y campos D1 ,..., Dr  D U p , tales que para todo 
x U p , D1x ,..., Drx son base de  x . Si la variedad es conexa al número r lo llamamos rango de la
distribucion.
Dada una distribucion  x , definimos para cada abierto V  X el submodulo de D V 
 V   DD V  : Dx  x x V .
Habitualmente llamamos distribución     X  .
Definición. Diremos que una distribución  es involutiva si para D1 , D2   se tiene que

 D1, D2   .
Teorema de Frobenius 1.7 Una distribución de rango r es involutiva si y sólo si para cada x  X
existe un entorno abierto V de x en X, y un sistema de coordenadas  u1,..., un  en V, tales que  V 
esta generada por
 
,..., ,
u1 ur
y las subvariedades de V (a las que llamaremos franjas del entorno)
S  x V : ur 1  cte,..., un  cte ,
son tangentes a la distribucion, es decir para cada z 2 S
Tz  S    z .

Definición. Llamaremos variedad integral de una distribución  de X, a toda subvariedad inmersa


conexa H  X , por tanto tal que
i:H  X
es inmersion, tal que para cada x  H
i* Tx  H     F  x 
si no es conexa diremos que es una variedad tangente.

Nota 1.8 Observemos que en el teorema de Frobenius las franjas del entorno son variedades integrales
y por lo tanto si una distribución es involutiva por todo punto pasa una variedad integral.

Ejercicio 1.9 Sea  una distribución involutiva en X y V un abierto coordenado como en el teorema
de Frobenius. Demostrar que si H  X es una variedad integral (conexa), entonces está en una
franja, es decir existen ar 1 ,..., an  , tales que
H  x V : ur 1  ar 1 ,..., un  an .

Definición. Llamaremos variedad integral maxima de una distribución, pasando por un punto x a una
variedad integral (conexa) K  X , tal que si H  X otra variedad integral con x  K , entonces
H  K.
Veremos que si  es una distribución involutiva, entonces por cada punto de la variedad pasa una
única variedad integral máxima. Pero para ello necesitamos unos resultados previos.

Teorema 1.10 Sean U, V y W variedades diferenciables, y consideremos el diagrama conmutativo

donde G es inmersión y H es diferenciable, entonces cada afirmación implica la siguiente:


i) G(V) es una subvariedad de W.
ii) F es continua.
iii) F es diferenciable.

Demostración.  i    ii  Para cada abierto V  V se tiene por ser G inyectiva

F 1 V   F 1 G 1  G (V )    H 1 G (V )  ,
y F es continua por serlo H y G(V) tener la topología inducida por W, por lo que G V   A  G V 

, con A abierto de W y F 1 V   H 1  A .

 ii    iii  Si F : u  v es continua, entonces podemos definir para cada x u


F *: CF  x  Cx  u  ,

tal F * f    F * f  , para cualquier representante f . Ahora que F es diferenciable se demuestra


fácilmente en germen, pues si f es el germen
base numerable; que la inclusión i : K  X es inmersión local; que K es variedad integral máxima;
y que es unica.
Por el Teorema de Frobenius  es totalmente integrable, por tanto cada punto x  X , tiene un
entorno abierto coordenado cubico U x ; ui  , cuyas franjas son tangentes a la distribución, ahora bien
como X tiene base numerable Vm, existe un m tal que x Vm  U x , ahora elegimos para cada uno de
estos m –que es una colección numerable–, un Um = Ux
Cualquiera que contenga a Vm. De este modo tendremos un recubrimiento numerable de X, por
abiertos coordenados cúbicos Um ; umi  , cuyas franjas son tangentes a la distribución y por
comodidad pondremos p  U 0 .
Sea q  K , sea U m q  el abierto del recubrimiento que lo contiene y

 
Vq  xU m q  : um q r 1  x   um q r 1  q  ,..., um q n  x   um q n  q 
la franja del abierto que lo contiene, la cual está en K, pues de q se llega a todos esos puntos por
curvas tangentes a la distribución. Ahora consideramos en cada Vq la topología para la que,
 
  U m q 1 ,..., um q r : Vq   Vq   r

es un homeomorfismo y definimos un abierto A  K sii A  Vq es abierto de Vq , para cada Vq . Ahora


consideramos la estructura diferencial en K que definen las aplicaciones  . Con esta estructura
diferenciable K es una variedad de dimensión r, conexa –pues es conexa por arcos por definición– y
veamos que tiene una base numerable de abiertos.
Basta ver que para cada m, U m  K es una colección numerable de franjas, para ello observamos que
cada punto x U m  K , se une a p por una curva, que se recubre con una colección finita de abiertos
U 0 ,U i1 ,...,U im –este recubrimiento puede hacerse de muchas formas, pero a lo sumo hay una
coleccion numerable de ellos, pues es numerable la colección de subconjuntos finitos de un conjunto
numerable–. Ahora en cada uno de los Uij, la curva por ser continua y tangente a la distribución va
por una única franja, por tanto sale de la franja de U0 que contiene a p y pasa a una franja de U i1 de
esta a una del siguiente abierto y así hasta el último. Basta entonces ver que cada franja S se interseca
con cada abierto Ui en una colección a lo sumo numerable de franjas. S  U i es un abierto de la
subvariedad S, que como tiene base numerable tiene (por (1.3)) una colección numerable de
componentes conexas, que como son tangentes a la distribución y son conexas están cada una de ellas
en una franja.

1.1.4 Proyecciones regulares.

Definición. Diremos que una aplicación diferenciable:  : X  Y es una proyección regular en


x  X si se verifican cualquiera de las condiciones equivalentes:
1.  *: Tx  X   T  x  Y  , es sobre.
2. Existen entornos coordenados Vx de x y Vy de y    x  , tales que si p Vx tiene coordenadas

 x1 ,..., xn  , F  p  tiene coordenadas  x1,..., xm  .


3. Existe una sección local:  : Vy  X ,    Id , tal que   y   x .
Diremos que  es proyección regular si lo es en todo punto.

Veamos otras propiedades de las proyecciones regulares (pero antes demos un resultado
previo).

Lema 1.13 Si  : X  Y es continua, abierta y sobre, entonces A  Y es abierto (cerrado) si y solo


si  1 U   X es abierto (cerrado).
Demostracion. "  " por continuidad. "  " porque por una parte se tiene que para A  Y ,

 1  Ac    1  A , por tanto basta demostrarlo para U abierto. Ahora como es sobre,
c

  1 U    U y es abierto si  1 U  es abierto.

Proposicion 1.14 Si  : X  Y es una proyección regular sobre, entonces se tienen las propiedades
siguientes:
1. Para cada abierto U  Y , f  C  U  , si y solo si f   C   1 (U ) .  
2. Para cada abierto U Y, - : U ! Z es diferenciable si y solo si:   :  1 U   Z es diferenciable.

3. Para cada abierto U  Y ,  :U  Z es proyección regular si y solo si:   1 U   Z es


proyección regular.
4. U  Y es abierto (cerrado) si y solo si  1 U   X es abierto (cerrado).

5. S  Y es subvariedad si y solo si  1  S   X es subvariedad.


Demostración. "  " Para (1) y (2) es obvio por ser diferenciable, para (3) por ser la composición de
proyecciones regulares una proyección regular. Para (5) sea x  1  S  e y    S   S , entonces

 
existe un entorno coordenado de y, Vy ; vi , tal que

S  Vy   z V y : v1  ...  vk  0 ,
entonces para U x   Vy  y ui   * vi , que son diferenciablemente independientes, pues  *
1

inyectiva, tendremos que


 1  S U x   1  S  Vy    p U x : u1  ...  uk  0
Veamos ahora "  " .
(1), (2) y (3) se demuestran fácilmente tomando secciones locales, teniendo en cuenta que es sobre.
(5) Sea y  S y x  1  S  , tal que   x   y y consideremos sendos entornos abiertos

coordenados U x de x y U y de y, con coordenadas respectivas  x1 ,..., xn  e  y1 ,..., yn  , tales que


x1  x   0 y si p  U x tiene coordenadas  p1 ,..., pn  ,   p  tiene coordenadas  p1 ,..., pm  , ademas
podemos suponer que  U x   U y , que tenemos la seccion de ,
 : U y  U x ,   y1,..., ym    y1,..., ym ,0,...,0 ,
y que existen funciones u1 ,..., uk  C  U x  , diferenciablemente independientes y tales que

 1  S  U x   p U x : u1  p   ...  uk  p   0,
entonces S es subvariedad, ya que para vi   *  ui 

S  U y    1  S   U x 
S  U y    p  : p U x , u1  p   ...  uk  p   0
S  U y  q U y : v1  q   ...  vk  q   0 ,
pues en la última igualdad  se sigue tomando q    p   S U y (por las dos primeras

igualdades), por tanto   q    1  S  U x , ya que    q    q , y vi  q   ui   q    0 y la

otra inclusión  es obvia pues basta tomar p    q  . El resultado se sigue pues para

i  1,..., k , vi   *  ui  son diferenciablemente independiente, ya que si  a dv i i  0 , entonces


 *   ai dui   0 y si  ai dui   j 1  j dx j , por una parte tenemos
k k
i

  a du     dy    ...  
m
0  *
k
i i i j j 1 m  0,
j 1

y para j  m  1,..., n es  *  x j   0 , por tanto para  t el grupo uniparamétrico de

x j ,   t  p      p  y si  1  S  U x , entonces  t  p  también y

u1  t  p    ...  uk  t  p    0 ,


lo cual implica que, para j  m  1,..., n, ui  p  / x j  0 y esto que i  0 . Por tanto  a du
i i 0
y como las dui son independientes, las ai  0 . Por último (4) es consecuencia del Lema (1.13).
Capítulo II. GRUPOS DE LIE.
2.1. Introducción.

Una de las ideas subyacentes en la noción de grupo de Lie es la de movimiento. El grupo de Lie
por excelencia es el de los movimientos rígidos en el espacio, los cuales no sólo forman un grupo,
pues la composición de dos movimientos es un nuevo movimiento, sino que además el nuevo
movimiento depende “diferenciablemente" de los dos dados.

2.2. Grupos de Lie.


Definición. Llamaremos grupo de Lie a una variedad diferenciable G, con una estructura de
grupo, para la que las aplicaciones de la estructura
 a, b  G  G  ab  G, a  G  a 1  G
son diferenciables. Habitualmente denotaremos con e  G el elemento neutro del grupo y con
notación multiplicativa la operación del grupo.
Llamaremos morfismo de grupos de Lie a todo homomorfismo de grupos de Lie que sea
diferenciable.
Para cada elemento a  G definimos las aplicaciones
Ra : b  G  ba  G, La : b  G  ab  G,
consistentes en trasladar, por la derecha y por la izquierda respectiva-mente, el grupo mediante
el elemento a.

Ejercicio 2.1 Demostrar que las traslaciones anteriores son difeomorfismos tales que
 La   Ra 
1 1
 La1 ,  Ra1 .

Ejercicio 2.2 Demostrar que una variedad diferenciable G, con estructura de grupo es un grupo
de Lie si y sólo si
 a, b   G  G  ab1  G
es diferenciable.

Ejercicio 2.3 Demostrar que los  espacios vectoriales de dimensión finita, con la suma como
operación, son grupos de Lie.

Notación. Con M n   denotamos la variedad diferenciable formada por las matrices reales de
n2
orden n, con la estructura diferenciable dada por su biyección natural con .
Ejercicio 2.4 Demostrar que el abierto de M n  ,
Gln    A  M n   : det A  0,
formado por las matrices reales de orden n no singulares, llamado Grupo lineal general, forma
un grupo de Lie con el producto como operación. Para n = 1, lo denotaremos con * .

Ejercicio 2.5 Demostrar que *  0 con el producto como operación es un grupo de Lie.

Ejercicio 2.6 El cuerpo de los cuaterniones es el primer ejemplo (históricamente) de un cuerpo


no conmutativo y consiste en un espacio vectorial real de dimensión 4, con una base (1, i, j, k),
cuyos elementos son de la forma
a  bi  cj  dk ,  a, b, c, d   ,
que se suman componente a componente y su producto satisface
i  j  k  1, ij   ji  k , jk  kj  i y ki  ik  j . Demostrar que los cuaterniones no
2 2 2

nulos H4, con el producto anterior y la estructura de variedad diferenciable dada por su biyección

con , es un grupo de Lie.

Proposición 2.7 Las traslaciones de un grupo de Lie G, llevan componentes conexas en


componentes conexas y la componente conexa que contiene al neutro Ge
es un subgrupo normal, abierto y cerrado y grupo de Lie.

Demostración. Las aplicaciones continuas llevan conexos en conexos, por tanto los
homeomorfismos conservan las componentes conexas.
Si g , h  Ge , entonces Lg 1  Ge   Ge , por tanto g 1h  Ge y la aplicación  g, h   g 1h es
diferenciable pues Ge es un abierto. Ahora es subgrupo normal pues para cada g  G , gGe g 1 es
una componente conexa que
contiene a e, por tanto es Ge .
El siguiente resultado es un simple ejercicio.

Proposición 2.8 El producto finito de grupos de Lie es grupo de Lie.

Lema 2.9 Sea G un grupo de Lie conexo y U un entorno del neutro.


Entonces G  U n , para
U n  g1 gn : gi U .
Demostración. Consideremos el abierto entorno de e, V  U 1  U , para el que V  V 1 , y
H  V n  U n  G,
que es subgrupo pues si g , h  H , entonces gh 1  H , es abierto pues Lg V   gV  H es un
entorno abierto de g  H y es cerrado pues si g  H c , gH es un entorno abierto de g que está
en H c , pues como H es subgrupo gH  H   . Por tanto por conexión se sigue que H = G.

Teorema 2.10 Todo grupo de Lie conexo es Hausdorff y de base numerable.


Demostración. G es Hausdorff sii la diagonal D   x, y   G  G : x  y cerrada, pero en
nuestro caso D   1  e    x, y   xy 1 ,
que es continua y los puntos son cerrados.
Consideremos un entorno coordenado U del neutro, que es de base numerable Bi (basta
n n
considerar en las bolas abiertas de radio racional centradas en puntos de ). Ahora como el
producto X : U  U  U es continua, dado un abierto W  U y xy  W con x, y  U , existen
2 2

entornos Bi de x y B j de y tales que Bi B j  W , por tanto U 2 tiene una base numerable de abiertos
Bi B j  gBi gB j , así como cada U n , y por el Lema anterior también la tiene G  U n .

Corolario 2.11 Todo grupo de Lie es Hausdorff y cada componente conexa es de base numerable.
Demostración. Se sigue del resultado anterior y de (2.7).

2.3. Subgrupos de Lie.

Definición. Llamaremos subgrupo de Lie a toda subvariedad de un grupo de Lie que sea
subgrupo (Algunos autores lo llaman subgrupo de Lie regular).
El resultado que sigue nos permitira reconocer de una forma sencilla otros grupos de Lie.

Teorema 3.1 Todo subgrupo de Lie es un grupo de Lie.


Demostración. Basta demostrar que la aplicación en el cuadrado conmutativo

es diferenciable, lo cual es consecuencia de (1.10).


Corolario 3.2 Sea F : G  V diferenciable y de rango constante, con G grupo de Lie. Si para un
y  V , G 1  y  es subgrupo, entonces es grupo de Lie de dimensión dim G  rangF .
Demostración. Por (1.6) es subvariedad de esa dimensión, por tanto subgrupo de Lie y por el
resultado anterior grupo de Lie.
Corolario 3.3 Si F : G1  G2 es morfismo de grupos de Lie, entonces:
1) El rango de F es constante.
2) KerF  F 1  e2  , para el neutro e2  G2 , es un subgrupo normal de G1 y un grupo de Lie de
dimensión
dim ker F = dim G
3) F  G1  es un subgrupo de G2 .

 
Demostracion. (1) Sea x  G1 y z  F x 1 , entonces para cualquier y  G1

F  y   F  x xy   zF  xy   L
1
z F Lx  y  ,
por lo que el rango de F* en e es igual al de F* en x, por tanto es constante. (2) se sigue de (3.2).
El resto es sencillo.

Corolario 3.4 Todo morfismo localmente inyectivo de grupos de Lie es inmersión local.

Demostracion. Por el resultado anterior el morfismo es de rango constante. Ahora por ser
localmente inyectivo se sigue del corolario del teorema del rango que k = n, por tanto es una
inmersión local.

2.4. Subgrupos de Lie inmersos.


En (3.1) hemos demostrado que toda subvariedad que sea subgrupo de un grupo de Lie es un
grupo de Lie. Sin embargo una subvariedad inmersa en un grupo de Lie puede ser subgrupo (al
que llamaremos subgrupo de Lie inmerso), como es el caso de la imagen por un morfismo
inyectivo, y sin embargo no ser subvariedad, por no poseer la topología inducida. A continuación
estudiamos un caso particular de esto:
Consideremos el morfismo de grupos de Lie
F :  x, y   2
 F  x, y    e 2 ix , e 2 iy   T 2 ,
que es inmersión local por serlo x  e2 ix ó por (3.4), pues F es local-mente inyectiva. Si
consideramos un número   y la inmersión local (que es inyectiva si y sólo si es irracional,
demuéstrelo el lector)
 : t     t   F  t ,  t   T2 ,
tendremos que C     es una subvariedad inmersa que es subgrupo, sin embargo si
es irracional no es subvariedad, pues es densa en el toro T2 –y una subvariedad no puede ser
densa por su caracterización–, para ver que es densa necesitamos un resultado previo.

Lema 4.1 Todo subgrupo de  ,   es denso ó p , con p  .


Demostración. Sea S un subgrupo y p  inf x  0 : x  S , entonces existe tn  p , con tn  0
y tn  S . Si a partir de un n los t n son iguales tendremos que son p y por un lado p  S y por
otro dado s  S existe n  , tal que s   np,(n  1) p , por tanto 0  s  np  p y s  np  S ,
por tanto s   n  1 ps  p , por tanto p  S . En caso contrario existe una subsucesión de t n ,
que llamamos igual estrictamente decreciente y de Cauchy, por tanto para todo ε > 0 existe un n
tal que   tn  tn1  0 y s  tn  tn1  S , pero entonces dado x  , existe un n tal que
x   ns,(n  1)s  . Se sigue que S es denso.

Lema 4.2 La curva    (para  irracional) es densa en el toro T2 y no es cerrada.

 
Demostración. Dado un punto del toro q  e 2 ix , e 2 iy , queremos encontrar un t  , tal que

  t  este próximo a q. Ahora bien para todo m

 
  t    e2 it , e2 i t   e2 it , e2 i t m ,
y dado   0 , basta encontrar n, m  tales que, para t  x  n ,
  x  n  m  y   ,
lo cual se sigue del lema anterior pues  n  m : n, m   es un subgrupo y por tanto denso en
, ya que no es de la forma p , pues en ese caso   n1 p y 1  n2 p , de donde n2  n2 n1 p  n1
y .
Además no es un cerrado, pues C no es T2, ya que por ejemplo no existe t para el que
  t    e i , e i   T 2

El ejemplo anterior nos da pie a dar la siguiente definición.


Definición. Llamaremos subgrupo de Lie inmerso (o virtual) de un grupo de Lie G a todo
morfismo inyectivo

F : S G

de grupos de Lie (en ocasiones y por abuso del lenguaje llamaremos subgrupo de Lie inmerso, a
la imagen H = F (S ), del morfismo, que por el corolario (3.4) es una subvariedad inmersa y al
grupo S lo llamaremos su parametrización).
Si además la topología de S es la inicial del morfismo, H es una subvariedad y por tanto un
subgrupo de Lie. En los siguientes resultados daremos una caracterización que nos permitiría
comprender algo mejor el ejemplo del toro, en ellas se establece que los conceptos: subgrupo
(abstracto), subvariedad (diferenciable) y cerrado (topológico), están relacionados.

Proposicion 4.3 Todo subgrupo abierto de un grupo de Lie es cerrado.


Demostración. Sea A el subgrupo abierto y x  G  A , entonces Lx  A es un abierto, entorno de
x, que no corta a A, por tanto A es cerrado.

Teorema 4.4 Sea S un subgrupo de un grupo de Lie G. Si S es subvariedad entonces es cerrado.

Demostración. Si dim S = dim G = n, S es un abierto y el resultado se sigue de la proposición


anterior. Si dim S = n – k < n, basta demostrar que si xn  S tiene límite x  G , entonces x  S
. Para ello consideremos un entorno coordenado del neutro U e , con coordenadas ui, tal que
S Ue  g Ue : ui  g    uk  g   0.
Ahora por la continuidad del producto podemos encontrar otro en-torno del neutro U  U e , tal
que si p, q U , entonces pq  U e y como xn 1 x  e y x 1 xn  e , existe un N a partir del cual
xn 1 x  U y x 1 xn U , por tanto para n, m  N tendremos que
 x x  x
n
1 1
xm   xn 1 xm  S  U e ,

 
y por tanto ui xn 1 xm  0 , para i  1,..., k , y haciendo m tender a infinito, como xn 1 x  U e se

 
sigue por continuidad que ui xn 1 x  0 , para i  1,..., k , por lo tanto
xn 1 x  S  U e ,
y multiplicando por xn  S , tendremos que x  S .

Teorema Si S es un subgrupo cerrado de un grupo de Lie, entonces es una subvariedad.


En definitiva un subgrupo (abstracto) de un grupo de Lie es “subvariedad si y solo si es cerrado".

Capítulo III. GRUPOS DE LIE


ABELIANOS.

3.1. Introducción.
Llamaremos álgebra de Lie sobre a un espacio vectorial g dotado de un operador bilineal
(producto), que denotamos  ,  y llamamos corchete de Lie, para el que se tienen las propiedades

 x, y   y, x , (anticonmutatividad)
 x,  y, z    y,  z , x    z,  x, y   0 . (identidad de Jacobi)

Demostrar que los siguientes espacios forman algebras de Lie:

Ejercicio 1 El modulo D de los campos tangentes a una variedad, con el corchete de Lie
 D1, D2   D1 D2  D2 D1 .

Ejercicio 2 Todo espacio vectorial, definiendo  x, y   0 , para cualquier par de vectores, define
un algebra de Lie. Llamaremos abeliana a toda algebra de Lie con el corchete nulo.

4
Ejercicio 3 El espacio vectorial de los campos tangentes de generado por los tres campos

Ejercicio 4 El espacio vectorial M n   , de las matrices reales de orden n, con el corchete


A, B  AB  BA .

Ejercicio 5 El espacio vectorial   A  M n  : traz  A   0 , con el corchete de matrices.


Demostrar que si A,B  M n   A,B   .
Ejercicio 6 El espacio vectorial A  M   : A  A
n
t
 0 , con el corchete de matrices.

Ejercicio 7 El espacio vectorial de las matrices de M n   del tipo


A B 
 t 
 C -A 

con A,B,C  M n   , B y C simétricas; con el corchete de matrices.


3
Ejercicio 8 con el producto vectorial
 x, y, z    x ', y ', z '   yz ' zy ', zx ' xz ', xy ' yx '.
3
Ejercicio 5.9 con el corchete
 x, y, z  ,  x ', y ', z '     yz ' zy ', 2( xy ' yx '), 2( zx ' xz ')  .

3.2. Constantes de estructura.


Sea g un álgebra de Lie de dimensión n y sea x1 ,..., xn una base suya. Entonces existen constantes
cijk , a las que llamaremos constantes de estructura, relativas a la base, tales que  xi , x j    cijk xk
. Estas constantes satisfacen las propiedades

cijk  ckji  0
n

 c .c
r 1
k
ij
m
kr  c rjk .cirm  ckir .c mjr   0,

y recíprocamente cualquier conjunto de n3 constantes satisfaciendo estas propiedades, define un


álgebra de Lie verificando c x k
ij k . Esto permite clasificar fácilmente las algebras de Lie de
dimensión pequeña.

3.3. Algebra de Lie de un grupo de Lie.

La importancia del concepto álgebra de Lie, reside en que hay un álgebra de Lie especial (que
además es finito dimensional), asociada a cada grupo de Lie y que las propiedades del grupo
quedan reflejadas en las de su álgebra. Por ejemplo los grupos de Lie conexos y simplemente
conexos están completamente determinados por sus algebras de Lie y el estudio de estos se reduce
en parte al estudio de aquellas que en bastantes aspectos son más sencillas.
Definición. Sea F : U  V diferenciable, D  D U  y E  D V  .
Diremos que F lleva D en E (y lo denotaremos F* D  E ) si para todo x U es F * Dx  EF  x .
Lema 1 1) F lleva D en E sii F * D  E F * .
2) Si F* D1  E1 y F * D2  E2 , entonces F*  D1 , D2    E1 , E2  .

Definición. Diremos que un campo tangente a un grupo de Lie D  D  G  es invariante por la


izquierda (resp. por la derecha), si para cada a  G , La* D  D , (resp. Ra* D  D ), es decir para
cada x  G

Observemos que si D1y D2 son invariantes, entonces también lo es su corchete, pues

Definición. Llamaremos algebra de Lie (por la izquierda) de un grupo de Lie G, al álgebra de


Lie de los campos invariantes por la izquierda
DG  D  D  G  : La*D  D, a  G
con el corchete de Lie como producto.
Del modo obvio se define el álgebra de Lie por la derecha, que denotamos con DG .
El siguiente resultado demuestra que ambas algebras son canónicamente isomorfas, como
espacios vectoriales, a Te  G  y por tanto como espacios vectoriales tienen la misma dimensión
que el grupo. En general consideraremos sólo los campos invariantes por la izquierda, y sobren-
tenderemos las propiedades correspondientes de los campos invariantes por la derecha.

Proposición 1 La aplicación D  DG  De Te  G  , es un isomorfismo lineal.


Demostración. Es lineal trivialmente. Es inyectiva pues para todo x  G , Dx  Lx* De , por tanto
si De  0, D  0 . Es sobre pues dado De  Te  G  entonces el único posible campo D  DG que
en e define De es el que para cada x  G , Dx  Lx* De . Basta demostrar que el campo de vectores
tangentes Dx : x  G , define un campo tangente D, es decir que para cada f  C   G  , la
función
Df  x   Dx f  De  f Lx   ,
es diferenciable. Consideremos un campo E  D  G  que en e defina Ee  De y subámoslo al
único campo E  D  G  G  tal que 1* E  0 y  2* E  E . Sea X la aplicación producto en G
X  a, b   ab , y consideremos la función y la aplicación diferenciable
g  f X  C  G  G  ,
i : a  G   x, a   G  G,
entonces i * Ee  E  x ,e  , pues 1*  i* Ee   0 y  2*  i* Ee   Ee , por lo que

D  f   De  f Lx   De  g i   i* De g  Eg  x, e  ,
que es diferenciable en x.

3.4. Subalgebras de Lie.

Definición. Diremos que un subespacio h de una h algebra de Lie g, es una subálgebra de Lie si
 X , Y  h, para X, Y h.
Proposición 2 Sea G un grupo de Lie y h una subálgebra de su álgebra de Lie g, entonces
 x  Dx : D  h ,
es una distribución involutiva e invariante por traslaciones por la izquierda.
Demostración. Sea D1,…,Dr una base de h, entonces para todo x  G
 x  D1x ,..., Drx    D1 ,..., Dr
y la distribución es involutiva pues [Di ;Dj ]  h, por tanto  Di , D j    cijk Dk , de donde

 Di , D j    . Además es invariante por traslaciones por la izquierda, pues para x, p G


Lx* p   xp

Proposición 3 Todo morfismo de grupos de Lie F : G1  G2 define un morfismo de álgebras


F : DG1  DG2 ,
tal que si   D   E , entonces para cada x  G1
F*  Dx   EF  x 
por lo que lo denotaremos   F* .
Demostración. Como todo campo invariante E está determinado por su valor en el neutro e2 
G2, que en nuestro caso debe ser
Ee 2  F*  De1  ,
la cuestión consiste en demostrar que este campo que en cada y  G2 define el vector
 
E y  Ly* Ee2  Ly*  F* De1  ,
   
satisface el resultado. Consideremos un x  G1 , entonces como LF  x F  F Lx , ya que

LF  x   F  z    F  x  F  z   F  xz   F  Lx  z   ,
tendremos que

       
EF  x   LF  x *  F* De1   F*  Lx* De1   F*  Dx  .
Además se tiene que es morfismo de álgebras de Lie, pues por el lema anterior

La aplicación anterior hace conmutativo el diagrama

Más adelante demostraremos que: “Si F , F : G1  G2 son dos morfismos de grupos de Lie tales
que F*  G* en el neutro, entonces F = G en un entorno del neutro. Si además G1 es conexo, F =
G en todo el grupo.
Y si ambos son conexos y el primero es simplemente conexo, entonces dado un morfismo de sus
álgebras  ' existe un único morfismo F tal que   RF* ".

Teorema 4 Sea G un grupo de Lie y g = DG su álgebra de Lie. Si h g es una subálgebra, entonces


existe un único subgrupo de Lie inmerso conexo h  g , cuya algebra de Lie es h.
Demostración. Por (6.1), h define una distribución que es involutiva e invariante por traslaciones
por la izquierda, es decir que para x, p  G

Lx* p   xp ,
por lo tanto si S es una subvariedad integral, también lo es Lx (S ). Consideremos en Ge, que es
de base numerable por (2.10), la subvariedad integral máxima H, que contiene al neutro e,
entonces para cada h  H , Lh1  H  es una variedad integral que contiene el neutro, pues
Lh1  h   e , por lo tanto Lh1  H   H y H es subgrupo, pues
h, g  H  h1 g  H
Por otro lado el producto y paso al inverso
 g, h   H  H  gh  H h  H  h1  H ,
son diferenciables por (1.11), por la hipótesis y por ser la inclusión H H  G inmersión local.
Que Dh  h, se sigue de (6.3), pues allí hemos visto el diagrama conmutativo

siendo isomorfismos las flechas verticales e i* Te  H    e .


Veamos la unicidad. Supongamos que hay otro subgrupo de Lie inmerso conexo F  G , tal que
DF  h, entonces F es una subvariedad integral conexa de  que como contiene al neutro,
F  H . Ahora la composición de inclusiones
F  H  G,
y la segunda inclusion son inmersiones locales, por lo que la primera es diferenciable, como
consecuencia de (1.11), e inmersión local (entre grupos de la misma dimensión), por lo tanto
difeomorfismo local y F es subgrupo abierto de H, por tanto cerrado y por conexion son iguales
y grupos de Lie isomorfos.

Corolario Sea H  G un subgrupo de Lie inmerso y He su componente conexa que contiene al


neutro, entonces sus cosets xHe son las variedades integrales máximas de la distribución definida
por DH.
Demostración. Por el resultado anterior existe un unico subgrupo de Lie inmerso conexo, cuya
algebra de Lie es DH y como DHe = DH –como subálgebras de g–, tal subgrupo es He. Además
el resultado dice que este subgrupo es la subvariedad integral máxima que contiene al neutro y
el resultado se sigue.

3.5. Subgrupos uniparamétricos.


Proposición 6 Cada campo invariante es completo.
Demostración. Sea D  DG (idem para DG ) con grupo uniparamétrico y curva integral máxima
pasando por e,

Corolario Si D  DG , entonces  e :  G , su curva integral máxima pasando por e, es


morfismo de grupos.
Demostración. Basta considerar (2), para x = e(r).

Definición. Llamamos subgrupo uniparamétrico de G a un elemento   Hom  , G  , es decir


a un morfismo de grupos de Lie  :  G , ó equivalentemente a un subgrupo
gt   t   G : t   , tal que t   gt  G es diferenciable y
g0  e, gt  r  gt g r ,
el cual define un morfismo de álgebras
 * : D  DG ,
y un campo D   *  t  , del cual  es una curva integral.

Proposición 8 Sea G un grupo de Lie. Entonces se tiene:


1)
Teorema Sea F : G1  G2 un morfismo de grupos de Lie, y
F* : D  DG1  F*  D   DG2 ,
el correspondiente morfismo de álgebras de Lie. Si D  DG1 tiene subgrupo uniparamétrico
asociado gt, el de F* D es F  gt  .
Demostración. Si   t   gt ,  *  t   D y   F  es el subgrupo uniparamétrico de F*  D 
, pues  *  t   F*  D  .

Proposición 9 Sea D  D  G  un campo tangente y A   aij   M n   , los siguientes apartados


son equivalentes:
1) D  H  A  ,  D  H '  A   .


2) D  DG D  D G y 

3)

4) El grupo uniparamétrico de D es
5) El subgrupo uniparamétrico correspondiente a D es

6) La ecuación diferencial asociada a D es

3.6. La aplicación exponencial.

Nota Recordemos que una conexión lineal en una variedad diferenciable V , se define como una
aplicación

que satisface las siguientes propiedades:

Ahora bien en todo grupo de Lie G podemos definir una conexión (realmente dos), definiendo
un traslado paralelo por la identificación natural que hay entre todos los espacios tangentes
mediante el difeomorfismo traslación por la izquierda (derecha) ya que
3.7. El funtor de Lie.

Hemos visto que cada grupo de Lie G define un álgebra de Lie DG y cada morfismo F de grupos
de Lie define un morfismo F* de álgebras de Lie, esto permite definir un funtor entre ambas
categorías, que llamamos Funtor de Lie . Hemos visto en (8.4), que en general si conocemos F*,
conocemos localmente F. Ahora veremos que en ciertas condiciones lo conocemos globalmente.

Definición. Diremos que una aplicación continua entre espacios topológicos F : X ! Y es un


revestimiento si todo y 2 Y tiene un entorno abierto Vy tal que F1(Vy) es homeomorfo a Vy D
con D discreto, haciendo conmutativo el diagrama
(recordemos que D es discreto si todo subconjunto suyo (en particular los puntos) es abierto). Lo
llamaremos revestimiento conexo si X es conexo.

Definición. Diremos que un espacio topológico conexo Y es simplemente conexo si todo


revestimiento conexo de Y es homeomorfismo.

Lema Sea F : G1  G2 un morfismo de grupos de Lie, con G2 conexo, y difeomorfismo local.


Entonces F es revestimiento.
Demostración. F es sobre por ser F  G1  subgrupo abierto y por (4.3) cerrado. Sea y y  G2 ,
entonces F 1  y  es una subvariedad discreta, pues si x  F 1  y  y consideramos sendos
 
entornos de x e y, Ux y Vy, en los que F es difeomorfismo, F F 1  y   U x  y , por tanto

F 1  y  U x  x . Sea D  F 1  e2  y veamos que F 1 Vy  es homeomorfo a Vy  D ,


haciendo conmutativo el diagrama

para ello basta definir, para   F 1 : Vy  U x , las funciones mutua-mente inversas

 
G  a , d     a  d y H  z   F  z  ,  F  z   z .
1

Teorema Sean G1 y G2 grupos de Lie, con G1 simplemente conexo y sea  : DG1  DG2 , un
morfismo de álgebras de Lie, entonces existe un único morfismo de grupos de Lie F : G1  G2
F : G1! G2, tal que F*   .
Demostración. La unicidad es consecuencia del corolario (8.5). Veamos la existencia:
Consideremos el grupo de Lie producto G  G1  G2 y los morfismos inyectivos de algebras de
Lie
pues se tiene que L x , y * D  D , ya que

idem para E , y podemos considerar la subalgebra h  DG de igual dimensión que DG1, formada
por los campos

Corolario Si G1 es simplemente conexo, entonces Hom(DG1,DG2) = Hom(DG1,DG2).


Corolario Dos grupos de Lie simplemente conexos, con álgebras de Lie isomorfas son
isomorfos.
Por último hay un resultado debido a Ado (ver Jacobson, p.199), cuya demostración no es fácil
y omitimos que dice que “Toda álgebra de Lie es subálgebra de un Mn, para algún n". Como
consecuencia de él y de (6.4), se tiene el siguiente resultado que tampoco demostramos.

Teorema Dada un álgebra de Lie finito dimensional g, existe un grupo de Lie G (único
simplemente conexo), con álgebra de Lie DG = g.

3.8. Subgrupos cerrados.


En (4.4) demostramos que un subgrupo de un grupo de Lie si es subvariedad es cerrado. En esta
lección veremos el recíproco.

Lema Sea H un subgrupo cerrado del grupo de Lie G y

Lema Sea H un subgrupo cerrado del grupo de Lie G, entonces

es un subespacio vectorial.
Proposición 10 La aplicación  : Te  G   G es difeomorfismo local en el 0.
Demostración. Consideremos el sistema de coordenadas lineales xi asociado a la base vi. Basta
demostrar que  *  xi 0  vi , ahora bien  xi 0    t 0 , para   t   tvi , y como
   t    exp  tvi  es por 8.3 la curva integral del campo Di  DG que en el neutro vale vi, el
resultado se sigue.
Considerando entornos difeomorfos
es decir la imagen de S por el isomorfismo canónico Te  G   g, sean D1,…,Dk  g, la imagen
de v1,…,vk y consideremos la distribución correspondiente

Proposición 11 Si h es una subálgebra de g, la distribución  es involutiva y


Teorema Todo subgrupo cerrado H de un grupo de Lie G, es subvariedad.
Demostración. Veamos que dado cualquier punto g  H existe un entorno coordenado U g ; ui 
, tal que
3.9. Grupos de Lie abelianos.

En esta lección vamos a clasificar los grupos de Lie abelianos. Sea G un grupo de Lie abeliano,
entonces hemos visto en (8.9) que la aplicación
exp :   Te  G   G
es un morfismo de grupos de Lie (sobre, si el grupo es conexo) y difeomorfismo local en 0, por tanto
en todo punto y se sigue como en (9.1) que el subgrupo cerrado
H  ker exp  exp1  e    ,
es discreto (por (3.3) es un grupo de Lie de dimensión 0).

Lema Dado el difeomorfismo local y sobre

Demostración. H es unión disjunta en z   zi   n


de
Teorema Todo grupo abeliano finito generado es de la forma

Teorema Todo subgrupo cerrado y discreto H   es

con los ei  H linealmente independientes en .


Demostración. Sea H  v1 ,..., vn , con los vi  H independientes y consideremos el
isomorfismo H  n
, vi  ei y llamemos H también a su imagen. Entonces por ser subgrupo y
los ei  H tendremos que n
 H y por el lema anterior tenemos que

por tanto por el teorema anterior sera de la forma


y falta ver que los ei  H son independientes. En caso contrario como generan H podemos tomar

una base de H entre ellos, e1 ,..., en y el difeomorfismo local

: e1  ...  en  n
 Tn , ,
 
para el que   H     h1  ,...,   hk  es finito, pero
H  e1   en  en1   er ,
y es inyectivo en en1   er , lo cual es absurdo pues este espacio es infinito, a menos que
r  n.

Clasificación:

- Grupos de Lie abelianos conexos:


Como consecuencia de los resultados anteriores tenemos la siguiente clasificación.

Teorema Todo grupo de Lie abeliano y conexo es isomorfo a

Demostración. Por el resultado anterior,

con los ei independientes que extendemos a una base e1 ,..., e2 Te  G  .


Ahora considerando las coordenadas asociadas a esta base tenemos que

para x1   a1 ,..., ar  y x1   ar 1 ,..., an  si x   a e , define una única 


i i para la que el diagrama
es conmutativo, pues
que es isomorfismo de grupos y difeomorfismo pues cada flecha descendente es morfismo de grupos,
sobre (exp por ser G conexo) y difeomorfismo local.

- Grupos de Lie abelianos No conexos:


Sea G un grupo de Lie abeliano no conexo y sea Ge su componente conexa que contiene al neutro,
que por (2.7) es un grupo de Lie, por tanto isomorfo por el resultado anterior a

Ahora bien en (2.7) también vimos que era subgrupo normal, , por tanto existe el grupo cociente
H  G / Ge – que son las componentes conexas– y es grupo de Lie con la topología discreta y la
estructura diferenciable formada por todas las funciones en todos sus subconjuntos, para el que la
proyección natural es morfismo de grupos de Lie
 : G  G / Ge ,

pues es continua –ya que la imagen recíproca de un abierto es la unión de algunas componentes
conexas, que son abiertas–, es abierta obviamente y diferenciable pues dada cualquier función f en el
cociente,  * f es constante en cada componente conexa y por tanto diferenciable y
tenemos la sucesión exacta de grupos de Lie

Definición. Un A–módulo M es inyectivo si dado cualquier morfismo inyectivo de A–módulos


i : M '  M '' un morfismo de A–módulos f : M '  M , existe otro h : M ''  M que hace
conmutativo el diagrama

Ahora bien si consideramos un ideal a del anillo A y un x  M la aplicación


f : a  M , f  a   ax es morfismo de A  módulos, pero además si M es inyectivo así son todos,
pues considerando la inclusión i : a  A , para cada morfismo de A  módulos i : a  M , existe
un morfismo h : A  M haciendo el diagrama conmutativo, por tanto f  a   h  a   ah 1 .
Esta simple condición necesaria es suficiente para que el módulo sea inyectivo, como se comprueba
en la siguiente caracterización.

- BIBLIOGRAFÍA.

[1] J. Dixmier, Algebres enveloppantes. Gauthier Villars, Paris, 1975.

[2] M. Goto, F.D. Grosshans, Semisimple Lie Algebras. Dekker, New York, 1978.

[3] S. Helgason, Differential geometry, Lie groups, and symmetric spaces. Academic Press, New

York, 1978.

[4] J.E. Humphreys, Introduction to Lie Algebras and Representation Theory. Springer, New

York, 1972.

[5] N. Jacobson, Lie Algebras. Dover, New York, 1962.

S-ar putea să vă placă și