lOMoARcPSD|2192898

Estructuras algebraicas. Apuntes Anillos, Ideales

Estructuras Algebraicas (Universidad Autónoma de Madrid)

Distributing prohibited | Downloaded by Maria Fernandez (mariajose_ccs@yahoo.com)

 lOMoARcPSD|2192898

Estructuras algebraicas Tema 5

• Anillo; anillo conmutativo y unitario (acu); divisor de cero; dominio (de integridad); unidades de un
anillo unitario (U (R)); (R∗ := R \ {0}); anillo de división, cuerpo.
Ejemplos: Z, Z/nZ, √ Mn (R), End(V ), 2Z,√anillo de división de los cuaterniones H, anillo de los enteros
gaussianos Z[i], Z[ d], Z[X], R[X]; Q, Q[ d], R, Fp , C.
a divide a b (a|b); d es un mcd de X ⊆ R (si d|a ∀a ∈ X, y si ∀a ∈ X b|a entonces b|d); elementos
irreducibles y elementos asociados (∼) de un acu.
Obs.(Prop. básicas anillos). (a) 0a = a0 = 0; (b) a(−b) = −ab = (−a)b; (c) ab = ac ⇒ b = c, si
a no es un divisor de cero, ba = ca ⇒ b = c, si a no es un divisor de cero.
Subanillo, subcuerpo; ideal de un acu, ideal primo, ideal maximal;
T
Obs. Sea R un acu. La intersección j∈T Ij de una familia {Ij }j∈T de ideales de R es un ideal de R.
Ideal generado por un conjunto no vacío ((S)), ideal principal.
Prop 5.1 (Prop. básicas ideales) Sea R un acu. Entonces,
(1) si I y J son ideales de un acu R entonces I + J es el mínimo ideal que contiene a I y a J.
(2) si S ⊆ R es no vacío entonces
(S) = {r1 s1 + · · · + rm sm : ri ∈ R, si ∈ S, m ≥ 1} .
(3) la unión de una cadena de ideales (propios) de R es un ideal (respectivamente, propio) de R.
Tma.5.2 (Ideal maximal) Sea R un acu e I un ideal propio de R. Entonces existe M ideal maximal
de R con I ⊆ M . En particular, todo acu tiene ideales maximales.
• Prop. 5.3 (Anillo cociente). Sea R un anillo conmutativo y unitario. Sea I un ideal de R.
Entonces el grupo R/I es un acu con multiplicación (r + I)(s + I) = rs + I.
Cor.(Caracterización de ideal primo). Sea R un anillo conmutativo y unitario. Sea I un ideal
de R. Entonces,
I es un ideal primo de R ⇐⇒ R/I es un dominio.
• Homomorfismo de anillos unitarios, homomorfismo de cuerpos, isomorfismo; homomorfismo canónico
π : R → R/I.
Prop.5.4 (Prop. básicas homomorfismo de anillos). Sea ϕ : R1 → R2 un homomorfismo de
anillos conmutativos y unitarios. Entonces,
(1) ϕ(0R1 ) = 0R2 , ϕ(−a) = −ϕ(a);
(2) S1 subanillo de R1 =⇒ ϕ(S1 ) subanillo de R2 ;
(3) I ideal de R1 =⇒ ϕ(I) ideal de ϕ(R1 ), en particular, si ϕ es sobre ϕ(I) es ideal de R2 ;
(4) J ideal de R2 =⇒ ϕ−1 (J) ideal de R1 , en particular N uc(ϕ) es un ideal de R1 .
Prop.5.5 Sea R un acu e I un ideal de R. Entonces existe una biyección
Ψ : {ideales de R que contienen a I } → {ideales de J/I} : J 7→ Ψ(J) := J/I

Primer Tma. de isomorfía de anillos. Sea ϕ : R → S un homomorfismo de acu. La aplicación

ϕ : R/N uc(ϕ) → Im(ϕ) : r + N uc(ϕ) 7→ ϕ(r + N uc(ϕ)) := ϕ(r)
es un isomorfismo de acu.
Cor.1 (Caracterización de ideal maximal). Sea R un acu. Sea I un ideal de R. Entonces,
I es un ideal maximal de R ⇐⇒ R/I es un cuerpo.
En particular, todo ideal maximal de R es primo.
Cor.2 (Segundo Tma. de isomorfía de anillos). Sea R un anillo conmutativo y unitario. Sean
I y J ideales de R con J ⊆ I. Entonces, I/J es un ideal de R/J y
R/I ∼
= (R/J)/(I/J).
1

Distributing prohibited | Downloaded by Maria Fernandez (mariajose_ccs@yahoo.com)

 lOMoARcPSD|2192898

• Prop.5.6 (Cuerpo de fracciones de un dominio). Sea R un dominio. Entonces,

(1) la relación (a, b) ∼ (c, d) ⇐⇒ ad = bc es una relación de equivalencia sobre el conjunto R × R∗
( ab := [(a, b)]);
(2) El conjunto cociente cf (F ) := (R × R∗ )/ ∼ con las operaciones
a c ad + bc ac ac
+ := y :=
b d bd bd cd
es un cuerpo (cuerpo de fraciones de R);
(3) Todo cuerpo que contenga a R también contiene un subcuerpo K1 isomorfo a cf (R) y cf (R)
contiene una copia isomorfa de R como subanillo.

• Anillo de polinomios R[X] sobre un anillo conmutativo y unitario, grado de un polinomio δ(p),
δ(0) = −∞, (−∞ < n y −∞ + n = n + (−∞) = −∞, para todo n ∈ N) coeficientes, coeficiente
director, polinomio mónico, polinomio constante, polinomio nulo.
Prop 5.7 (Prop. básicas anillo de polinomios). Sea R un acu.
(1) δ(p + q) ≤ max(δ(p), δ(q)),
(2) si cd(p)cd(q) 6= 0 entonces δ(pq) = δ(p)+δ(q) ;
(3) si R es un dominio entonces R[X] es un dominio;
(4) U (R[X]) = U (R).
(5) para cada a ∈ R, la aplicación
eva : R[X] → R : p 7→ p(a)
es un homomorfismo de anillos (homomorfismo de evaluación).

Tma. 5.8 (teorema de la division). Sea R un acu. Sean f, g ∈ R[X] tales que el coeficiente
director de g es una unidad de R. Entonces existen unos únicos q, r ∈ R[X] tales que
f = qg + r con δ(r) < δ(g).
Cor.1 (Raíz) Sea R un acu. Sea f ∈ R[X] y a ∈ R. Entonces,
f (a) = 0 ⇐⇒ X − a | f (X) en R[X].
Raíz de un polinomio, raíz múltiple, multiplicidad de una raíz.
Cor.2 (Raíces) Si R es un dominio, f no es constante y a1 , . . . , an ∈ R son raíces distintas de f ,
entonces δ(f ) ≥ n.
Lemma de Gauss. Sea f ∈ Z[X] irreducible y no constante. Entonces f considerado como polinomio
de Q[X] también es irreducible.
Criterio de irreducibilidad de Eisenstein. Sea f (X) = an X n + · · · + a1 X + a0 ∈ Z[X] \ Z con
an 6= 0. Si existe un primo p ∈ N tal que p|ai para 0 ≤ i < n, p no divida a an y p2 no divida a0 .
Entonces f (X) es irreducible en Q[X].
Prop.5.9 (Criterios de irreducibilidad)
(1) Sea K un cuerpo y f (X) ∈ K[X] con 2 ≤ δ(f ) ≤ 3. Entonces, f irreducible en K[X] ⇐⇒ f
no tiene raíces en K.
(2) Sea p ∈ N primo y π : Z → Z/pZ la proyección canónica. Sea f (X) = ni=0 ai X i ∈ Z[X]
P
mónico y
n
X
f (X) = π(ai )X i ∈ Z/pZ[X].
i=0
Entonces, f (X) irreducible en Z/pZ[X] =⇒ f (X) es irreducible en Z[X].
(3) Sea R un dominio, f (X) ∈ R[X] y c ∈ R. Entonces
f (X) irreducible en R[X] ⇐⇒ f (X + c) irreducible en R[X].

Distributing prohibited | Downloaded by Maria Fernandez (mariajose_ccs@yahoo.com)

 lOMoARcPSD|2192898

Ejemplos.
(1) Sea p primo. El p-ésimo polinomio ciclotómico
Xp − 1
Φp (X) = = X p−1 + X p−2 + · · · + X + 1 ∈ Q[X]
X −1
es irreducible.
(2) Para todo a ∈ Z, a 6= ±1 y a libre de cuadrados, y para todo n ≥ 1 el polinomio X n − a ∈ Q[X]
es irreducible.
Prop.5.10 (Ideales principales). Sea K un cuerpo y sea I un ideal no nulo de K[X]. Entonces
existe un único p(X) ∈ K[X] mónico tal que I = (p(X)).
• Dominio de ideales principales (DIP ).
Obs. Sea R un DIP . Entonces para todo a, b ∈ R existe mcd {a, b} y si d es mcd {a, b} entonces
existen x, y ∈ R tales que d = ax + by.
Prop. 5.11 (Tma de Euclides). Sea R un DIP . Sean a, b ∈ R∗ coprimos (sus divisores comunes
son unidades de R).Entonces para todo c ∈ R.
a|bc =⇒ a|c
Cor. Sea R un DIP y r ∈ R∗ .
r es irreducible ⇐⇒ (r) es un ideal primo de R ⇐⇒ (r) es un ideal maximal de R.

Prop.5.12 (cadena de ideales). Sea R un DIP . Entonces toda cadena de ideales en R I0 ⊆ I1 ⊆

· · · ⊆ In ⊆ · · · es estacionaria, es decir, existe k ∈ N tal que Ik = Ii para todo i ≥ k.
• Dominio de fatorización única (DF U ).
Obs. Sea R un DF U . Entonces,
(1) para todo r ∈ R∗ , r es irreducible ⇐⇒ (r) es un ideal primo de R;
(2) para todo a, b ∈ R existe mcd {a, b}.
Tma.5.13. DIP =⇒ DF U .
Contenido de f (X) (C(f )), f (X) primitivo, para f (X) ∈ R[X] con R un DF U .
Obs. Sea R un DF U y f (X) ∈ R[X]. Entonces,
(1) Notación C(f ) ambigua. Dos C(f ) son asociados y cualquier asociado a un C(f ) es un C(f );
(2) f = C(f )f1 con f1 primitivo.
Lema 1 (Gauss). Sea R un DF U y f, g ∈ R[X]. Entonces, C(f g) = C(f )C(g). En particular, el
producto de dos polinomios primitivos es primitivos.
Lema 2. Sea R un DF U y F = cf (R). Sean f, g ∈ R[X] primitivos. Entonces,
f ∼ g en R[X] ⇐⇒ f ∼ g en F [X].
Lema 3. Sea R un DF U y F = cf (R). Sea f ∈ R[X] \ R primitivo. Entonces,
f irreducible en R[X] ⇐⇒ f irreducible en F [X].
Tma. 5.14. Si R es un DF U entonces R[X] también es un DF U .
• Un dominio R es un dominio euclídeo (DE) si existe una función (función euclídea) d : R∗ → N tal
que:
(1) para todo a, b ∈ R∗ , d(a) ≤ d(ab);
(2) para todo a, b ∈ R con b 6= 0 existen q, r ∈ R tales que a = bq + r y r = 0 o d(r) < d(b).
Obs. Sea R un DE con función euclídea d. Entonces,
(1) d(1) = min {d(a) : a ∈ R∗ };
(2) U (R) = {a ∈ R∗ : d(a) = d(1)}.
Ejemplos: Z; F cuerpo; F [X] con F cuerpo; Z[i].
Prop.5.15. DE =⇒DIP .

Distributing prohibited | Downloaded by Maria Fernandez (mariajose_ccs@yahoo.com)