Idea Les

7.
Ideales
Definición 1
Un subanillo I de un anillo R es llamado un ideal (bilátero) de R
si para todo r ∈ R y para todo a ∈ I, ar ∈ I y ra ∈ I. Esto es,
Ir = {ar : a ∈ I} ⊆ I
y
rI = {ra : a ∈ I} ⊆ I
Un ideal I de R es llamado ideal propio de R si I es un subconjunto
propio de R.
Teorema 1
Un subconjunto no vacío I de un anillo R es un ideal de R si y
solo si
1. a − b ∈ I siempre que a, b ∈ I.
2. ra y ar pertenecen a I siempre que a ∈ I y r ∈ R.
Demostración. Observar que la propiedad 1 implica que (I, +) es sub-

grupo abeliano de (R, +). La propiedad 2 garantiza que el producto es
cerrado en I, por lo que (I, +, ·) sería subanillo de R. La propiedad 2
también implica que I es ideal de R. □
1
Ejemplo 2
1. Para cualquier anillo R, {0} y R son ideales de R.
2. Para cualquier entero positivo n, nZ es ideal de Z.
3. Sea R un anillo conmutativo con identidad y sea a ∈ R. En-
tonces
⟨a⟩ = {ra : r ∈ R}
es un ideal de R, llamado el ideal principal generado por a.
4. Sea R un anillo conmutativo con identidad y sea
a1 , a2 , . . . , an ∈ R. Entonces
I = ⟨a1 , a2 , . . . , an ⟩ = {r1 a1 + r2 a2 + . . . + rn an : ri ∈ R}
es un ideal de R, llamado el ideal generado por a1 , a2 , . . . an .
5. El subconjunto I de todos los polinomios con coeficientes
reales y término independiente nulo es un ideal de R[x], de
hecho, I = ⟨x⟩.
6. Sea Z[x] el anillo de todos los ideales con coeficientos enteros.
El subconjunto I de Z[x] de todos los polinomios con término
independiente par es un ideal de Z[x] , de hecho, I = ⟨x, 2⟩.
7. Let R be the ring of all real-valued functions of a real variable.
The subset S of all differentiable functions is a subring of R
but not an ideal of R.
5. Sea S = {p(x) ∈ R[x] : p(x) tiene término independiente nulo}.

Mostraremos que ⟨x⟩ = S.
Sea p(x) ∈ S, entonces p(x) = ni=1 ai xi = x n−1 i
P P
i=0 ai x ∈ ⟨x⟩. Esto
implica que S ⊆ ⟨x⟩.
entonces p(x) = xq(x), con q(x) = ni=0 ai xi ∈ R[x].
P
Sea p(x) ∈ ⟨x⟩,P
Luego p(x) = ni=0 ai xi+1 el cual tiene término independiente nulo,
es decir, p(x) ∈ S. Entonces ⟨x⟩ ⊆ S.
Observar también que un polinomio p(x) tiene término independiente
2
nulo si y solo si p(0) = 0, así también se tiene
⟨x⟩ = {p(x) ∈ R[x] : p(0) = 0}.
6. Sea p(x) ∈PI, entonces p(x) = 2k + ni=1 ai xiP

P
con k, ai ∈ Z. Luego,
n
p(x) = x i=1 ai xi−1 + 2k ∈ ⟨x, 2⟩ ya que i=1 ai xi−1 ∈ Z[x] y
k ∈ Z[x]. De modo que I ⊆ ⟨x, 2⟩. Por otro lado, si p(x) ∈ ⟨x, 2⟩,
entonces p(x) = xq(x) + 2r(x), pero el término independiente de
p(x) es el término independiente de 2r(x) el cual debe ser par. Luego
⟨x, 2⟩ ⊆ I.
Teorema 3
Sea R un anillo y sea A un subanillo de R. El conjunto de clases
{r + A : r ∈ R} es un anillo bajo las operaciones
(s + A) + (t + A) = (s + t) + A
y
(s + A)(t + A) = st + A.
si y solo si A es un ideal de R.
Demostración. Sea R/A = {r + A : r ∈ R}. Sabemos que (A, +) es

un grupo abeliano, así (R/A, +) es un grupo abeliano.
Supongamos que (R/A, +, ·) es un anillo, veamos que A debe ser un ideal
de R. Supongamos que A no es ideal de R. Entonces, existen a ∈ A y
r ∈ R tales que ra ∈
/ A o ar ∈
/ A. Supongamos que ar ∈ / A. Entonces,
0 + A = 0r + A = (0 + A)(r + A) = (a + A)(r + A) = (ar) + A ̸= 0 + A
De modo que la multiplicación no está bien definida y R/A no sería un
subanillo de R, lo cual es una contradicción. Luego, A debe ser ideal de R.
Recíprocamente, supongamos que A es un ideal de R. Para que (R/A, +, ·)
sea un anillo es suficiente mostrar que el producto está bien definido y
que se cumplen las propiedades asociativas y distributivas.
Sean r, r1 , s, s1 ∈ R tales que r + A = r1 + A y que s + A = s1 + A.
3
Entonces r − r1 = ar ∈ A y s − s1 = as ∈ A. Luego,
(r + A)(s + A) = rs + A
= (ar + r1 )(as + s1 ) + A
= (ar as + ar s1 + r1 as + r1 s1 ) + A
= r1 s1 + A (pues ar as , ar s1 , r1 as ∈ A por ser
A ideal de R)
= (r1 + A)(s1 + A)
Por tanto, el producto está bien definido en R/A.
Sean r1 + A, r2 + A, r3 + A ∈ R/A, entonces
[(r1 + A)(r2 + A)](r3 + A)

= (r1 r2 + A)(r3 + A)
= (r1 r2 )r3 + A
= r1 (r2 r3 ) + A (ya que en R se cumple la propiedad asociativa)
= (r1 + A)(r2 r3 + A)
= (r1 + A)[(r2 + A)(r3 + A)]
Además,
(r1 + A)[(r2 + A) + (r3 + A)]
= (r1 + A)(r2 + r3 + A)
= r1 (r2 + r3 ) + A
= r1 r2 + r1 r3 + A (ya que en R se cumple la propiedad distributiva)
= (r1 r2 + A) + (r1 r3 + A)
= (r1 + A)(r2 + A) + (r1 + A)(r3 + A)
Análogamente, se muestra que
[(r2 + A) + (r3 + A)](r1 + A) = (r2 + A)(r1 + A) + (r3 + A)(r1 + A).
Por tanto, R/I es un anillo.
4
Ejemplo 4

a1 a2
Sea R = : ai ∈ Z y sea I el subconjunto de R de
a3 a4
todas las matrices con coeficiente par. R/I es un anillo finito con
cardinalidad 16.
En efecto, se puede probar que I es ideal de R.

Considerar el conjunto

a1 a2
E= : ai ∈ {0, 1}
a3 a4
Es claro que E tiene 16 elementos, pues cada entrada de una matriz en
E tiene dos posibilidades.
Si E1 , E2 ∈ E con E1 ̸= E2 , E1 − E2 tiene al menos una entrada impar,
de modo que E1 − E2 ∈ / I. En consecuencia, E1 + I ̸= E2 + I. Siendo así,
existen al menos 16 elementos en R/I.
Notar que si A ∈ R, A se puede escribir como A = EA + PA con EA ∈ E
y PA ∈ I. Entonces, A + I = EA + I. De modo R/I = {A + I : A ∈ E}.
En consecuencia, R/I tiene exactamente 16 elementos. □
El siguiente teorema se demostrará luego, pero su uso es permitido de

aquí en adelante.
Teorema 5
Sea F un campo y sea f (x), g(x) ∈ F [x] con g(x) ̸= 0. Entonces
existen polinomios únicos q(x) y r(x) en F [x] tales que f (x) =
g(x)q(x) + r(x) y, o r(x) = 0 o deg r(x) < deg g(x).
Ejemplo 6
Sea R[x] el anillo de los polinomios con coeficientes reales.
R[x]/⟨x2 + 1⟩ = {(ax + b) + ⟨x2 + 1⟩ : a, b ∈ R}.
5
En efecto, si p(x) ∈ R[x], por el algoritmo de la división existen q(x), r(x) ∈
R[x] tales que p(x) = (x2 + 1)q(x) + r(x) con 0 ≤ deg r(x) < 2. En-
tonces r(x) = ax + b con a, b ∈ R. En consecuencia, p(x) + ⟨x2 + 1⟩ =
(x2 +1)q(x)+r(x)+⟨x2 +1⟩ = ax+b+⟨x2 +1⟩. Por tanto, R[x]/⟨x2 +1⟩ =
{(ax + b) + ⟨x2 + 1⟩ : a, b ∈ R}.
Ejemplo 7
Sea Z3 [x] el anillo de los polinomios con coeficientes en Z3 .
Z3 [x]/⟨x2 + [1]⟩ es un campo.
En efecto, como Z3 es un campo, usando el algoritmo de la división se

prueba de manera similar al ejemplo anterior que
Z3 [x]/⟨x2 + [1]⟩ = {[a]x + [b] + ⟨x2 + [1]⟩ : [a], [b] ∈ Z3 }.
Como la diferencia de dos polinomios lineales no puede ser de la forma
(x2 + [1])p(x) con p(x) ∈ Z5 , R = Z3 [x]/⟨x2 + [1]⟩ es un anillo de
cardinalidad 9.
Notar que (x + [1])4 + ⟨x2 + [1]⟩ = −[1] + ⟨x2 + [1]⟩, luego, (x + [1])8 +
⟨x2 + [1]⟩ = [1] + ⟨x2 + [1]⟩. Entonces, {(x + [1])k + ⟨x2 + [1]⟩ : k ∈ Z}
es un grupo multiplicativo de orden 8. Como R = Z3 [x]/⟨x2 + [1]⟩ tiene
9 elementos, R = Z3 [x]/⟨x2 + [1]⟩ es un campo.
Ejemplo 8
R = Z5 [x]/⟨x2 + [1]⟩ es un anillo con cardinalidad 25 que no es
un campo.
En efecto, con un argumento similar al anterior se puede probar que

Z5 [x]/⟨x2 + [1]⟩ = {[a]x + [b] + ⟨x2 + [1]⟩ : [a], [b] ∈ Z5 }.
y que R tiene cardinalidad 25.
Por otro lado, notar que (x + [1])4 + ⟨x2 + [1]⟩ = [1] + ⟨x2 + [1]⟩, así
(x + [1]) + ⟨x2 + [1]⟩ es unidad. Sin embargo, (x + [2] + ⟨x2 + [1]⟩)(x +
[3] + ⟨x2 + [1]⟩) = ⟨x2 + [1]⟩. Luego, x + [2] + ⟨x2 + [1]⟩ y x + [3] + ⟨x2 + [1]⟩
son divisores de cero y R no es campo.
6
Ejemplo 9
Considerar el anillo de enteros gaussianos Z[i] = {a + bi : a, b ∈
Z}. El anillo cociente
R = Z[i]/⟨2 − i⟩
tiene cinco elementos.
Notar que 2 + ⟨2 − i⟩ = i + ⟨2 − i⟩. Así, a + bi + ⟨2 − i⟩ = a + 2b + ⟨2 − i⟩,

es decir, todos los representantes de clases laterales son números enteros.
Entonces, todo elemento de R se escribe de la forma n (1 + ⟨2 − i⟩) con
n ∈ Z.
Pero 1 + ⟨2 − i⟩ tiene orden aditivo 5. En efecto, 5 (1 + ⟨2 − i⟩) = 5 +
⟨2 − i⟩ = 1 + 22 + ⟨2 − i⟩ = 1 + i2 + ⟨2 − i⟩ = ⟨2 − i⟩. Luego, |1 + ⟨2 − i⟩|
es 1 o 5.
Si |1 + ⟨2 − i⟩| = 1, 1 + ⟨2 − i⟩ = 0 + ⟨2 − i⟩, entonces 1 ∈ ⟨2 − i⟩
implicando que 1 = (2 − i)(a + bi) para a + bi ∈ Z[i]. Luego, 1 = 2a + b
y 0 = −a + 2b, pero esto implica b = 1/5, lo cual es una contradicción.
Por tanto, |1 + (1 + ⟨2 − i⟩) | = 5 y R tiene cinco elementos, a saber,
R = {⟨2 − i⟩, 1 + ⟨2 − i⟩, 2 + ⟨2 − i⟩, 3 + ⟨2 − i⟩, 4 + ⟨2 − i⟩}

Idea Les

Cargado por

Copyright:

Formatos disponibles

Idea Les

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Idea Les

Cargado por

Copyright:

Formatos disponibles

7.

Demostración. Observar que la propiedad 1 implica que (I, +) es sub-

5. Sea S = {p(x) ∈ R[x] : p(x) tiene término independiente nulo}.

6. Sea p(x) ∈PI, entonces p(x) = 2k + ni=1 ai xiP

Demostración. Sea R/A = {r + A : r ∈ R}. Sabemos que (A, +) es

[(r1 + A)(r2 + A)](r3 + A)

En efecto, se puede probar que I es ideal de R.

El siguiente teorema se demostrará luego, pero su uso es permitido de

En efecto, como Z3 es un campo, usando el algoritmo de la división se

En efecto, con un argumento similar al anterior se puede probar que

Notar que 2 + ⟨2 − i⟩ = i + ⟨2 − i⟩. Así, a + bi + ⟨2 − i⟩ = a + 2b + ⟨2 − i⟩,

También podría gustarte