UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

(Universidad del Per, Decana de Amrica)

FACULTAD DE CIENCIAS MATEMATICAS

Escuela Acadmico Profesional de Matemtica Introduccin a la Teora de Anillos Semestre 2013-I Prctica 3

(Subconjuntos algebraicos irreducibles, Mdulos, y Extensiones de Cuerpos) 1. Sea K=R (Cuerpo de los reales) a) Muestre que I (V ( x 2 + y 2 + 1)) =< 1 > b) Muestre que todo subconjunto algebraico de A2 ( R) es igual a V ( f ) , para un f R [ x, y ] 2. Encontrar las componentes irreducibles en R [ x, y ] y en C [ x, y ] de: a) V ( y 2 xy x 2 y + x 3 ) b) V ( y 2 x( x 2 + 1)) 3. Sea R un DFU: a) Muestre que un polinomio monico en R [ x ] de grado 2 o 3 es irreducible si solo si no tiene raz en R. b) ( x 2 a ) R [ x ] es irreducible si y solo si a no es cuadrado perfecto en R 4. Sea K un cuerpo y f K [ x ] de grado n > 0 . Muestre que el conjunto
2 n 1

{ 1, x, x ,...., x } es una K-base para el K-espacio vectorial K [ x] / < f >

5. Sea R acc1 y P un ideal primo. Si M es el conjunto de los ideales de R, hallar un S M y una relacin de orden parcial en S tal que cumpla que toda cadena en S tenga cota superior. Asimismo, por Lema de Zorn, existe elemento maximal, muestre que dichos elementos maximales son primos. 6. Si R es DFU y P es ideal primo no nulo. Probar que < a > ideal primo no nulo contenido en P 7. Sea R un DFU y P = < a > tal que a es irreducible, muestre que no existe L primo no nulo contenido estrictamente en P . 8. Sea U = V ( f ) una hipersuperficie en An ( K ) . Muestre que no existe W irreducible tal que U W An ( K ) ( Inclusin estricta)
2 3 2 3 9. Sea J = < x y , y z > K [ x, y , z ] y sea : K [ x, y, z ] K [ w] tal que:

( x ) = w9 , ( y ) = w 6 , ( z ) = w 4

a) Caracterizar a los elementos de K [ x, y , z ] / J . Es este anillo local? Caracterizar sus ideales principales. b) Si f = a( z ) + b( z ) x + c( z ) y + d ( z ) xy , tal que ( f ) = 0 , comparar con las potencias de w y concluya que f = 0 . c) Hallar Ker ( ) e Im( ) d) Es V ( J ) irreducible? Se cumple que I (V ( J )) = J ? 10. Sea S modulo finito sobre R, probar que S es anillo finito sobre R. 11. Demostrar que S = R [ x ] es anillo finito sobre R pero no es modulo finito sobre R. 12. Si L es anillo finito sobre K siendo K y L cuerpos, entonces L es extensin f.g de K 13. Sea L=K(x). Muestre que L K es f.g pero L no es anillo finito sobre K ( Hint: Si L
n es anillo finito sobre K, entonces b K tal que z L : b z K [ x ] para algn n 1 y sin embargo, si tomamos z = con c que no divide a b llegamos a un absurdo) c

14. Sean las extensiones de cuerpos K L F . Supongamos que [ F : L ] y [ L : K ] son

finitos. Probar que [ F : K ] = DimK F es finita. Analizar el caso infinito y exhiba una K- base para el K-espacio vectorial F.

15. Sea R un subanillo de S y S un subanillo de T: a) Si S es modulo finito sobre R y T es modulo finito sobre S. Probar que T es modulo finito sobre R. b) Si S es entero sobre R y T es entero sobre S. Es T entero sobre R? c) Si K es cuerpo, v1 , v2 K , verifique: K (v1 )(v2 ) = K (v2 )(v1 ) 16. Sea S anillo finito sobre R. Muestre que: S es modulo finito sobre R si y solo si S R es extensin entera 17. Sea la extensin de cuerpos K L : a) Demuestre que el conjunto de elementos de K algebraicos sobre L es un subcuerpo de K que contiene a L. b) Si K es modulo finito sobre L y L R K con R subanillo de K. Muestre que R es cuerpo. 18. Sea F un cuerpo y p ( x) F [ x ] irreducible. Probar que L extensin de F tal que L contiene a todas las races de p ( x) (L es llamado Cuerpo de descomposicin de p ( x) ) 19. Si L es cuerpo de descomposicin de p ( x) , luego p ( x) = ( x ai ) con los ai L
i =1 n

muestre que los ai son distintos.

20. Sea R un DI, K su cuerpo de cocientes. Sea L una extensin finita y algebraica sobre K a) Para v L , demostrar que a R no nulo tal que av es entero sobre R. b) Demostrar que existe una K-base { v1 , v2 ,..., vn } para L sobre K tal que vi es entero sobre R , i = 1, 2,...n

RK

El Profesor del curso