7.2.

EJEMPLOS: ANILLOS POLINMICOS, ANILLOS DE MATRICES Y ANILLOS DE GRUPO Introducimos aqu tres importantes tipos de anillos: anillos polinmicos, anillos de matrices y anillos de grupo. Veremos a lo largo de este texto que estas tres clases de anillos estn frecuentemente relacionados. Por ejemplo, veremos en la Parte IV que el anillo de grupo de un grupo G sobre los nmeros complejos matrices sobre . es un producto directo de los anillos de

Estos anillos tambin tienen muchas aplicaciones importantes, adicionalmente a ser interesantes en s mismas. En la Parte III usaremos los anillos polinmicos para probar algunos teoremas de clasificacin para matrices que, en particular, determinan cuando una matriz es semejante a una matriz diagonal. En la Parte VI usaremos los anillos de grupo para estudiar acciones de grupo y probar algunos teoremas de clasificacin adicionales importantes. Anillos Polinmicos Fije un anillo conmutativo R con identidad. Definimos el anillo de polinomios en una forma que podra ser ya familiar, al menos para polinomios con coeficientes reales. Una definicin en trminos de productos cartesianos se da en el apndice I. Sea x una incgnita. La suma formal

Con n0 y con los

, es llamado un polinomio en x con coeficientes

Si

entonces se dice que el polinomio es de grado n, es llamado el trmino principal, y an es llamado el coeficiente principal (el coeficiente principal del polinomio cero es tomado como 0). El polinomio es mnico si an=1. El conjunto de todos dichos polinomios es llamado el anillo de polinomios en la variable x con coeficientes en R y ser denominado R[x]. Las operaciones de adicin y multiplicacin que convierten a R[x] en un anillo son las mismas operaciones familiares del lgebra elemental: la adicin es trmino a trmino.

(aqu an o bn podran ser cero para poder definir la adicin de polinomios de diferentes grados). La multiplicacin es realizada al definir para polinomios con solo un trmino no cero y luego extendindolo a todos los polinomios por ley distributiva (usualmente referida como expandir y agrupar trminos semejantes):

(en general, el coeficiente de xk en el producto ser ) Estas operaciones tiene sentido dado que R es un anillo as que las sumas y productos de los coeficientes estn

definidos. Una fcil verificacin prueba que R[x] es de hecho un anillo con estas definiciones de adicin y multiplicacin. El anillo R aparece en R[x] como los polinomios constantes. Note que por definicin de la multiplicacin, R[x] es un anillo conmutativo con identidad (la identidad 1 de R). El anillo coeficiente R de arriba fue asumido como un anillo conmutativo dado que esta es la situacin en la que estaremos interesados principalmente, pero note que la definicin de adicin y multiplicacin en R[x] de arriba sera an vlida incluso si R no fuese conmutativa o no tuviese una identidad. Si el anillo coeficiente R es los enteros (respectivamente, los racionales ) el anillo polinmico (Respectivamente, ) es el anillo de polinomios con coeficientes enteros (racionales) familiares del lgebra elemental. Otro ejemplo es el anillo polinmico de polinomios en x con coeficientes es . Este anillo consiste de potencias no negativas de x con coeficientes 0,1, y 2 con los clculos en los coeficientes realizados en mdulo 3. Por ejemplo, si

El anillo en el cual los coeficientes son tomados hace una diferencia sustancial en el comportamiento de los polinomios. Por ejemplo, el polinomio no es un cuadrado perfecto en el anillo polinomial , pero es un cuadrado perfecto en el anillo polinmico , dado que en este anillo.

Proposicin 4. Sea R un dominio integral y sean p(x), q(x) elementos no cero de R[x]. Entonces (1) Grado p(x)q(x) = grado p(x) + grado q(x), (2) Las unidades de R[x] son solo las unidades de R, (3) R[x] es un dominio integral. Prueba: Si R no tiene divisores cero entonces tampoco R[x]; si p(x) y q(x) son polinomios con trminos principales p(x)q(x) es respectivamente, entonces el trmino principal de . Esto prueba (3) y tambin verifica (1). Si p(x) es una

unidad, digamos entonces grado p(x) + grado q(x) = 0, as que tanto p(x) como q(x) son elementos de R, entonces son unidades en R dado que su producto es 1. Esto prueba (2). Si el anillo R tiene divisores ceros entonces R[x] tambin los tiene, dado que Tambin, si f(x) es un divisor cero en R[x] (es decir f(x)g(x)=0 para algn entonces de hecho para algn no cero (Ejercicio 2) no cero)

Si S es un subanillo de R entonces S[x] es un subanillo de R[x]. Por ejemplo, es un subanillo de . Algunos otros ejemplos de subanillos de R[x] son el conjunto de todos los 2 polinomios en x (es decir, en el cual solo aparecen potencias pares de x) y el conjunto de todos los polinomios con trmino constante cero (este ltimo subanillo no tiene una identidad) Los anillos polinmicos, particularmente aquellos sobre campos, sern estudiados extensivamente en el captulo 9. Anillos de matrices Fije un anillo arbitrario R y sea n un entero positivo. Sea Mn(R) el conjunto de todas las matrices n x n con elementos de R. El elemento un arreglo cuadrado de n x n elementos de R cuyo elemento en la fila i y columna j es . El conjunto de matrices se vuelve un anillo bajo las reglas usuales por las cuales las matrices de nmeros reales son sumadas y multiplicadas. La adicin es elemento a elemento, el elemento i,j de la matriz . El elemento i,j del la matriz producto (note que estas matrices necesitan ser cuadradas para que la multiplicacin de dos elementos cualesquiera estn definidos). Es un clculo directo el comprobar que estas operaciones convierten a Mn(R) en un anillo. Cuando R sea un campo probaremos que Mn(R) es un anillo mediante mtodos con menos clculos en la Parte III Note que si R es un anillo no trivial (incluso uno conmutativo) y n2 entonces Mn(R) no es conmutativo: si ab0 sea la matriz A con a en la posicin 1,1 y ceros en todas las dems posiciones y sea B la matriz con b en la posicin 1,2 y ceros en todas las dems posiciones; entonces ab es el elemento (no nulo) en la posicin 1,2 de AB mientras que BA es una matriz nula. Estas dos matrices muestran que Mn(R) tiene divisores ceros para todos los anillos no ceros R cuando n2 Un elemento (aij) de Mn(R) es llamada una matriz escalar si para algn para

todo (es decir, todos los elementos de la diagonal son igual a a y todos los elementos fuera de la diagonal son 0). El conjunto de matrices escalares es un subanillo de Mn(R). Este subanillo es una copia de R (es decir, es isomorfo a R): si la matriz A tiene al elemento a a lo largo de la diagonal principal y la matriz B tiene el elemento b a lo largo de la diagonal principal entonces la matriz A+B tiene a+b a lo largo de la diagonal y AB tiene a ab a lo largo de la diagonal (y todos los otros elementos son 0). Si R es conmutativo, las matrices escalares conmutan con todos los elementos de Mn(R). Si R tiene un 1, entonces la matriz escalar con 1s a lo largo de la diagonal (la matriz identidad n x n) es el 1 de Mn(R). En este caso las unidades de Mn(R) son las matrices n x n invertibles y el grupo de unidades es denotado el grupo lineal general de grado n sobre R.

Si S es un subanillo de R entonces Mn(S) es un subanillo de Mn(R). Por ejemplo es un subanillo de es un subanillo de estos dos. Otro ejemplo de un subanillo de Mn(R) es el conjunto de matrices triangulares superiores: { (aij) / apq=0 cuando p>q} (el conjunto de matrices cuyos elementos por debajo de la diagonal principal son ceros) uno

fcilmente comprueba que la suma y producto de matrices triangulares triangular superior. Anillos de Grupos

superiores es

Fije un anillo conmutativo R con identidad 10 y sea un grupo finito con operacin de grupo escrito de manera multiplicativa. Defina el anillo de grupo, RG, de G con coeficientes en R como el conjunto de todas las sumas formales

Si g1 es la identidad de G escribiremos a1g1 simplemente como a1. Similarmente, escribiremos el elemento 1g para simplemente como g. La adicin es definida trmino a trmino

La multiplicacin es realizada al definir primero

donde el producto

ab es tomado en R y es el producto en el grupo G. Este producto es luego extendido a todas las sumas formales por leyes distributivas as que el coeficiente de gk en el producto . Es directo el comprobar que estas operaciones convierten a RG en un anillo (nuevamente, la conmutatividad de R no es necesaria). La asociatividad de la multiplicacin se sigue a partir de la asociatividad de la operacin de grupo en G. El anillo RG es conmutativo si y solo si G es un grupo conmutativo. Ejemplo Sea G=D8 el grupo dihdrico de orden 8 con los generados usuales tpicos de y sea R= . Los elementos . Su suma y producto son entonces son miembros

El anillo R aparece RG como las sumas formales constantes es decir, los R-mltiplos de la identidad de G (note que la definicin de adicin y multiplicacin en RG restringida a esos elementos es solo la adicin y multiplicacin en R). Estos elementos de R conmutan con todos los elementos de RG. La identidad de R es la identidad de RG. El grupo G tambin aparece en RG (el elemento gi aparece como 1gi por ejemplo, son tambin elementos del anillo de grupo de antes) la multiplicacin en el anillo RG restringida a G es solo la operacin de grupo. En particular, cada elemento de G tiene

un inverso multiplicativo en el anillo RG (es decir, su inversa en G). Esto nos dice que G es un subgrupo del grupo de unidades de RG. Si |G|>1 entonces RG siempre tiene divisores ceros. Por ejemplo, sea g cualquier elemento G de orden m>1. Entonces

As que 1-g es un divisor cero (note que por definicin de RG ninguna de las sumas formales en el producto de arriba es cero) Si S es un subanillo de R entonces SG es un subanillo de RG. Por ejemplo, (llamado el

anillo de grupo integral de G) es un subanillo de (el anillo de grupo racional de G). Ms an, si H es un subgrupo de G entonces RH es un subanillo de RG. El conjunto de todos los elementos de RG cuyos coeficientes suman cero es un subanillo (sin identidad). Si |G|>1, el conjunto de todos los elementos con trmino constante cero (es decir, el coeficiente de la identidad de G es cero) no es un subanillo (no es cerrado bajo la multiplicacin) Note que el anillo de grupo no es el mismo grupo que los cuaterniones de Hamilton aunque este ltimo contiene una copia del grupo de cuaterniones Q8 (bajo la multiplicacin). Una diferencia es que el nico elemento de orden 2 en Q8 (usualmente denotado por -1) no es el inverso aditivo de 1 en . En otras palabras, si temporalmente denotamos la identidad del grupo Q8 por g1 y el nico elemento de orden 2 por g2, entonces g1+g2 es no cero en , mientras que 1+(-1) es cero en . Ms an, como se menciono arriba, el anillo de grupo contiene divisores ceros y por ende no es un anillo divisin. Los anillos de grupo sobre campos sern estudiados extensivamente en el captulo 18.