1.

Introduccin

ste trabajo presenta una introduccin formal al lgebra y discute un poco sobre las lgebras de Jordan. stas fueron estudiadas por primera vez en los inicios del ao 1930 por el fsico Ernest Pascual Jordan en un intento de generalizar la axiomtica de la mecnica cuntica, sin embargo, no tubo una contribucin signicativa. Por otra parte, pudo complementar el desarrollo de los grupos de Lie y los fundamentos de la geometra.

Comenzamos con las deniciones bsicas y algunos ejemplos sobre lgebra. Primero denimos lo que para nosotros es un Anillo y un Mdulo. Denicin 1 (Anillo) 1. Sea (R, +, 0) un grupo abeliano aditivo. Decimos que (R, +, , 0, 1) es un anillo si : R R R cumple distribucin respecto a la suma, es decir: x (y + z) = x y + x z (x + y) z = x z + y z Para todo x, y, z R 2. R es un anillo asociativo si x (y z) = (x y) z Para todo x, y, z R 3. R es un anillo conmutativo si xy = yx Para todo x, y R 4. R es un anillo unitario si existe un elemento u R tal que xu = ux = x Para todo x R. Al elemento u lo denotamos por 1 5. F es un campo si es un anillo conmutativo unitario tal que a) 1 = 0 y b) para todo 0 = x F existe y F tal que x y = y x = 1 La denicin de Mdulo que damos aqu no exige que R sea un anillo conmutativo. Denicin 2 Sea (R, +R , R , 0, 1) un anillo (unitario). Un R-Mdulo a izquierda es un grupo abeliano aditivo M junto con una aplicacin : R M M que cumple las siguientes condiciones: 1

1. r (m + n) = r m + r n 2. (r +R s) m = r m + s m 3. (r R s) m = r (s m) 4. 1 m = m para todo m, n M y r, s R. En el caso en que R es un campo, diremos que M es un espacio vectorial sobre R Todo anillo R es en particular un grupo abeliano aditivo. Es en ese sentido que podemos hablar de R como un espacio vectorial sobre un campo F Denicin 3 (lgebra) Sea F un campo. Una F -lgebra (o lgebra sobre F) consiste de un anillo A, que es espacio vectorial sobre F, y cumple: ( x)y = (xy) = x( y) Para todo x, y A y F En la denicin anterior no exigimos que A sea un anillo asociativo. Comunmente esta es la denicin de Non-Associative Algebra. Tampoco exigimos que A sea conmutativo o tenga unidad. Las siguientes deniciones son mas especicas: Denicin 4 Sea F un campo y sea A un lgebra sobre F 1. Decimos que A es una F -lgebra asociativa si A es un anillo asociativo. Si A no es un anillo asociativo, decimos que A es una F -lgebra no asociativa. 2. Decimos que A es una F -lgebra conmutativa si A es un anillo conmutativo. Si A no es un anillo conmutativo, decimos que A es una F -lgebra no conmutativa. 3. A es una F -lgebra unitaria (o con unidad) si A es un anillo unitario. A continuacin, unos ejemplos que demuestran que las deniciones anteriores son independientes: Ejemplo 1: 1. Sea F un campo. Entonces F es una F -lgebra. 2. Sea F un campo y sea E subcampo de F . Entonces F es una E -lgebra. 3. Las matrices Mnn (R) son una R-lgebra con el producto y suma usual de matrices. Ms an, Mnn (R) es una R-lgebra asociativa y no conmutativa. (1)

4. Sea C el campo de los complejos. Denamos las operaciones suma y multiplicacion como sigue: (a, b) + (c, d ) = (a + c, b + d ) y (a, b) (c, d ) = (ac bd , (ad + bc)) Para todo (a, b), (c, d ) C. Notemos que el producto denido es el conjugado del producto usual. Mediante computacion directa, podemos asegurarnos de que el producto est bien denido y que (C, +, , 0, 1) es un anillo. Ms an, es una R-lgebra conmutativa y no asociativa. 5. Con el producto cruz y suma usual, R3 es un R-lgebra no conmutativa y no asociativa. 6. Los Cuaterniones O de Hamilton, son una R-lgebra no conmutativa. 7. Los Octoniones O son una R-lgebra no asociativa. Histricamente, fueron descubiertos independientemente por John T. Graves y Arthur Cayley. Denicin 5 Sea A una F-lgebra 1. Decimos que = B A es una F -Sublgebra de A y se denota B A, si B es una F-lgebra con las operaciones denidas en A restrictas a B. 2. Sea = B A (conjunto). El generado por B, denotado por < B >, es la menor F-Sublgebra de A que contiene a B. 3. Si existe B A nito tal que A =< B >, decimos que A es nitamente generado (f.g). 4. Si el conjunto {bi }iI = B A genera a A y ademas, f initas fi bi = 0 implica que fi = 0 para todo fi F, decimos que B es una base de A Una forma fcil de vericar si B es F -Sublgebra de A es la siguiente: Teorema 1 Sea = B A. B es una F-Sublgebra de A si y solo si: 1. x y B 2. x B 3. xy B para todo x, y B y F. Identicamos al generado por un conjunto de la siguiente forma: Teorema 2 Sean A una F-lgebra y = B A. Entonces < B >=
BCA

Como una F -lgebra A es un espacio vectorial sobre F (en particular un F -Mdulo), en un curso de lgebra de mdulos se demuestra que si A es f.g. entonces tiene base nita, y toda base de A tiene la misma cantidad de elementos. Decimos que la dimensin de la F -lgebra A es la cantidad de elementos de cualquier base de A en el caso en que A sea f.g.. Si no, decimos que A es de dimensin innita. Denicin 6 Sea A una F-lgebra 1. Decimos que I es un ideal a izquierda (derecha) del F-lgebra A si y solamente si ax I (xa I) para todo a A y x I. Es un ideal bilateral si es ideal a izquierda y derecha. 2. Denimos A/I = {a + I /a A} y operaciones de suma y multiplicacin: a) (a + I ) + (b + I ) = (a + b) + I b) (a + I )(b + I ) = (ab) + I c) (a + I ) = ( a) + I para todo a, b A y F Ejemplo 2: 1. R es una R-Sublgebra de C 2. La R-lgebra C es generada por {1, i}, entonces es de dimensin nita. 3. R visto como Q-lgebra es de dimensin innita. 4. Si = E F es un F -lgebra, entonces E es un ideal bilateral de F . 5. Sea A una F -lgebra y sea I ideal del lgebra A. Entonces A/I es una F -lgebra. Si A es una F -lgebra conmutativa (o asociativa), entonces A/I tambien es conmutativa (respectivamente asociativa). Si A es una F -lgebra unitaria con unidad u, entonces la unidad de A/I es u + I Enunciamos el teorema fundamental de homomorsmos para lgebras: Teorema 3 Sean A, B F-lgebras tales que existe un epimorsmo de A en B. Entonces A/Ker( ) = B Ahora, queremos encontrar la forma de relacionar dos F -lgebras. Recordemos que por denicin, una F -lgebra A es bsicamente un F -mdulo que cumple la ecuacin (1). Naturalmente pensamos en denir tal relacin como sigue: Denicin 7 Sean A, B F-lgebras 1. Una aplicacin f : A B (vistos como grupos abelianos) es un F -Homomorsmo de Mdulos si f ( a + b) = f (a) + f (b) para todo F y a, b A 4

2. Una aplicacin f : A B es un F -Homomorsmo de lgebras si es un F-Homomorsmo de Mdulos y para todo a, b A se cumple f (ab) = f (a) f (b) 3. Si f es adems inyectivo, decimos que es un F -monomorsmo de lgebras. 4. Si f es sobreyectivo, decimos que es un F -epimorsmo de lgebras. 5. Si f es biyectiva, decimos que es un F -isomorsmo de lgebras y se denota A =B 6. Denimos Im( f ) = f [A] 7. Denimos Ker( f ) = {a A/ f (a) = 0}. Es fcil ver que Im( f ) es F -Sublgebra de B y Ker( f ) F -Sublgebra de A.

Ejemplo 3: 1. Para las F-lgebras A y B, con B A, denimos el F -monomorsmo inclusin i : B A tal que i(x) = x para todo x B. 2. Sea I un ideal de la F-lgebra A. Denimos el homomorsmo cannico : A A/I tal que (x) = x + I para todo x A. Tenemos que Ker( ) = I , Im( ) = A/I , es F -epimorsmo, si I = 0 es adems F -monomorsmo y F -isomorsmo. Supongamos ahora que una base para la F -lgebra A es {ei }iI donde I es un conjunto indizante. Entonces para cada i, j I tenemos:
f initas

ei e j =

kI

i jk ek

con i jk F . A los escalares i jk los llamamos constantes de estructura de A relativas a {ei }iI . Esto es til porque nos permite expresar las operaciones en el lgebra A mediante expresiones mejor conocidas: initas j e j , entonces: Sean a = if initas i ei y b = f j ab = ( i ei )( j e j )
i j

= = = =

i ei j e j
i j

i j ei e j
i j

i j i jk ek
i j k i, j,k

i j i jk ek

 e1 . . . ej . . . en

e1

...

ei

...

en

k i jk ek

(todas las sumas son nitas!), y por lo tanto, el producto denido en la F -lgebra A est completamente determinado por las constantes de estructura. Es mejor trabajar con la siguiente tabla: Ejemplo 4: Para los Octoniones O, la base es {1, e1 , e2 , e3 , e4 , e5 , e6 , e7 }. La tabla de multiplicacin es: e1 e2 e3 e4 e5 e6 e7 e1 1 e4 e7 e2 e6 e5 e3 e2 e4 1 e5 e1 e3 e7 e6 e3 e7 e5 1 e6 e2 e4 e1 e4 e2 e1 e6 1 e7 e3 e5 e5 e6 e3 e2 e7 1 e1 e4 e6 e5 e7 e4 e3 e1 1 e2 e7 e3 e6 e1 e5 e4 e2 1

Observamos que el producto no es conmutativo porque ei e j = (e j ei ) para i, j = 1, 2, . . . , 7. Tampoco es asociativo porque (e1 e2 ) e3 = e4 e3 = e6 = e6 = e1 (e5 ) = e1 (e2 e3 ). Nos preguntamos si existe algn producto para el cal los Octoniones sean un lgebra asociativa, pero se ha demostrado que no existe. ste es el primer ejemplo histrico de lgebra no asociativa.

La notacin se simplica cuando utilizamos los multiplicadores de un F lgebra. Denimos el multiplicador a derecha como aRx = ax y el multiplicador a izquierda como aLx = xa para todo a A. En estos trminos, un lgebra es conmutativa si y solo si Lx = Rx . Antes de terminar, denimos una notacin muy natural. Denamos x1 = x, inductivamente xn+1 = xn x para todo entero positivo n. Decimos que un lgebra es asociativa en potencia si xn+m = xn xm para todo n, m Z (esto no se cumple en toda lgebra). Un elemento x de una F lgebra es Nilpotente si existe k Z tal que xk = 0. Una Nillgebra A es una F -lgebra en la cual todos sus elementos son Nilpotentes stas son las deniciones bsicas para el estudio de las lgebras. Pasemos a un tema ms especco.

2.

lgebras de Jordan
nsumas

Denicin 8 Sea F un campo. La caracterstica de F es el menor entero n tal que x + x + . . . + x= 0 para todo x F En el estudio de lgebras de Jordan, como veremos mas adelante, nos intereza que para un campo F con unidad 1, la ecuacion x + x = 1 tenga solucin en F . Es claro que si tal solucin existe, entonces es nica porque F es un campo. Denotamos tal solucin por x = 1/2. Vemos entonces que necesariamente la caracterstica de F es distinta de 2.

En lo que sigue del texto, F ser un campo tal que la ecuacin x + x = 1 tenga solucin en F . Denicin 9 . 1. Sea A una F-lgebra conmutativa. Decimos que A es un lgebra de Jordan si se cumple la identidad de Jordan: (xy)x2 = x(yx2 ) 2. Sea A una F-lgebra. Denimos el Producto de Jordan como: : AA A 1 y = (xy + yx) 2

(x, y) x

Al anillo con la operacion asi denida, lo denotaremos por A+ . Proponemos as un teorema importante: Teorema 4 Sea A una F-lgebra asociativa. Entonces A+ es una F-lgebra de Jordan. Demostracin 1 No es dicil ver que A+ es un lgebra conmutativa. Para demostrar la identidad de 1 Jordan, utilizamos que A es asociativa y que 1 2 x = x 2 para todo x A El anterior teorema nos proporciona una innidad de ejemplos de lgebras de Jordan. Como todos son similares, presentamos uno.

Ejemplo 5:
1 1. Las matrices Mnn (R) con el producto denido por 2 (AB + BA) es una R-lgebra de Jordan. Este ejemplo es clsico porque de aqu se origin el estudio de las lgebras de Jordan

3.

Bibliografa
1. R. D. Schafer; 1961; An introduction to NonAssociative Algebras; http://www.gutenberg.org/ebooks/25156; 1-5 2. Nathan Jacobson; 1985; Basic Algebra 1 Second Edition; 405-410 3. Max Koecher; 1962; The Minnesota Notes on Jordan Algebras and Their Applications;45, 53 4. A. A. Albert; 1947; A Structure Theory for Jordan Algebras; 1 5. K. A. Zhevlakov, A. M. Slinko, I. P. Shestakov, A. I. Shirshov; 1982; Rings that are nearly associative; 51, 52 6. Candido Gonzales Martin; 2008; lgebras no asociativas; 5-8 7. Notas de curso de lgebra 3 8. John C. Baez; 2001; The Octonions; http://math.ucr.edu/home/baez/octonions/node3.html