EAanillosII
ARITMÉTICA EN LOS DOMINOS DE INTEGRIDAD.
El anillo Z de los enteros tiene, respecto al producto, una estructura particular:
    (i) Hay algoritmo de división.
    (ii) Hay máximo común divisor.
    (iii) Hay factorización única en primos.
Vamos a estudiar bajo qué condiciones estas propiedades se mantienen en dominios de
integridad arbitrarios –especialmente los dominios de integridad formados por números y
por polinomios, que son los objetos que nos interesan en este curso–.
Definiciones y ejemplos.
 (i) Dados a, b ∈ A anillo, diremos que a divide a b, y escribimos a|b, si existe c ∈ A con
     b = ac (b es múltiplo de a). Observación: a|b ⇔ (b) ⊂ (a) y u ∈ A× ⇔ u|1.
(ii) Diremos que a, b ∈ A son asociados, y escribimos a ∼ b si a|b y b|a; si A es DI, y a ∼ b,
     entonces a = ub donde u ∈ A× (tiene inverso). Las unidades de A son los asociados
     de 1.
(iii) Diremos que a a es un factor propio de b si a|b y b no divide a a.
(iv) Las unidades en Z son ±1, por lo que en Z a y −a son asociados. Las unidades en
     Q[T ] son los polinomios constantes no nulos, por lo que dos polinomios del mismo
                                                   √                              √
     grado son asociados en Q[T ]. El elemento 1 + 2 es una unidad en el anillo Z[ 2],
                  √          √                     √         √
     ya que (1 + 2)(−1 + 2) = 1, por lo que 2 y 2 − 2 son asociados, al ser y
     √          √        √           √
       2 = (2 − 2)(1 + 2) con 1 + 2 unidad.
(v) La factorización única en producto de primos en Z está basadas en dos propiedades:
 1. Existencia de la factorización por el Principio de Buena Ordenación en N para el valor
    absoluto de un entero.
 2. Unicidad de la factorización: Si tenemos p1 · · · pr = u · q1 · · · qs con pi , qj naturales
    primos y u = ±1, entonces p1 |q1 · · · qs ⇒ p1 |q1 o bien p1 |q2 · · · qs . Si p1 |q1 , hecho pues
    al ser p1 y q1 enteros primos, han de ser iguales. Si p1 |q2 · · · qs ., entonces p1 |q2 en cuyo
    caso p1 = q2 o bien p1 |q3 · · · qs , y ası́ sucesivamente.
Como vemos, la herramienta fundamental es la siguiente:
Propiedad Fundamental. Si p entero primo –esto es, divisible sólo por sı́ mismo y por
la unidad–,y p|ab, entonces necesariamente p|a o bien p|b. De hecho, {n ∈ Z|n primo} =
{n ∈ Z|d|n ⇒ d = n o bien d = ±1} = {n ∈ Z|n|ab ⇒ n|a o bien n|b}
                                                 5
Problema. No todos los anillos de números verifican esta Propiedad Fundamental
                                √
Ejemplo 7: El caso del anillo Z[ −5].
          √                                                                   √
Al ser Z[ −5] ⊂ C, sabemos que es DI. Consideramos la aplicación N : Z[ −5] → Z
                     √
definida por N (a + b −5) = a2 + 5b2 ∈ Z, que, por el ejercicio 2 sabemos que verifica
                              √
N (αβ) = N (α)N (β) y u ∈ Z[ −5]× ⇔ N (u) = 1 ⇔ u = ±1. Consideramos ahora las
                         √          √                                 √
factorizaciones 6 = (1 + −5)(1 − −5) = 2 · 3. Al no haber en Z[ −5] elementos de
                                          √
norma 2 o 3, los cuatro números 2, 3, 1 ± −5 son divisibles sólo por ellos mismo y por
                                                             √           √
unidades, en este caso ±1. Sin embargo, 2 y 3 dividen a (1 + −5)(1 − −5) pero no a
     √             √           √          √
(1 + −5) ni a (1 − −5), y 1 + −5 y 1 − −5 dividen a 2 · 3 pero no a 2 ni a 3. Ası́ pues,
                     √
los conjuntos {γ ∈ Z[ −5]|δ|γ ⇒ δ = γ o bien δ = ±1} y {γ ∈ Z|γ|αβ ⇒ γ|α o bien γ|β}
                   √
son distintos en Z[ 5].
Este ejemplo llevó a Kummer y Dedekind en el siglo XIX a distinguir entre elementos
de un anillo que son divisibles sólo por sı́ mismos y por unidades, y aquellos que cuando
dividen un producto necesariamente dividen a uno de los factores. A los primeros se les
llamó irreducibles, a los segundos primos.
Definiciones y ejemplos.
 (i) Un elemento p ∈ A anillo se dice irreducible si p no es una unidad y los únicos divisores
     de p son sus asociados y las unidades de A.
 (ii) Un elemento p ∈ A anillo se dice primo si p no es una unidad y verifica que siempre
      que p|ab con a, b ∈ A entonces p|a o bien p|b.
                             √                                                       √
(iii) Los números 2, 3 y 1 ± −5 todos ellos elementos irreducibles y no primos de Z[ −5].
(iv) Como demostraremos más adelante, en Z y Q[T ] todo primo es irreducible y viceversa.
Teorema 8. Sean A un DI y 0 6= p 6∈ A× . Entonces, p es irreducible si y sólo si siempre
que p = rs se tiene que r o s es unidad.
DEMOSTRACIÓN.Si p irreducible y p = rs, entonces r es un divisor de p, y tiene que ser una
unidad o un asociado de p. Si es unidad hemos terminado. Si es asociado de p, digamos
r = up, u ∈ A× , entonces p = rs = usp ⇒ us = 1 ⇒ s ∈ A× . Para demostrar el recı́proco,
supongamos que p tiene la propiedad del enunciado, y sea c un divisor cualquiera de p con
p = cd. Queremos ver que necesariamente c es unidad o asociado de p. Por hipótesis, c o
d es una unidad. Si c unidad, hemos terminado. Si d es una unidad, también lo es d−1 , y
tenemos c = pd−1 , esto es, c asociado de p. Por lo tanto, p es irreducible.
Teorema 9. En un anillo A, todo elemento primo p 6= 0 es irreducible.
                                              6
DEMOSTRACIÓN:    Si p 6= 0 es primo, entonces, p = p1 p2 ⇒ p|p1 o bien p|p2 . Si p|p1 , tenemos
p1 |p y p|p1 , por lo que son asociados, p ∼ p1 ⇒ p2 ∈ A× . Análogamente si p|p2 .
                    √         √
El ejemplo 6 = (1+ −5)(1− −5) = 2·3 nos hace caer en la cuenta que una factorización
en irreducibles no siempre es única. Nuestra pregunta es, ¿cuándo sı́ y cuando no? ¿Qué
propiedades ha de tener un anillo A para que las factorizaciones en irreducibles existan y
sean únicas? La búsqueda de respuesta a esta pregunta llevó a la clasificación de los DI en
Dominios Euclı́deos, Dominios de Ideales Principales y Dominios de Factorización Única.
Definiciones y ejemplos. Sea A un dominio de integridad.
 (i) A es dominio euclı́deo (DE), si existe una función δ : A \ {0} → N tal que:
     (a) Si a, b ∈ A \ {0}, entonces δ(a) ≤ δ(ab);
     (b) Si a, b ∈ A, b 6= 0, existen c, r ∈ A con a = bc + r y r = 0 o bien δ(r) < δ(b).
(ii) A es dominio de factorización única (DFU) si todo elemento que no sea unidad admite
     una factorización en producto de irreducibles esencialmente única (salvo orden de los
     factores y producto por unidades)
(iii) Veremos que DE ⇒DIP ⇒ DFU. Las implicaciones no van en dirección contraria.
                        √
      – Como sabemos, Z[ −5] no es DFU.
     – Z[X] y Q[X, Y ] son DFU, como veremos, pero no DIP, pues los ideals (2, X) y
     (X, Y ) no son principales.
                            √                           √
     – El anillo A = Z[ 1+ 2−19 ] = {(a + b/2) + (b/2) −19 : a, b ∈ Z} es dominio de
     ideales principales y no es dominio euclı́deo (la demostración excede en dificultad a
     este curso).
Propiedades de los dominios eucı́deos.
Vamos a ver que los dominios euclı́deos tienen las siguientes propiedades:
 (i) En todo DE existen el máximo común divisor.
(ii) En todo DE existe un algoritmo (llamado algoritmo de Euclides) que nos permite:
     – calcular mcd(a, b);
     – expresar el mcd(a, b) como combinación lineal de a y b.
(ii) En un DE podemos verificar fácilmente si un elemento divide a otro.
Ejemplos de dominios euclı́deos: (i) (Z, δ = | |), (| | valor absoluto) es dominio
euclı́deo.
 (ii) (K[X], δ = gr), con K cuerpo, es dominio euclı́deo.
                       √
(iii) Ejercicio 16: (Z[ d], δ = N ), con d = −1, 2, −2 son dominios euclı́deos.
                                               7
Teorema 10. Todo dominio euclı́deo es dominio de ideales principales.
DEMOSTRACIÓN.  Sea (0) 6= I ⊂ A ideal. Por el Principio de Buena Ordenación de los
naturales, existe q ∈ I q 6= 0 con δ(q) mı́nimo entre los grados de los elementos de I.
Para cualquier p ∈ I, el algoritmo de división garantiza la existencia de c, r ∈ A con
deg(r) < deg(q) o r = 0 tales que p = cq + r ⇒ r = p − cq ∈ I. Por definición, el grado de
q es mı́nimo en I, por lo que, necesariamente, r = 0 ⇒ p = cq ⇒ I = (q)A.
Definición. Sea A anillo y sean a, b ∈ A. Decimos que d es el máximo común divisor
de a y b y escribimos mcd(a, b) = d, si d|a, d|b y si existe algún d0 ∈ A con d0 |a, d0 |b
entonces d0 |d. Decimos que m es el mı́nimo común múltiplo de a y b, y escribimos
mcm(a, b) = m, si a|m, b|m y si existe m0 ∈ A con a|m0 , b|m0 entonces m|m0 .
Ejemplos: Veremos que si A es un DFU y a, b ∈ A existen el mı́nimo común múltiplo y
el máximo común divisor mcd(a, b) = d, mcm(a, b) = m con mcd(a, b) mcm(a, b) = ab y si
A es DIP, (a, b) = (d) y (a) ∩ (b) = (m).
Ejemplos:(i) En Z es el máximo común divisor usual.
(ii) Existen anillos donde no es posible considerar el máximo común divisor (y, por tanto,
                                                                              √
tampoco el mı́nimo común múltiplo): Sea el dominio de integridad A = Z[ −5] = {a +
 √                                                           √          √
b −5 : a, b ∈ Z}, en el vimos que se verifica 6 = (1 + −5)(1 − −5) = 2 · 3, con
           √
2, 3 y 1 ± −5 todos ellos elementos irreducibles de A. Consideramos los números a =
       √                 √                            √
2(1 + −5), b = 6 ∈ Z[ −5]. Entonces 2, y (1 + −5) son ambos factores comunes a
      √                                                     √           √
2(1 + −5) y 6, ambos son irreducibles, 2 no divide a 1 + −5, y 1 + −5 no divide a 2.
                     √
Sin embargo, 2(1 + −5) no divide a 6.
Observaciones: (1) El máximo común divisor de a y b es único salvo producto por unidades.
Es decir podrı́amos escribir mcd(a, b) ∼ d.
(2) Diremos que a, b ∈ A son primos entre sı́ cuando mcd(a, b) ∼ 1.
(3) El máximo común divisor verifica las siguientes propiedades:
    mcd(mcd(a, b), c) ∼ mcd(a, mcd(b, c)); c · mcd(a, b) ∼ mcd(ca, cb)
(4) Definimos el máximo común divisor mcd(a1 , . . . , ar ) ∼ d recursivamente:
                   mcd(a1 , a2 ) ∼ d1 , mcd(d1 , a3 ) ∼ d2 , . . . , mcd(dr−1 , ar ) ∼ d.
    Se verifica que d|a1 , . . . , d|ar y si d0 |a1 , . . . , d0 |ar entonces d0 |d.