LGEBRA SUPERIOR II

TAREA EXAMEN

Fecha de entrega: viernes 27 de mayo del 2016

En toda la tarea K denota un campo y K[x] el respectivo anilo de polinomios

con coeficientes en el campo K.

1. Prueba que si (x), f (x) K[x] con (x) irreducible y tales que (x) - f (x),
entonces ((x), f (x)) = 1.

2. Es cierto que cualesquiera dos polinomios irreducibles son primos relativos?

3. Si f (x), f1 (x), . . . , fn (x) K[x] son polinomios irreducibles mnicos tales

que f (x)|f1 (x) fn (x), entonces f (x) = fi (x) para alguna i = 1, . . . , n.
Da un ejemplo de que esto no ocurre en general si los polinomios en cuestin
no son irreducibles, aunque f (x) - fi (x) i = 1, . . . , n.

4. Prueba que si f (x), g(x) K[x] son polinimios tales que (como funciones
f, g : K K) f (a) = g(a) a K, entonces f (x) = g(x) (como elementos
de K[x]).

5. Considera el anillo conmutativo Z6

a) Lista todos los polinomios de grado menor o igual a 3.
b) Prueba que, a pesar de que el anillo Z6 es finito, Z6 [x] no lo es.
c) Da dos polinomios f (x) y g(x) Z6 [x] tales que (f (x) g(x)) es estric-
tamente menor que (f (x)) + (g(x)).
d) Z6 [x] es dominio entero?

6. Prueba lo siguiente:
a) Si f (x)|g(x), entonces af (x)|bg(x) a, b K {0}.
b) f (x)|1 si y slo si f (x) = a para alguna a K {0}.
c) Si (x a)|f (x) y (x a) - g(x), entonces (x a) - f (x) + g(x).
d) (x a)|(x b) si y slo si a = b.

7. Encuentra el cociente y el residuo al hacer la divisin de f (x) entre g(x) en

los siguientes casos:
a) f (x) = x5 + 2, g(x) = 2x3 3x2 + x 2, en Q[x].
b) f (x) = 21 x6 + 2x5 3x3 5x2 2x + 32 , g(x) = 3x2 2x + 1, en Q[x].
c) f (x) = x6 + ( + 2)x5 + 2x4 x + , g(x) = x4 + 2x3 1, en R[x].
d) f (x) = x3 + ix2 + x + i, g(x) = x2 + i, en C[x].
e) f (x) = x6 3x5 + 4x2 3x + 2, g(x) = x2 + 2x 3, en Z7 [x].
1
2 LGEBRA SUPERIOR II

8. Sean f (x), g(x) Q[x]. Demuestra que el mximo comn divisor de f (x) y
g(x) en Q[x] es igual al mximo comn divisor de f (x) y g(x) en R[x].

9. Sean f (x), g(x), h(x) K[x], con f (x) 6= 0, g(x) 6= 0 y f (x) mnico. Prueba
que (f (x) g(x), f (x) h(x)) = f (x) (g(x), h(x)).

10. Prueba el Algoritmo de Euclides en el anillo K[x] para encontrar el mximo

comn divisor de dos polinomios f (x) y g(x) K[x].

11. Sean f (x) y g(x) K[x] polinomios, no ambos cero, con mximo comn
divisor (f (x), g(x)) = d(x). Para c(x) K[x] prueba que existen polinomios
a(x), b(x) K[x] tales que f (x)a(x) + g(x)b(x) = c(x) si y slo si d(x)|c(x).

12. Para f (x), g(x) K[x] definimos el mnimo comn mltiplo de f (x) y g(x)
en K[x] como el polinomio m(x) K[x] que cumple:
a) m(x) es mnico.
b) f (x)|m(x) y g(x)|m(x).
c) Si m1 (x) K[x] cumple f (x)|m1 (x) y g(x)|m1 (x), entonces m(x)|m1 (x).

Prueba lo siguiente:
a) m(x) es nico (lo denotamos por [f (x), g(x)]).
b) Si f (x) y g(x) son mnicos, entonces [f (x), g(x)](f (x), g(x)) = f (x)g(x).

13. Sea f (x) = ap1 (x)k1 . . . pn (x)kn un polinomio en K[x], donde los pi (x) son
mnicos irreducibles en K[x], pi (x) 6= pj (x) i 6= j, a K {0} y ki N.
Pruebe que g(x) K[x] divide a f (x) si y slo si g(x) = bp1 (x)r1 . . . pn (x)rn
donde b K {0} y 0 ri pi i = 1, . . . n.

14. Si f (x) = ap1 (x)k1 . . . pn (x)kn y g(x) = bp1 (x)r1 . . . pn (x)rn son polinomios
en K[x], donde a, b K {0}, los pi (x) son mnicos irreducibles en K[x],
pi (x) 6= pj (x) i 6= j y ki , ri N. Prueba que:
a) (f (x), g(x)) = p1 (x)s1 . . . pn (x)sn donde si = min{ki , ri }.
b) [f (x), g(x)] = p1 (x)t1 . . . pn (x)tn donde ti = max{ki , ri }.

15. Para un campo K prueba lo siguiente:

a) Si K es infinito, entonces existen una infinidad de polinomios irreducibles
en K[x].
b) Si K es finito, entonces existen polinomios irreducibles de grado arbitra-
riamente grande en K[x].

16. a) Prueba que en Q[x], los polinomios irreducibles son de la forma

f (x) = x2 p con p Z primo.
b) Encuentra la factorizacin de f (x) = x4 + 4 en polinomios irreducibles
en el anillo Z5 [x].

17. Encuentra las races de los siguientes polinomios:

a) x3 + 6x2 6x 58.
b) x3 + 9x 2.
 LGEBRA SUPERIOR II 3

c) x3 3ix + 1 i.
d) 8x3 + 12x2 + 102x 47.
e) x4 + 4x 1.
f) x4 + 5x3 10x2 2x + 4.
g) x4 + x4 + 5x2 + 5x + 12.
h) x4 x2 2ix + 6.