Nombre/Código: Febrero Examen I. 5 /10pts. Total: /50pts

Transcripción

1 1 Álgebra abstracta II Guillermo Mantilla-Soler Nombre/Código: Febrero Examen I Problemas Puntuación 1 /10pts 2 /10pts 3 /10pts 4 /10pts 5 /10pts Total: /50pts

2 2 Preguntas Problema 1[10 pts]: Sea R un anillo conmutativo con identidad. Muestre que: (i) 2pts Si 0 es un ideal primo de R entonces R es un dominio integral. (ii) 2pts Si 0 es un ideal maximal de R entonces R es un cuerpo. (iii) 2pts Si R es finito muestre que todo ideal primo es maximal. (iv) 2pts Si R es un anillo Booleano i.e., para todo r R se tiene que r 2 = r, muestre que todo ideal primo es maximal. (v) 2pts Si R[x], el anillo de polinomios sobre R, es un D.I.P entonces R es un cuerpo. Sol: Recuerde que un anillo conmutativo con identidad tenemos lo siguiente: (a) un ideal P es primo sii R/P es un dominio, (b) un ideal M es maximal sii R/M es un cuerpo y (c) si R es un dominio finito entonces R es un cuerpo. (i) Dado que R/0 = R el resultado se sigue de (a). (ii) Dado que R/0 = R el resultado se sigue de (b). (iii) Si P es un ideal primo de R tenemos por (a) que R/P es un dominio, y como R es finito, también es un dominio finito. Se sigue de (c) que R/P es un cuerpo y gracias a (b) concluimos que P es un ideal maximal. (iv) Sea P un ideal primo y sea x R/P. Como x es la imagen de algún r R bajo la proyección canónica, y como r 2 = r para todo r, se tiene que x 2 = x o equivalentemente x(x 1) = 0. Como P es un ideal primo R/P es un dominio, por lo tanto x = 0 ó x = 1. En particular, todo x 0 es una unidad i.e., R/P es un cuerpo y gracias a (b) concluimos que P es maximal. (v) Como R[x] es un D.I.P todo elemento irreducible genera un ideal primo, más aun todo ideal primo no trivial es maximal. Dado que x es irreducible (esto se sigue ya que R[x] es dominio y el grado de x es 1) tenemos que R[x]/ x es un cuerpo, pero este último es isomorfo a R.

3 3 Problema 2[10 pts]: Considere el anillo R := Z/2310Z. (i) 2pts Muestre que R no es un dominio entero. (ii) 2pts Muestre que R es isomorfo al producto de 5 cuerpos. (iii) 2pts Muestre que R no es un grupo cíclico. (iv) 2pts Encuentre la intersección de todos los ideales primos de R. (v) 2pts Encuentre el radical de Jacobson de R. Sol: (i) Denotemos por [n] 2310 la clase de un entero n en R. Entonces si a := [10] 2310 y b := [231] 2310 se tiene que a 0 y b 0 pero ab = 0. (ii) Note que 2310 = Dado que 2, 3, 5, 7 y 11 son coprimos entre si (ya que son primos) se sigue del teorema Chino del residuo que Z/2310Z = Z/2Z Z/3Z Z/5Z Z/7Z Z/11Z. (iii) Por lo anterior tenemos que R = (Z/2Z) (Z/3Z) (Z/5Z) (Z/7Z)) (Z/11Z)). Note que el grupo de la derecha tiene más de dos elementos de orden 2, esto se sigue ya que todos menos el primer factor tiene orden divisible por 2, pero un grupo cíclico finito de orden par tiene un único elemento de orden 2. (iv) Como R es conmutativo con identidad la intersección de todos sus ideales primos es igual al ideal generado por nilpotentes. Como 2310 es libre de cuadrados R no tiene nilpotentes diferentes de 0, por tanto la intersección sobre todos los primos es trivial. (v) Como R es finito ideal primo y maximal son equivalentes (ver punto 1.iii) por lo tanto el radical de Jacobson es igual a la intersección de todos los ideales primos la cual es trivial por el inciso anterior.

4 4 Problema 3[10 pts]:el conjunto R N de sucesiones reales tiene una estructura de anillo conmutativo (R N, +, ) con identidad de la siguiente forma : dadas (u n ) n N, (v n ) n N, se define (u n ) n N + (v n ) n N := (u n + v n ) n N (u n ) n N (v n ) n N := (u n v n ) n N. Una sucesión (u n ) n N se llama de soporte finito si existe N N tal que u n = 0 para todo n N. (i) 2pts Justifique brevemente por qué el conjunto I de sucesiones de soporte finito es un ideal de R N y por qué es propio. (ii) 2pts Es I un ideal principal? (iii)2pts Es I un ideal primo? (iv) 2pts De un ejemplo explícito de un ideal maximal de R N. (v)2pts Muestre que existe M ideal maximal de R N que contiene a I. Puede describir un maximal M que contiene a I de manera explícita? Sol: (i) La identidad del anillo es la secuencia (a n ) con a n = 1 para todo n. Como esta secuencia no tiene soporte finito se sigue que I no contiene la identidad, en particular es propio. Si definimos el soporte de un elemento (a n ) R N, digamos supp((a n )), como el conjunto de los n tal que a n 0 entonces I es un ideal ya que supp((a n b n )) supp((a n )) y supp((a n + b n )) supp((a n )) supp((b n )). (ii) No. Suponga que (a n ) es un generador. Sea N tal que a n = 0 para todo n N. Defina b n como b N+1 = 1 y b n = 0 para los otros valores de n. Claramente (b n ) I pero (a n ) no puede dividir a b n ya que a N+1 = 0 no divide a b N+1 = 1. (iii) No. Tome la secuencia (a n ) que tiene 1 en toda las posiciones pares y 0 en las impares, y la secuencia (b n ) que tiene 1 en todas las posiciones impares y 0 en todas las pares. Entonces (a n )(b n ) es la secuencia (0), que claramente está en I, pero ni (a n ) ni (b n ) están en I. (iv) Tome M el conjunto de secuencias tales que a 0 = 0 (acá estoy pensando que los naturales contienen el 0). M es maximal ya que es el kernel del epimorfismo de R N al cuerpo R que envía la secuencia (a n ) a su primer elemento a 0. (v) Dado que en un anillo conmutativo con identidad todo ideal propio está contenido en un maximal el resultado se sigue de la parte (i). [Yo no sé cómo describir uno de esos M explícitamente.]

5 5 Problema 4[10 pts]: Sea R[x] el anillo polinomial en una variable sobre el cuerpo de los números reales. Considere el sub-anillo de R[x] definido por R := {p(x) R[x] : p (0) = 0}. Acá p (x) denota la derivada usual con respecto a la variable x. (i) 2pts Muestre que R es un dominio entero. (ii) 2pts Sea M := x 2, x 3 el ideal de R generado por x 2 y x 3. Muestre que M es un ideal maximal de R. (iii) 2pts Es R un D.I.P? (iv) 2pts Muestre que x 2 R es un elemento irreducible pero no primo en R. (v) 2pts Es R un D.F.U? Sol: Primero note que por definición de R todo elemento se escribe de la forma a 0 + a 2 x 2 + x 3 p(x) donde a 0, a 2 R y p(x) R[x]. (i) El anillo R está contenido, por definición, en R[x] que es un dominio entero. Por lo tanto R es un dominio entero. (ii) La evaluación en 0, llamémola ev, es un homomorfismo de R[x] a R. Se sigue que la función ev R : R R es un homomorfismo (restricción de homomorfismo a un sub-anillo es un homomorfismo). Dado que para cualquier r R se tiene que ev R (r +x 2 ) = r entonces el homomorfismo restringido es sobreyectivo. Ahora q = a 0 +a 2 x 2 +x 3 p(x) está en el kernel de ev R si y sólo si a 0 = 0. Suponga que q está en el kernel y sea p(x) = b 0 + b 1 x b n x n. Entonces q = a 2 x 2 + x 3 p(x) = (a 2 + b 1 x 2 )x 2 + (b 0 + b 2 x b n x n )x 3 i.e., q = ax 2 +bx 3 para algunos a, b R. Se sigue que Ker(ev R ) = x 2, x 3. Por el primer teorema del isomorfismo R/ x 2, x 3 = R, de donde el resultado se sigue ya que R es un cuerpo. (iii) No.(Si lo fuera sería un D.F.U que no lo es gracias al punto (v)). También se puede dar un ejemplo explícito de un ideal no principal: el ideal M del punto (ii) no es principal. Si lo fuera existiría q R tal que q divide ambos x 2 y x 3. Como R R[x] el elemento q dividiría al m.c.d(x 2, x 3 ) = x 2 ( acá utilizamos que R[x] es un D.F.U.) Ahora como q está en M tenemos, por la prueba del punto anterior, que q(0) = 0 en particular q no puede ser constante. Se sigue que q(x) = ax ó q(x) = ax 2 para algún a R. Como x / R tenemos que q(x) = ax no es posible. Por otro lado ya que x 3 M, y q es un generador, q x 3, En particular q tampoco puede ser de la forma ax 2 ya que x / R y x 3 = x 2.x en el D.F.U R[x]. (iv) Si x 2 se pudiera factorizar en R entonces cualquier factorización valida sería también una factorización en R[x]. Como R[x] es un D.F.U, x 2 = x.x es la factorización en irreducibles de x 2 en R[x] y dado que x / R tenemos que x 2 es irreducible en R. Para ver que x 2 no es primo note que x 2 divide a x 2.x 2.x 2 = x 3.x 3, pero x 2 no divide a x 3 (como vimos en la prueba del punto anterior.) (v) No. En un D.F.U primo no cero e irreducible son equivalentes.

6 6 Problema 5[10 pts]: Sea {p n(x) } n 0 Q[x] una secuencia de polinomios con coeficientes racionales tal que para todo entero N 0 existe α N C con p 0 (α N ) = 0 p 1 (α N ) = 0. =. p N (α N ) = 0. (i) 5pts Muestre que existe p(x) Q[x] de grado al menos 1 tal que para todo entero n 0 p(x) p n (x). (ii) 5pts Muestre que existe α C tal que para todo entero n 0 p n (α) = 0. Sol: (i) 5pts Considere I := p n n 0 el ideal generado por todos los p n. Decir que existe p(x) que divide a todos los p n es lo mismo que decir que I p(x). Decir que el grado de p es a lo menos 1 es decir que p(x) es un ideal propio. Como Q[x] es un D.I.P el problema es equivalente a mostrar que existe un ideal propio que contiene a I. Ya que todo ideal propio está contenido en un ideal maximal, que es propio por definición, el problema es equivalente a mostrar que I es un ideal propio. Si I no fuera propio entonces 1 I. Como I es generado por los p n entonces existen q 1 (x),..., q k (x) Q[x] tales que 1 = q 1 (x)p n1 (x) q 1 (x)p nk (x) (1) Sea N max{n 1,..., n k }. Entonces por hipótesis p ni (α N ) = 0 para todo i = 1,..., k. Evaluando la ecuación (1) en α N obtenemos una contradicción, por lo tanto 1 / I i.e., I es propio. (ii) 5pts Sea p(x) Q[x] C[x] el polinomio obtenido en el punto (i). Como p tiene grado mayor que 1, se sigue del teorema fundamental del álgebra que existe α C tal que p(α) = 0. Como p(x) divide a todos los p n entonces p n (α) = 0 para todo n.