. Anillos 7 1.1. Anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.2.

Ideales y anillos
cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.3. Homomorfismos de anillos . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . 14 1.4. Teoremas de isomorf´ıa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . 16 1.5. Cuerpos y dominios; ideales maximales y primos . . . . . . . . . . . . . . . . . . . . . . 19 1.6. El
cuerpo de fracciones de un dominio . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 1.7. Divisibilidad . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 1.8. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 27 2. Polinomios 33 2.1. Anillos de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . 33 2.2. Ra´ıces de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 2.3. Divisibilidad
en anillos de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 2.4. Polinomios en varias
indeterminadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 2.5. Polinomios sim´etricos . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . 48 2.6. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.7. Proyectos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 3. Grupos 57 3.1.
Definiciones y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 3.2. Subgrupos . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 3.3. Subgrupos normales y grupos cociente . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 61 3.4. Homomorfismos y Teoremas de Isomorf´ıa . . . . . . . . . . . . . . . . . . . . . . . .
. . 64 3.5. El orden de un elemento de un grupo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66 3.6.
Conjugaci´on y acciones de grupos en conjuntos . . . . . . . . . . . . . . . . . . . . . . . 67 3.7. Problemas . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 4. Grupos de permutaciones 73 4.1. Ciclos y
trasposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 4.2. El grupo alternado . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . 76 4.3. El Teorema de Abel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . 79 4.4. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80 3 5. Grupos
resolubles 83 5.1. El subgrupo derivado y la serie derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 5.2.
Grupos resolubles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84 5.3. Problemas . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87 6. Extensiones de cuerpos 91 6.1. Extensiones de cuerpos
. . . . . . . . . . . . . . . . . . . 14.Resolubilidad de ecuaciones por radicales 161 14.1. El Teorema de Galois
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161 14.2. La ecuaci´on general de grado n . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . 162 14.3. Resoluci´on efectiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . 165 14.4. Resolubilidad de las ecuaciones de grado primo . . . . . . . . . . . . . . . . . . . . . . . 174 14.5.
Calculo efectivo del grupo de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178 14.6. Problemas . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185 0 Introducci´on En la escuela aprendimos a
resolver ecuaciones lineales aX + b = 0 (1) y cuadr´aticas aX2 + bX + c = 0. (2) donde a, b y c son
n´umeros y suponemos que a 6= 0. Es bien sabido que la ´unica soluci´on de la ecuaci´on (1) es − b
a y que la ecuaci´on (2) tiene a lo sumo dos soluciones que se obtienen al elegir el signo de la ra´ız
cuadrada en la siguiente expresi´on: −b ± √ b 2 − 4ac 2a . (3) En realidad, si b 2 = 4ac, entonces la
ecuaci´on (2) tiene una ´unica soluci´on y, si nos restringimos a los n´umeros reales, entonces la
ecuaci´on no tiene soluci´on si b 2 − 4ac es negativo. Las ecuaciones (1) y (2) aparecen
naturalmente en multitud de problemas y sus soluciones son conocidas desde tiempos de los
babilonios. Sin embargo, hasta el Renacimiento no se descubrieron f´ormulas para resolver las
ecuaciones de tercer y cuarto grado, conocidas con el nombre de c´ubicas y cu´articas
respectivamente. Al parecer Scipione del Ferro (1465?-1526) fue el primero en descubrir una
f´ormula para resolver ecuaciones de tercer grado. Los descubrimientos de del Ferro no fueron
divulgados y fueron redescubiertos m´as tarde por Nicolo Fontana (1500?-1557), conocido con el
nombre de Tartaglia (“El Tartamudo”). El m´etodo para resolver la c´ubica fue guardado en secreto
por Tartaglia hasta que se lo comunic´o a Hieronymo Cardano (1501-1576) con la condici´on de
que no lo hiciera p´ublico. Sin embargo, Cardano rompi´o su promesa con Fontana y en 1545
public´o la f´ormula de Tartaglia en su libro Artis Magnae sive de Regulis Algebricis, m´as conocido
con el nombre de Ars Magna. En este libro Cardano no s´olo publica la f´ormula de Tartaglia, sino
tambi´en la soluci´on de la cu´artica que entretanto hab´ıa sido descubierta por Ludovico Ferrari
(1522-1565). Vamos a ver como resolver la c´ubica aX3 + bX2 + cX + d (a 6= 0). (4) Est´a claro que
dividiendo por a podemos suponer que a = 1. Adem´as podemos suponer que b = 0 haciendo el
cambio X 7→ X + λ para un valor de λ apropiado. M´as concretamente, si ponemos X3 + bX2 + cX +
d = (X + λ) 3 − 3λX2 − 2λ 2X − λ 3 + bX2 + cX + d = (X + λ) 3 + (b − 3λ)X2 + (c − 3λ 2 )X + d − λ 3 . Por
tanto, si elegimos λ = b 3 y ponemos Y = X + b 3 , entonces la ecuaci´on (4) es equivalente a la
siguiente Y 3 + c − 3  b a 2 !  Y − b 3  + d −  b a 3 .