nea Matema tica 50 (2009) 7788 Miscela

SMM

El teorema fundamental del algebra sobre los cuaterniones

Ernesto Guerrero, Roger Pacheco y Efr en P erez*
Facultad de Matem aticas de la Universidad Aut onoma de Yucat an *jperezt@uady.mx

Resumen Se enuncian propiedades de los anillos de polinomios oblicuos (skew-polynomial rings) y se clasican las IH derivaciones izquierdas de los cuaterniones H. Se prueba que los anillos de polinomios oblicuos sobre H, y que provienen de funciones Rlineales, son equivalentes a H[x]. Se demuestra que sobre dicho anillo se cumple el Teorema Fundamental del Algebra.

1.

Introducci on

Los anillos de polinomios oblicuos, o skew-polynomial rings, son una generalizaci on muy interesante de los polinomios usuales, la cual fue creada por Ore [9] y Wedderburn [5]. Los autores nos acercamos a este tema ya que, entre otras cosas, dichos polinomios sirven para clasicar los m odulos de longitud nita de algunas a lgebras de dimensi on nita1 . Tan interesantes nos parecieron dichos polinomios que decidimos escribir este art culo, con el que queremos generar curiosidad por los polinomios oblicuos, explicar por qu e bajo condiciones de Rlinealidad todo anillo de polinomios oblicuos sobre los cuaterniones, H, es equivalente a H[x] y probar que en este anillo todo polinomio, que no es cero ni unidad, se factoriza en polinomios de grado 1. Para lograrlo elegimos la siguiente estructura: En la secci on 2 recordamos qu e son los cuaterniones. En la secci on 3 denimos los polinomios oblicuos, utilizando una generalizaci on de los coecientes binomiales para composici on de funciones; por supuesto que aparece el tri angulo de Pascal y propiedades que son bien conocidas en las combinatorias usuales.
Proyecto de investigaci on Representaciones de algebras de dimensi on nita sobre el campo de los n umeros reales
1

78

Ernesto Guerrero, Roger Pacheco . . .

A partir de la secci on 4 nos restringimos al caso en que el anillo subyacente es un anillo de divisi on. En dicha secci on recopilamos herramientas muy bonitas que ser an soporte para el resto del texto. Lo m as notorio es que hay resultados sobre polinomios oblicuos muy parecidos a aquellos que aprendemos en la licenciatura respecto a polinomios usuales; como por ejemplo que sus ideales, izquierdos y derechos, son principales. En la secci on 5 clasicamos las IH derivaciones izquierdas; nos extendimos un poco con esa prueba pues es f acil y es indispensable para que limitemos el an alisis al anillo de polinomios H[x]. En la secci on 6 probamos el teorema fundamental del a lgebra sobre H[x]. En la secci on 7 comentamos un poco acerca de generalizaciones de estos resultados.

2.

H de Hamilton

Podemos considerar a los cuaterniones, denotados por H, como el conjunto de las expresiones formales a + bi + cj + dk, donde a, b, c y d son n umeros reales, junto con las siguientes operaciones: 1.- Suma: (a + bi + cj + dk ) + (a + b i + c j + d k ) = (a + a ) + (b + b ) i + (c + c ) j + (d + d ) k. 2.- Producto: (a + bi + cj + dk ) (a + b i + c j + d k ) = (aa bb cc dd ) + (ab + a b + cd c d) i + (ac + a c bd + b d) j + (ad + a d + bc b c) k. En la segunda f ormula podemos ver las cl asicas relaciones i2 = j 2 = k 2 = 1, ij = k, jk = i, ki = j, ji = k, kj = i, ik = j. Es conocido que H es un anillo de divisi on no conmutativo, que el centro de H es R y que la dimensi on de H, como Respacio vectorial, es 4. Los cuaterniones fueron descritos por primera vez en 1843 por Sir William Rowan Hamilton, quien buscaba generalizar a los complejos. Es posible encontrar reediciones de trabajos de Hamilton, como [4], en donde se puede apreciar el comienzo geom etrico de los teoremas acerca de los cuaterniones.

 lgebra sobre . . . El teorema fundamental del a

79

3.

Polinomios oblicuos, torcidos y diferenciales

Expresemos con m as claridad los t erminos a emplear, comenzando por una denici on que nos hace recordar al c alculo diferencial. En este art culo todo anillo es asociativo y con unitario. Recordemos que si : R R es un endomorsmo del anillo R entonces, o es el endomorsmo cero, o manda a 1R en 1R . Denici on 3.1 Sean R un anillo y : R R un endomorsmo del anillo R. Diremos que una funci on : R R es una derivaci on izquierda si es aditiva y adem as, para cada r, s R, se cumple que (rs) = (r) (s) + (r)s. Al conjunto de las derivaciones lo vamos a denotar por Der( ). Denici on 3.2 Si : R R es un endomorsmo de anillos y c R, tenemos la derivaci on interna ,c dada por ,c (r) = (r)c cr. Al conjunto de las derivaciones internas lo denotaremos por Inder( ). Observaci on 3.3 Der( ) es un grupo abeliano bajo la suma usual de funciones. Adem as Inder( ) es un subgrupo de Der( ). Con estas nociones se construyen los polinomios oblicuos. En los polinomios usuales los coecientes binomiales C (n, m) son una herramienta est andar y aqu vamos a mostrar una generalizaci on. Denici on 3.4 Sean R un anillo y : R R y : R R funciones , aditivas. Para n, m N {0} con n m denimos Cn,m : R R como la suma de todas las formas de componer m funciones con , n m funciones ; por ejemplo C2 ,1 = + , mientras que , , 2 2 C3,1 = + + . Por comodidad denimos C0 ,0 = IR , (identidad en R) y, cuando n < m, Cn,m = 0. Esta idea nos permite desarrollar el correspondiente tri angulo de Pascal:

80

Ernesto Guerrero, Roger Pacheco . . .

, C1 ,0 c

    

, C0 ,0 c

cc cc cc 1

, C2 ,0 b

    

cc cc cc 1

. . .

bb bb bb bb  1. .

, C2 ,1 b

    

, C1 ,1 c

cc cc cc 1

bb bb bb bb  1. .

, C2 ,2U

UU UU UU U'

. . .

donde las echas indican composici on y cada nodo es la suma de las composiciones que indican las echas. Proposici on 3.5 Sean R un anillo y : R R y : R R funciones aditivas. Entonces, para n, m, a N {0} se cumple lo siguiente:
, tiene C (n, m) sumandos. a) Cn,m , , , b) Cn,m + Cn,m +1 = Cn+1,m+1 . , c) Cn +a,m = m i=0 , , Cn,i Ca,m i .

d) Si es un endomorsmo de anillos y es una derivaci on izquier, , da entonces, para r, s R, tenemos que Cn,m (rs) = n j =m Cn,j (r ) , (s) . Cj,m Comentario acerca de la demostraci on: (a), (b) y (c) pueden ser obtenidos casi directamente de las deniciones. , , Para el inciso (d), los casos C1 ,0 y Cm,m con m N {0} son claros, luego usamos el inciso (b) para probar por inducci on sobre n , que la armaci on es cierta para Cn,m . Algo se ha trabajado, pero la siguiente denici on vale la pena. Denici on 3.6 Sean R un anillo, : R R un endomorsmo de anillos y : R R una derivaci on izquierda. El anillo de polinomios oblicuos R [x; , ] es el Rm odulo izquierdo de las expresiones formales r0 + r1 x + r2 x2 + ... + rm xm donde ri R y m N {0}, junto con la multiplicaci on que se obtiene de extender linealmente a , i xn r = n (1) i=0 Cn,i (r )x

 lgebra sobre . . . El teorema fundamental del a

81

A R [x; , 0] se le llama tambi en anillo de polinomios torcidos (twisted polynomial ring), mientras que a R [x; IR , ] se le conoce como un anillo de polinomios diferenciales (dierential polynomial ring). Observaci on 3.7 Notemos que la f ormula (1) proviene de la aplicaci on sucesiva de la identidad xr = (r)x + (r); cuando = 0 se obtiene la multiplicaci on por la derecha girando o torciendo (twisting) a la izquierda v a . Cuando = 0 podemos imaginar la multiplicaci on a la derecha como girar a la izquierda y bajar un grado, lo que es un movimiento oblicuo (skew). Proposici on 3.8 Sean R un anillo, : R R un endomorsmo de anillos y : R R una derivaci on izquierda, entonces R [x; , ] es un anillo. Bosquejo de demostraci on: La prueba es larga, pero etapas importantes de la misma son las identidades xn (xm r) = xn+m r, la cual se demuestra utilizando el inciso (c) de 3.5, y (xr)(xn s) = x(rxn s), para la cual se usa el inciso (d) de 3.5. Veamos c omo lucen estas ideas en situaciones concretas: Ejemplo 3.9 La identidad IH : H H es un automorsmo y la funci on cero en los cuaterniones es una IH derivaci on izquierda, luego H [x; IH , 0] es un anillo de polinomios oblicuos, que al mismo tiempo es de polinomios torcidos y de polinomios diferenciales. Debido a que en este caso la multiplicaci on es igual que la de los polinomios usuales, en lo sucesivo denotaremos H [x; IH , 0] = H [x] . Ejemplo 3.10 En los complejos C tenemos el cl asico Rautomorsmo dado por la conjugaci on (a + bi) = a bi = a + bi; luego en C [x; , 0] se tiene para cada C que xn = xn si n es impar y que xn = xn si n es par, por lo que es sencillo multiplicar polinomios:
n m n+m u

i x
i=0

i j =0

j x

=
u=0 t=0

t t (ut ) xu .

Debemos notar que para toda C se cumple que : C C, dada por (a + ib) = b, es una derivaci on izquierda. Ejemplo 3.11 Consideramos el automorsmo identidad IH : H H y la IH derivaci on izquierda dada por (a + bi + cj + dk ) = dj ck, para obtener el anillo H [x; IH , ] . Es sencillo vericar, para h H la identidad

82

Ernesto Guerrero, Roger Pacheco . . .

n , Cn,i (h)xi

x h=
i=0

=
i=0

C (n, i) ni (h)xi .

Adem as, para m, n N y m n mod(4) se cumple que m = n .

4.

Polinomios oblicuos sobre anillos de divisi on

De ahora en adelante D es un anillo de divisi on, : D D es un automorsmo (endomorsmo de anillos biyectivo), una derivaci on izquierda y D [x; , ] el correspondiente anillo de polinomios oblicuos. En este contexto hay propiedades interesantes, algunas de las cuales enunciaremos a continuaci on y que son muy parecidas a las de los polinomios usuales: Teorema 4.1 Sea S = D [x; , ] . a) S no tiene divisores de cero.
m m = f S, con dm = 0, denimos grad(f ) = m, b) Para i=0 di x mientras que el polinomio cero tiene grado igual a ; entonces para cualesquiera f, g S se tiene que grad(f g ) = grad(f )+grad(g ).

c) En S se cumple el algoritmo de la divisi on por la izquierda, es decir que si f S y g S {0} entonces existen u nicos q, r S tales que f = qg + r con r = 0 o grad(r) < grad(g ). d) Si L es un ideal izquierdo de S entonces es un ideal principal, es decir que hay al menos un elemento g S tal que L = Sg ; en otras palabras, S es un dominio de ideales izquierdos principales. e) En S se cumple el algoritmo de la divisi on por la derecha, es decir que si f S y g S {0} entonces existen u nicos q, r S tales que f = gq + r con r = 0 o grad(r) < grad(g ). f ) Si J es un ideal derecho de S entonces es un ideal principal, es decir que hay al menos un elemento g S tal que L = gS ; en otras palabras, S es un dominio de ideales derechos principales. Para la prueba remitimos al lector a [5]. En los polinomios usuales es cl asica la t ecnica de cambiar de variable; tambi en funciona en este tipo de polinomios oblicuos:

 lgebra sobre . . . El teorema fundamental del a

83

Proposici on 4.2 Sean D [x; , ] , b D {0}, c D e y = bx + c; entonces todo elemento de D [x; , ] se puede escribir de manera u nica como un polinomio sobre y. M as a un, este cambio de variable determina un automorsmo : D D dado por (d) = b (d)b1 , as como una derivaci on izquierda : D D dada por (d) = b (d) + cd 1 b (d)b c. En particular D [x; , ] = D [y ; , ] . Bosquejo de demostraci on: En 3.7 se coment o que la forma de multiplicar polinomios queda determinada por el resultado de multiplicar escalares por la derecha, as que es suciente con que calculemos yd : de la f ormula (1) obtenemos que xd = (d) x + (d) , luego yd = = = = = (bx + c) d b (d)x + b (d) + cd b (d)b1 bx + b (d) + cd b (d)b1 (bx + c) b (d)b1 c + b (d) + cd (b (d)b1 ) y + b (d) + cd b (d)b1 c

Dejamos al lector vericar el resto de las armaciones. Denici on 4.3 Para cada b D hay un automorsmo b (d) : D D dado por b = bdb1 ; a este tipo de automorsmos se les llama automorsmos internos. Proposici on 4.4 Todos los automorsmos Rlineales de H son internos. Este resultado es bien conocido, pero el lector interesado puede encontrar una prueba con un m nimo de herramientas en el escrito [1]. Corolario 4.5 Si es Rlineal entonces H [x; , ] es igual a H [y ; IH , ] v a un cambio de variable. Demostraci on: Por 4.4 sabemos que = b para alg un b D; 1 luego, como ya vimos en 4.2, el cambio de variable y = b x nos deja con = IH . Ejemplo 4.6 Como en el ejemplo 3.10 sea C [x; , ] , donde es la conjugaci on y () = Im(); 2 entonces, mediante el cambio de variai y usando 4.2 obtenemos que ble y = x + 2 C [x; , ] = C [y ; , 0] .
2

Im() es la parte imaginaria de .

84

Ernesto Guerrero, Roger Pacheco . . .

5.

Las IHderivaciones izquierdas Rlineales son internas

En 4.5 vimos como en H [x; , ] podemos simplicar a ; ahora queremos eliminar a . Observaci on 5.1 Si : D D es una derivaci on izquierda entonces (1) = (1 1) = (1) (1) + (1)1 = 1 (1) + (1)1 nos lleva a que (1) = 0. Entonces, si F es un subcampo de D y es F lineal, tendremos para cada z F que (z ) = z (1) = 0. Tambi en es cierto que si (z ) = 0 entonces (dz ) = (d)z. Teorema 5.2 Sean : H H un automorsmo que ja a R y 1 una derivaci on izquierda que es Rlineal; entonces hay un cambio de variable y = bx + u tal que H [x; , 1 ] = H [y ; IH , 0] . Demostraci on: Por 4.5 hay un cambio de variable x = bx tal que H [x; , 1 ] = H [x ; IH , ] . Por 4.2 es Rlineal, as que es suciente con conocer (i), (j ) y (k ) para poder determinar (h) para cualquier h H. Note que la Rlinealidad de implica que (R) = {0} . Supongamos que w {i, j, k } y denotemos (w) = aw + bw i + cw j + dw k. (1)

Dado que w2 = 1 se sigue que 0 = (1) = (ww) = w (w) + (w)w, por lo tanto w (w) = (w)w. Luego, si w = i entonces i (i) = (i)i, lo que con la notaci on de la ecuaci on 4.1 es equivalente a que ai i bi + ci k di j = ai i + bi + ci k di j, as que ai = bi = 0 y (i) = ci j + di k. Del mismo modo se verica que (j ) = bj i + dj k y que (k ) = bk i + ck j. Combinando estos resultados se tienen las identidades (ij ) = i (j ) + (i)j (k ) = i(bj i + dj k ) + (ci j + di k )j bk i + ck j = bj dj j ci di i

 lgebra sobre . . . El teorema fundamental del a

85

y por lo tanto bj = ci , bk = di y ck = dj . De jk = i y ki = j obtenemos identidades similares, por lo que podemos armar que (i) = ci j + di k, Ahora sea u = (j ) = ci i + dj k y (k ) = di i dj j.

di ci dj i + j k ; es f acil vericar que 2 2 2

iu ui = i

dj di ci dj di ci i+ j k i+ j k i 2 2 2 2 2 2 dj di ci dj di ci = + k+ j + k+ j 2 2 2 2 2 2 = di k + ci j = (i).

Similarmente se verica que ju uj = (j ) y ku uk = (k ). Luego (h) = hu uh, es decir que es la IH derivaci on interna IH ,u . Mediante el cambio de variable y = x + u se tiene por 4.2 que = IH ,u = 0.

6.

Factorizando en polinomios lineales

Recordemos que H [x; IH , 0] lo denotamos por H [x] . En los polinomios oblicuos puede haber m as formas de factorizar de las que estamos acostumbrados a ver en los polinomios usuales, por ejemplo, en H [x] se tiene que x2 + 1 = (x + q ) (x q ) , donde q = bi + cj + dk y b2 + c2 + d2 = 1. Esta conducta sin embargo no nos aleja demasiado de deniciones y resultados cl asicos, como veremos a continuaci on. Denici on 6.1 Un elemento p D [x; , ] es irreducible si no es una unidad y si adem as p = qt implica que q es unidad o que t es unidad. Denici on 6.2 Sea S = D [x; , ] . Los elementos irreducibles p y q en S son similares si S/Sp odulos izquierdos. = S/Sq como S m Proposici on 6.3 La relaci on similitud es una relaci on de equivalencia y p es similar a q si y s olo si S/pS = S/qS como S m odulos derechos. Observaci on 6.4 Sea S = H [x] , entonces un isomorsmo de S m o dulos S/Sp = S/Sq tambi en es un isomorsmo de Respacios vectoriales, luego deben de tener la misma dimensi on. Por otro lado, no es dif cil ver que dimR (S/Sp) = 4 si y s olo si grad(p) = 1.

86

Ernesto Guerrero, Roger Pacheco . . . El siguiente resultado es el teorema 1.2.9 de [5].

Teorema 6.5 (An alogo del Teorema Fundamental de la Aritm etica) Sea g D [x; , ] {0}; entonces g tiene al menos una factorizaci on en irreducibles g = p1 ...pm , la cual es u nica salvo orden y similitud: si g = q1 ...qn es otra factorizaci on en irreducibles entonces n = m y hay una biyecci on : {1, ..., n} {1, ..., n} tal que pi es similar a q(i) . Vamos a usar un simp atico truco, el cual consiste en aumentar el grado para poder aplicar el Teorema Fundamental del Algebra en los complejos. Proposici on 6.6 Sea g H [x] tal que grad(g ) 1; entonces hay alg un q H [x] tal que gq es un polinomio con coecientes reales. Demostraci on: Sea n = grad(g ). Para cada i {0, 1, ..., 4n} tenemos, por 4.1 inciso (e), que xi = gqi + ri con ri = 0 o grad(ri ) < n. Si hay alguna i tal que ri = 0 entonces se ha cumplido el enunciado, en caso contrario, notemos que hay 4n + 1 remanentes ri , mientras que la dimensi on sobre los reales de los polinomios de H [x; IH , 0] con grado menor que n es precisamente 4n. Esto signica que hay coecientes n reales ci tales que 4 i=0 ci ri = 0, por lo que
4n 4n

ci x = g
i=0 i=0

ci q i

Corolario 6.7 Sea g H [x] tal que grad(g ) 1; entonces g se puede factorizar en polinomios lineales; en otras palabras se cumple el Teo rema Fundamental del Algebra. Adem as, todo polinomio irreducible es similar a un polinomio de la forma x , con en los complejos. Demostraci on: Por 6.6 existe q H [x] tal que gq R [x] , luego, por el Teorema Fundamental del Algebra en los complejos, podemos factorizar gq = (x 1 ) (x m ) , donde cada i es un complejo. Aplicando 6.5 se sigue que si p es un irreducible que divide a g entonces es similar a alg un x i . Por 6.4 p es de grado 1.

 lgebra sobre . . . El teorema fundamental del a

87

7.

Comentarios nales

Tal vez el lector se pregunte por nuestra insistencia en usar funciones Rlineales en H [x; , ] , pero es que sin esa condici on se incrementan las posibilidades: si bien una IR derivaci on izquierda anula a los racionales Q, el resto es muy exible, pues para cada elemento r R Q es posible construir alguna IR derivaci on izquierda tal que (r) = 0. M as a un, si es una IR derivaci on izquierda entonces : H H dada por (a + bi + cj + dk ) = (a) + (b)i + (c)j + (d)k es una IH derivaci on izquierda; as que hay una innidad no numerable de IH derivaciones izquierdas que no son Rlineales. Las armaciones previas no son dif ciles de probar y el lector puede encontrarlas demostradas con detalle en [10]. Tambi en queremos comentar que 6.7, en t erminos de la existencia de ra ces, es conocido desde los tiempos de la segunda guerra mundial (ver [2] o [7]), aunque casos particulares ya hab an sido demostrados por el creador de los cuaterniones (pp. 277-292 de [4]). En la literatura actual, como por ejemplo 16.14 y 16.15 de [6], puede uno encontrar versiones del Teorema Fundamental del Algebra para anillos que son generalizaciones de los cuaterniones.

Referencias
[1] A. Can, E. Guerrero, E. P erez, Automorsmos de H, por aparecer en Eureka. [2] S. Eilenberg, I. Niven, The Fundamental Theorem of Algebra for Quaternions, Bull. Amer. Math. Soc., Vol. 50, pp. 246-248, 1944. [3] K. R. Goodearl, R. B. Wareld, Jr. An Introduction to Noncommutative Noetherian Rings, 2nd edition, London Mathematical Society, Student Texts 61, Cambridge Universtity Press, 2004. [4] Sir W. R. Hamilton. Quaternions, third edition, Vol. I, Chelsea Publishing Company, 1969. [5] N. Jacobson. Finite-Dimensional Division Algebras over Fields, Springer-Verlag, 1996. [6] T. Lam. A First Course in Noncommutative Rings, 2dn ed., Springer-Verlag, 2001.

88

Ernesto Guerrero, Roger Pacheco . . .

[7] M. Leum, M. F. Smiley, A Matric Proof of the Fundamental Theorem of Algebra for Real Quaternions, The American Mathematical Monthly, Vol. 60, No. 2, pp. 99 -100, Feb 1953. [8] J. C. McConnell, J. C. Robson. Noncommutative Noetherian Rings, Graduate Studies in Mathematics, Vol. 30, American Mathematical Society, 2001. [9] O. Ore, On a special class of polynomials, Trans. Amer. Math. Soc., Vol. 35, No. 3 (1933), pp. 559-584. [10] Roger Benito Pacheco Castro, Tesis de licenciatura Polinomios Torcidos y Representaciones de Algebras de Dimensi on Finita Sobre los N umeros Reales, Facultad de Matem aticas de la Universidad Aut onoma de Yucat an, 29 de mayo del 2009.