Idea Les
Idea Les
Idea Les
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.
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.
2
nulo si y solo si p(0) = 0, así también se tiene
⟨x⟩ = {p(x) ∈ R[x] : p(0) = 0}.
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.
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
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.
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.
Ejemplo 8
R = Z5 [x]/⟨x2 + [1]⟩ es un anillo con cardinalidad 25 que no es
un 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.