IDEALES DE UN ANILLO
Un ideal es un subanillo que es absorbente con respecto al producto. Esto puede
que sea verdad, pero como no hay quien lo entienda, demos una definición menos
sintética y más comprensible.
Definición:
Se dice que un ideal IcA es principal si puede generarse con un único elemento.
Esto es, si I = <a> para cierto a ∈ A.
Definición:
Se dice que un ideal IcA es maximal si es propio (I≠ {0}, A) y no existe otro ideal J tal
que I ≠J ≠ A.
Ejercicios:
1. Sea m entero y (m)= {x∈Z:x es múltiplo de m}. Demostrar que (m)es ideal
de Z.
Solución:
Se verifica 0=0m, por tanto 0 es múltiplo de m, es decir 0∈(m), y por
tanto (m)≠∅. Sean x, y∈(m), entonces x=km e y=sm para ciertos enteros k y s.
Ahora bien, x−y=(k−s) m siendo k−s entero, lo cual implica que x−y∈(m). Por
último, para todo a∈Z, x∈(m):
xa=ax=a(km)=(ak)m⇒xa=ax∈(m).
Concluimos que (m) es ideal de Z.
2. Demostrar que el núcleo de un homomorfismo de anillos es un ideal del
anillo inicial.
Solución:
Sea f: A→B un homomorfismo de anillos. Sabemos que ker f es subgrupo aditivo
de A, por tanto, ker f≠∅ y para todo x, y∈ I se verifica x−y∈ I. Por otra parte, ∀a∈
A y ∀x∈ I:
f(ax)=f(a)f(x)=f(a)⋅0=0⇒ax ∈ ker f.
f(xa)=f(x)f(a)=0⋅f(a)=0⇒xa∈ker f.
Concluimos que ker f es ideal de A.
3. Demostrar que todo ideal de un anillo es subanillo del mismo.
Solución:
Sea A un anillo e I un ideal de A. Entonces I≠∅ y x−y∈ I para todo x, y∈ I. Por otra
parte, al cumplirse ax∈ I y xa∈ I para todo a∈ A, x∈ I, también se cumple yx ∈ I
xy∈ I para todo y∈ I, x∈ I. Por el teorema de caracterización de subanillos,
concluimos que I es subanillo de A.
4. Sea R un anillo conmutativo y unitario y a1 ,…, an elementos de R. Se define
(a1 ,…,an)={r1 a1 +… rn an :ri ∈ R}
(a)Demostrar que (a1 ,…,an) es ideal de R
(b)Demostrar que es el menor de entre todos los ideales de R que contienen
a {a1,…,an}.
Nota. A (a1,…,an) se le llama ideal generado por {a1,…,an}.
Solución:
(a) Se verifica 0=0a1+⋯0an, por tanto 0∈(a1,…,an)≠∅. Si x e y son elementos
de (a1,…,an),
x=r1a1+⋯rnan, ri ∈R,
y=r′1 a1 +⋯r′nan, r′i ∈R.
Entonces, x−y=(r1−r′1) a1+⋯(rn−r′n) an con ri −r′i ∈R, luego
x−y∈(a1 ,…,an).
Si r∈R entonces rx=(rr1)a1+⋯(rrn)an con rri∈ R,rri∈ R, luego rx∈(a1,…,an).
(b)Para todo ai se verifica ai=0a1+⋯+1ai+⋯+0an, por tanto
{a1,…,an}⊂(a1,…,an).
Sea ahora un ideal I de R que contiene a {a1,…,an}.Entonces, si x∈(a1,…,an), al
ser de la forma x=r1 a1+⋯rnan con ri∈ R y los ai∈I, necesariamente x∈ I por ser I
ideal. Es decir, (a1 ,…,an)⊂I.
5. (Suma de ideales). Sean I,J ideales de un anillo A. Se define la suma de I
y J de la forma:
I+J= {x∈ A: x=i+j con i∈ I,j∈ J}.
Demostrar que I+J es ideal de A.
Solución:
Como I,J son ideales de A, son subanillos de este, por tanto 0 pertenece a
ambos, con lo cual 0=0+0∈I+J.Es decir, I+J≠∅. Si x,y∈I+J, entonces x=i1+j1
con i1∈I, j1∈J e y=i2+j2 con i2∈I,j2∈J. Entonces,
x−y=(i1+j1) − (i2+j2) = (i1−i2) + (j1−j2),
y al ser I, J ideales, i1−i2∈ I y j1−j2∈J, luego x−y∈ I+J.
Si a∈A y x∈ I+J:
ax=a(i1+j1) =ai1+aj1,
xa=(i1+j1) a=i1a+j1a,
y al ser I,J ideales, ai1 e i1a pertenecen a I, y aj1 y j1 a pertenecen a J,J, luego ax
y xa pertenecen a I+J.
6. (Intersección de ideales). Sean I, J ideales de un anillo A. Demostrar
que I∩J es ideal de A.
Solución:
Como I, J son ideales de A, son subanillos de este, por tanto 0 pertenece a
ambos, es decir I∩J≠∅. Si x, y∈ I∩J, entonces x−y pertenece a I y a J por ser
ideales, luego x−y∈ I∩J .Si a∈ A y x∈ I∩J, entonces ax y xa pertenecen a I y a J
por ser ideales, luego ax ∈I∩J y xa ∈I∩J.
IDEALES DEL ANILLO DE LOS POLINOMIOS
Definición (ideal de polinomios):
Un subconjunto J de P(F) se llama ideal de P(F) si se cumplen las siguientes
condiciones:
1. J es cerrado bajo la adición: ∀f, g ∈ J f + g ∈ J.
2. J tiene “propiedad absorbente” respecto a la multiplicación: ∀f ∈ J ∀g ∈
P(F) fg ∈ J.
3. 0 ∈ J.
4. 1 ∈/ J.
Corolarios de los axiomas de ideal: Sea J un ideal de P(F). Entonces:
1. J es cerrado bajo la multiplicación: ∀f, g ∈ J fg ∈ J.
2. J es cerrado bajo la multiplicación por escalares: ∀f ∈ J ∀λ ∈ F λf ∈ J.
3. J es un subespacio vectorial del espacio vectorial P(F).
Proposición (criterio de ideal de polinomios):
Sea J un subconjunto de P(F) que cumple con las siguientes propiedades:
1. J es un subespacio vectorial de P(F).
2. J tiene propiedad absorbente respecto a la multiplicación: ∀f ∈ J ∀g ∈
P(F) fg ∈ J.
3. J ≠ P(F). Entonces J es un ideal de P(F).
Proposición (del ideal generado por un polinomio):
Sea g ∈ P(F), deg(g) ≠ 0.
Entonces J := gP(F) = { gh: h ∈ P(F)} = {f ∈ P(F)}: g | f es un ideal de P(F). Además
es el ideal más pequeño que contiene al polinomio g.
Definición (el ideal generado por un polinomio, ideales principales):
En las condiciones de la proposición anterior se dice que J es el ideal generado
por g y que g es un generador de J. Cualquier ideal generado por un elemento
se llama ideal principal.
Anillo de los polinomios es un dominio de ideales principales
Ideal nulo esta generado por el polinomio nulo: Notemos que el ideal nulo J =
{0} se puede representar como 0P(F). Vamos a excluir este caso trivial del
siguiente teorema.
Definición (polinomio Mónico): Un polinomio se llama Mónico si es distinto del
polinomio cero y su coeficiente mayor es 1.
Teorema (de los ideales del anillo de los polinomios de una variable):
Sea J un ideal no nulo de P(F). Entonces existe un ´único polinomio Mónico g ∈
P(F) con deg(g) > 0 tal que J = gP(F). Este polinomio g es de grado menor entre
todos los polinomios no nulos que pertenecen a J.
Demostración. Existencia. Denotemos por G al conjunto de los grados de los
polinomios pertenecientes a J \ {0}: G := deg(p): p ∈ J \ {0}
Por la hipótesis, J \ {0} ≠ ∅. La definición de ideal implica que los polinomios de
grado 0 (es decir, constantes no nulas) no pertenecen a J.
Así que G es un subconjunto no vacío del conjunto de los números enteros
positivos {1, 2, . . .}. Por lo tanto G tiene un elemento mínimo. Lo denotamos
por d:
Sea h ∈ J \ {0} tal que deg(h) = d. Denotemos por g al polinomio h dividido entre
su coeficiente mayor. Entonces g es un polinomio Mónico y deg(g) = d. Para
cualquier polinomio p ∈ J existen q, r ∈ P(F) tales que p = qg + r ∧ deg(r) <
deg(g).
Como r = p − qg ∈ J y deg(r) < deg(g) = d, el polinomio r debe ser cero. Por lo
tanto g divide a p. Concluimos que g divide a cualquier elemento p de J. En otras
palabras, g genera a J:
Unicidad. Sean f y g polinomios mónicos tales que J = fP(F) = gP(F). Entonces f
divide a g y viceversa. Como f 6= 0 y g 6= 0, esto implica que f = cg con una
constante c ∈ F \ {0}. Ahora de la hipótesis que f y g son mónicos sigue que f = g.
Nota. El teorema se generaliza de manera natural a cualquier anillo euclidiano.
Ejemplo. El conjunto J = f ∈ P(R): f(4) = 0, f(−3) = 0, f0 (−3) = 0 es un ideal del
anillo P(R).
Es fácil ver que el generador Mónico de J es el polinomio f(x) = (x − 4)(x + 3)2 .
