TALLER I DE ANILLOS Y CAMPOS

BERNAL GARZON ISAIAS1

CANTILLO RODRIGUEZ MARLON ALBERTO1
GOMEZ ARRIETA ALEJANDRO JOSE1
HERNANDEZ RIVERA EDGAR1
VECINO COLEY KAREN DANIELA1

OROZCO HERRERA BERNANDO RAMON2

1ESTUDIANTE DE LA UNIVERSIDAD DE CARTAGENA, PROGRAMA DE

MATEMATICAS.
2DOCENTE DE CATEDRA DE LA UNIVERSIDAD DE CARTAGENA, ANILLOS Y
CAMPOS.

UNIVERSIDAD DE CARTAGENA
FACULTAD DE CIENCIAS EXACTAS Y NATURALES
PROGRAMA DE MATEMATICAS
VII SEMESTRE
18/08/2022
1. Sean 𝑹 y 𝑺 anillos. Se define la adición y multiplicación sobre el
producto cartesiano 𝑹 × 𝑺 por: (𝒓, 𝒔) + (𝒓′, 𝒔′) = (𝒓 + 𝒓′, 𝒔 +
𝒔′) y (𝒓, 𝒔)(𝒓′, 𝒔′) = (𝒓𝒓′, 𝒔𝒔′) Pruebe que 𝑹 × 𝑺 es un anillo. Si 𝑹 y 𝑺 ambos
son conmutativos así es 𝑹 × 𝑺. Si 𝑹 y 𝑺 tienen una identidad, entonces
𝑹 × 𝑺 también tiene una identidad.

̅ = {(𝒓, 𝟎𝑺 ): 𝒓 ∈ 𝑹} es un subanillo de
a) Muestre que el subconjunto 𝑹
𝑹 × 𝑺. En la misma forma para el subconjunto 𝑺 ̅ = {(𝟎𝑹 , 𝒔): 𝒔 ∈ 𝑺}.

PRUEBA: Probemos que 𝑅 × 𝑆 es un anillo. En efecto, veamos que

(𝑅 × 𝑆; +) es un grupo abeliano. Ahora:

i. Veamos que 𝑅 × 𝑆 es cerrado bajo la operación (+). En efecto,

para todo (𝑟, 𝑠), (𝑟`, 𝑠`) ∈ 𝑅 × 𝑆, se tiene:
(𝑟, 𝑠) + (𝑟`, 𝑠`) = (𝑟 + 𝑟`, 𝑠 + 𝑠`)
= (𝑟` + 𝑟, 𝑠` + 𝑠)
= (𝑟`, 𝑠`) + (𝑟, 𝑠) ∈ 𝑅 × 𝑆

ii. Veamos que (𝑅 × 𝑆; +) es asociativa. En efecto, para todo

(𝑟, 𝑠), (𝑟`, 𝑠`), (𝑟``, 𝑠``) ∈ 𝑅 × 𝑆, se tiene:
(𝑟, 𝑠) + [(𝑟`, 𝑠`) + (𝑟``, 𝑠``)] = (𝑟, 𝑠) + [𝑟` + 𝑟``, 𝑠` + 𝑠``]
= [𝑟 + (𝑟` + 𝑟``), 𝑠 + (𝑠` + 𝑠``)]
= [(𝑟 + 𝑟`) + 𝑟``, (𝑠 + 𝑠`) + 𝑠``]
= [𝑟 + 𝑟`, 𝑠 + 𝑠`] + (𝑟``, 𝑠``)
= [(𝑟, 𝑠) + (𝑟` + 𝑠`)] + (𝑟``, 𝑠``) ∈ 𝑅 × 𝑆

iii. Veamos que (𝑅 × 𝑆; +) tiene un elemento identidad. En efecto,

para todo (𝑟, 𝑠) ∈ 𝑅 × 𝑆, existe (0,0) en 𝑅 × 𝑆, tal que:
(𝑟, 𝑠) + (0,0) = (𝑟 + 0, 𝑠 + 0)
= (𝑟, 𝑠)

iv. Veamos qué (𝑅 × 𝑆; +) es conmutativa. En efecto, para todo

(𝑟, 𝑠), (𝑟`, 𝑠`) ∈ 𝑅 × 𝑆, se tiene:
(𝑟, 𝑠) + (𝑟`, 𝑠`) = (𝑟 + 𝑟`, 𝑠 + 𝑠`)
= (𝑟` + 𝑟, 𝑠` + 𝑠)
= (𝑟`, 𝑠`) + (𝑟, 𝑠)

v. Veamos que (𝑅 × 𝑆; +) es invertible. En efecto, para todo (𝑟, 𝑠) ∈

𝑅 × 𝑆, existe (−𝑟, −𝑠) en 𝑅 × 𝑆, tal que:
(𝑟, 𝑠) + (−𝑟, −𝑠) = [𝑟 + (−𝑟), 𝑠 + (−𝑠)]
= (0,0)
 vi. Veamos qué (𝑅 × 𝑆;∗) es cerrada. En efecto, para todo
(𝑟, 𝑠), (𝑟`, 𝑠`) ∈ 𝑅 × 𝑆, se tiene:
(𝑟, 𝑠)(𝑟`, 𝑠`) = (𝑟𝑟`, 𝑠𝑠`) ∈ 𝑅 × 𝑆

vii. Veamos que (𝑅 × 𝑆;∗) es asociativa. En efecto, para todo

(𝑟, 𝑠), (𝑟`, 𝑠`), (𝑟``, 𝑠``) ∈ 𝑅 × 𝑆, se tiene:
(𝑟, 𝑠) + [(𝑟`, 𝑠`)(𝑟``, 𝑠``)] = (𝑟, 𝑠)[𝑟`𝑟``, 𝑠`𝑠``]
= [𝑟(𝑟`𝑟``), 𝑠(𝑠`𝑠``)]
= [(𝑟𝑟`)𝑟``, (𝑠𝑠`)𝑠``]
= [𝑟𝑟`, 𝑠𝑠`](𝑟``, 𝑠``)
= [(𝑟, 𝑠)(𝑟` + 𝑠`)](𝑟``, 𝑠``) ∈ 𝑅 × 𝑆

viii. Veamos que 𝑅 × 𝑆 cumple las leyes distributivas. En efecto, para

todo (𝑟, 𝑠), (𝑟`, 𝑠`), (𝑟``, 𝑠``) ∈ 𝑅 × 𝑆, se tiene que:

[(𝑟, 𝑠) + (𝑟`, 𝑠`)](𝑟``, 𝑠``) = [(𝑟 + 𝑟`), (𝑠 + 𝑠`)](𝑟``, 𝑠``)

= [(𝑟 + 𝑟`)𝑟``, (𝑠 + 𝑠`)𝑠``]

= [𝑟𝑟`` + 𝑟`𝑟``, 𝑠𝑠`` + 𝑠`𝑠``]
= [𝑟𝑟``, 𝑠𝑠``] + [𝑟`𝑟``, 𝑠`𝑠``]
= [(𝑟, 𝑠)(𝑟`` + 𝑠``)] + [(𝑟`, 𝑠`)(𝑟``, 𝑠``)] ∈ 𝑅 × 𝑆
Además;
(𝑟, 𝑠)[(𝑟`, 𝑠`) + (𝑟``, 𝑠``)] = (𝑟, 𝑠)[(𝑟` + 𝑟``), (𝑠` + 𝑠``)]

= [𝑟(𝑟` + 𝑟``), 𝑠(𝑠` + 𝑠``)]

= [𝑟𝑟` + 𝑟𝑟``, 𝑠𝑠` + 𝑠𝑠``]
= [𝑟𝑟`, 𝑠𝑠`] + [𝑟𝑟``, 𝑠𝑠``]
= [(𝑟, 𝑠)(𝑟` + 𝑠`)] + [(𝑟, 𝑠)(𝑟``, 𝑠``)] ∈ 𝑅 × 𝑆

Así decimos que 𝑅 × 𝑆 es un anillo con unidad y es conmutativo.

̅ = {(𝒓, 𝟎𝑺 ): 𝒓 ∈ 𝑹} es un subanillo de
Muestre que el subconjunto 𝑹
𝑹 × 𝑺. En la misma forma para el subconjunto 𝑺 ̅ = {(𝟎𝑹 , 𝒔): 𝒔 ∈ 𝑺}.

Muestre que el 𝑅̅ = {(𝑟, 0𝑆 ): 𝑟 ∈ 𝑅} es un subanillo de 𝑅 × 𝑆.

 Para ello se debe cumplir que:
i. 𝑅̅ ≠ ∅
ii. Para cualquier
(𝑟, 𝑟), (𝑟`, 𝑟`) ∈ 𝑅̅ ,
(𝑟, 𝑟) − (𝑟`, 𝑟`) ∈ 𝑅̅
(𝑟, 𝑟)(𝑟`, 𝑟`) ∈ 𝑅̅

i). En efecto, como 𝑅 es anillo, 𝑅 ≠ ∅. Así, existe 𝑟 ∈ 𝑅; luego

(1,0𝑆 ) ∈ 𝑅̅ , así 𝑅̅ ≠ ∅.

ii). Sean (𝑟, 0𝑆 ), (𝑟`, 0𝑆 ) ∈ 𝑅, se tiene

(𝑟, 0𝑆 )(𝑟`, 0𝑆 ) = (𝑟𝑟`, 0𝑆 0𝑆 ) = (𝑟``, 0𝑆 ) ∈ 𝑅̅
Donde 𝑟`` = 𝑟𝑟`.

Además;
(𝑟, 0𝑆 ) − (𝑟`, 0𝑆 ) = (𝑟, 0𝑆 ) + (−𝑟`, 0𝑆 )
= [𝑟 + (−𝑟`), 0𝑆 + 0𝑆 ]
= [𝑟 − 𝑟`, 0𝑆 ]
= (𝑟``, 0𝑆 ) ∈ 𝑅̅ , 𝐷𝑜𝑛𝑑𝑒 𝑟`` = 𝑟 − 𝑟`
Así 𝑅̅ es subanillo de 𝑅 × 𝑆.

Por otro lado, veamos que 𝑆̅ = {(0𝑅 , 𝑠): 𝑠 ∈ 𝑆} es un subanillo.

i). En efecto, como 𝑆 es anillo, 𝑆 ≠ ∅; así existe 𝑠 ∈ 𝑆. Luego

(0𝑆 , 1) ∈ 𝑆̅, así 𝑆̅ ≠ ∅.

ii). Sean (0𝑅 , 𝑠), (0𝑅 , 𝑠`) ∈ 𝑆, se tiene

(0𝑅 , 𝑠)(0𝑅 , 𝑠`) = (0𝑅 0𝑅 , 𝑠𝑠`)
= (0𝑅 , 𝑠𝑠`)
= (0𝑅 , 𝑠``) ∈ 𝑆̅
Donde 𝑠`` = 𝑠𝑠`.

Además;
(0𝑅 , 𝑠) − (0𝑅 , 𝑠`) = (0𝑅 , 𝑠) + (0𝑅 , −𝑠`)
= (0𝑅 + 0𝑅 , 𝑠 − 𝑠`)
= (0𝑅 , 𝑠 − 𝑠`)
= (0𝑅 , 𝑠``) ∈ 𝑆̅, 𝐷𝑜𝑛𝑑𝑒 𝑠`` = 𝑠 − 𝑠`
Así, 𝑆̅ es subanillo de 𝑅 × 𝑆.
2. Si 𝑅 es un anillo, muestre que 𝑹∗ = {(𝒓, 𝒓): 𝒓 ∈ 𝑹} es un subanillo de
𝑹 × 𝑹.

PRUEBA: Veamos que 𝑅 ∗ es un subanillo de 𝑅 × 𝑅, para ello se debe cumplir

que:
i. 𝑅∗ ≠ ∅
ii. Para cualquier (𝑟, 𝑟), (𝑟 ′ , 𝑟 ′ ) ∈ 𝑅 ∗ ,
(𝑟, 𝑟) − (𝑟 ′ , 𝑟 ′ ) ∈ 𝑅 ∗
iii. (𝑟, 𝑟)(𝑟 ′ , 𝑟 ′ ) ∈ 𝑅 ∗

En efecto para 𝑖) , se tiene por hipotesis que 𝑅 es un anillo, por tanto 𝑅 ≠

∅. Luego para algún 𝑟 ∈ 𝑅 , existe (𝑟, 𝑟) ∈ 𝑅 ∗ , así 𝑅 ∗ ≠ ∅.

Ahora para 𝑖𝑖), supongamos que existen (𝑟, 𝑟), (𝑟 ′ , 𝑟 ′ ) ∈ 𝑅 ∗ , entonces:

(𝑟, 𝑟) − (𝑟 ′ , 𝑟 ′ ) = (𝑟 − 𝑟 ′ , 𝑟 − 𝑟 ′ ),

pero como 𝑟, 𝑟 ′ ∈ 𝑅 y 𝑅 es un anillo, la operación (𝑟 − 𝑟 ′ ) ∈ 𝑅, luego si

𝑟 − 𝑟 ′ = 𝑟 ′′ , entonces 𝑟 ′′ ∈ 𝑅. Por lo tanto

(𝑟, 𝑟) − (𝑟 ′ , 𝑟 ′ ) = (𝑟 − 𝑟 ′ , 𝑟 − 𝑟 ′ ) = (𝑟 ′′ , 𝑟 ′′ ) ∈ 𝑅 ∗

así (𝑟, 𝑟) − (𝑟 ′ , 𝑟 ′ ) ∈ 𝑅 ∗ .

Por último, para 𝑖𝑖𝑖), dado (𝑟, 𝑟), (𝑟 ′ , 𝑟 ′ ) ∈ 𝑅 ∗ , entonces:

(𝑟, 𝑟)(𝑟 ′ , 𝑟 ′ ) = (𝑟𝑟 ′ , 𝑟𝑟 ′ )

Pero como 𝑟, 𝑟 ′ ∈ 𝑅 y 𝑅 es un anillo, la operación (𝑟𝑟 ′ ) ∈ 𝑅, luego si

𝑟𝑟 ′ = 𝑟 ∗ , entonces 𝑟 ∗ ∈ 𝑅. Por lo tanto

(𝑟, 𝑟)(𝑟 ′ , 𝑟 ′ ) = (𝑟𝑟 ′ , 𝑟𝑟 ′ ) = (𝑟 ∗ , 𝑟 ∗ ) ∈ 𝑅 ∗

así (𝑟, 𝑟)(𝑟 ′ , 𝑟 ′ ) ∈ 𝑅 ∗ . Con lo cual podemos concluir que 𝑅 ∗ es subanillo

de 𝑅 × 𝑅.

3. Se define una nueva adición y multiplicación en los números enteros

ℤ así: para todo 𝒂, 𝒃 ∈ ℤ
𝒂⨁𝒃 = 𝒂 + 𝒃 − 𝟏 𝒚 𝒂⨀𝒃 = 𝒂𝒃 − (𝒂 + 𝒃) + 𝟐.
Pruebe que con estas nuevas operaciones ℤ es un dominio entero.

PRUEBA: Probemos que ℤ es un dominio entero, con estas nuevas

operaciones.
En efecto, sabemos que ℤ es un anillo conmutativo con identidad 1 ≠ 0, luego
veamos que es conmutativo y no tiene divisores de cero.
 Sean 𝑎, 𝑏 ∈ ℤ y
𝑎⨁𝑏 = 𝑎 + 𝑏 − 1 = 𝑏 + 𝑎 − 1 = 𝑏⨁𝑎
𝑎⨀𝑏 = 𝑎𝑏 − (𝑎 + 𝑏) + 2 = 𝑏𝑎 − (𝑏 + 𝑎) + 2 = 𝑏⨀𝑎
Ahora, suponga que ℤ tiene divisiones de cero; en efecto, sea 𝑎, 𝑏 ∈ ℤ, tal
que 𝑎𝑏 = 0 ó 𝑏𝑎 = 0, asi:
𝑎⨀𝑏 = 𝑎𝑏 − (𝑎 + 𝑏) + 2 = 0
𝑎𝑏 − 𝑎 − 𝑏 + 2 = 0
𝑎(𝑏 − 1) − (𝑏 − 2) = 0
𝑎(𝑏 − 1) = 𝑏 − 2
𝑏−2
𝑎 = 𝑏−1
𝑏−2
Así, 𝑎 = 𝑏−1 ∉ ℤ con 𝑏 ≠ 0, lo cual es una contradicción; por tanto ℤ es un
Dominio entero.

4. Se define una nueva adición y multiplicación en los números racionales

ℚ así: para todo 𝒓, 𝒔 ∈ ℚ
𝒓⨁𝒔 = 𝒓 + 𝒔 + 𝟏 y 𝒓⨀𝒔 = 𝒓𝒔 + 𝒓 + 𝒔.
Pruebe que con estas nuevas operaciones ℚ es un anillo. ¿Tendrá
identidad (ℚ, ⨁, ⨀)?

PRUEBA: Veamos que (ℚ,⊕,⊙) es un anillo, para esto se debe cumplir que:
I. (ℚ,⊕) es un grupo abeliano; esto es, la adición ⊕ en ℚ cumple los
siguientes axiomas:
▪ ⊕ es conmutativa.
▪ ⊕ es asociativa.
▪ Existe un elemento neutro identidad aditiva.
▪ Cada elemento es invertible con respecto a ⊕

II. ⊙ es asociativa en (ℚ,⊕,⊙)

III. Las leyes distributivas se cumplen en (ℚ,⊕,⊙)

En efecto para 𝑖), supongamos 𝑟, 𝑠, 𝑡 en ℚ, entonces:

𝑟⊕𝑠 =𝑟+𝑠+1
=𝑠+𝑟+1
=𝑠⊕𝑟
Así ⊕ es conmutativa. Luego,
𝑟 ⊕ (𝑠 ⊕ 𝑡) = 𝑟 ⊕ (𝑠 + 𝑡 + 1)
= 𝑟 + (𝑠 + 𝑡 + 1) + 1
 =𝑟+𝑠+𝑡+1+1
=𝑟+𝑠+1+𝑡+1
= (𝑟 + 𝑠 + 1) + 𝑡 + 1
= (𝑟 + 𝑠 + 1) ⊕ 𝑡
= (𝑟 ⊕ 𝑠) ⊕ 𝑡,
Así ⊕ es asociativa.

Ahora supongamos que existe 𝑒 ∈ ℚ, tal que 𝑟 ⊕ 𝑒 = 𝑟, por lo tanto

𝑟⊕𝑒 =𝑟
→𝑟+𝑒+1=𝑟
→ 𝑒 = −1 ∈ ℚ
Así existe un elemento neutro 𝑒 = −1 en ℚ. Por otro lado, sea 𝑟 ∗ ∈ ℚ. tal
que 𝑟 ⊕ 𝑟 ∗ = 𝑒, entonces:
𝑟 ⊕ 𝑟∗ = 𝑒
→ 𝑟 + 𝑟∗ + 1 = 𝑒
→ 𝑟∗ = 𝑒 − 1 − 𝑟
= −1 − 1 − 𝑟
= −2 − 𝑟 ∈ ℚ,
Así ∀ 𝑟 ∈ ℚ, existe un elemento inverso,
𝑟 ∗ = −2 − 𝑟 ∈ ℚ.
Por todo lo anterior podemos concluir que (ℚ,⊕) es un grupo abeliano.

Luego para 𝑖𝑖), dados 𝑟, 𝑠, 𝑡 ∈ (ℚ,⊕,⊙), entonces:

(𝑟 ⊙ 𝑠) ⊙ 𝑡 = (𝑟𝑠 + 𝑟 + 𝑠) ⊙ 𝑡
= (𝑟𝑠 + 𝑟 + 𝑠)𝑡 + (𝑟𝑠 + 𝑟 + 𝑠) + 𝑡
= 𝑟𝑠𝑡 + 𝑟𝑡 + 𝑠𝑡 + 𝑟𝑠 + 𝑟 + 𝑠 + 𝑡
= 𝑟𝑠𝑡 + 𝑟𝑠 + 𝑟𝑡 + (𝑠𝑡 + 𝑠 + 𝑡) + 𝑟
= (𝑠𝑡 + 𝑠 + 𝑡)𝑟 + (𝑠𝑡 + 𝑠 + 𝑡) + 𝑟
= (𝑠𝑡 + 𝑠 + 𝑡) ⊙ 𝑟
= (𝑠 ⊙ 𝑡) ⊙ 𝑟

Ahora para 𝑖𝑖𝑖), dados 𝑟, 𝑠, 𝑡 ∈ (𝑄,⊕,⊙), entonces:

(𝑟 ⊕ 𝑠) ⊙ 𝑡 = (𝑟 + 𝑠 + 1) ⊙ 𝑡
= (𝑟 + 𝑠 + 1)𝑡 + (𝑟 + 𝑠 + 1) + 𝑡
= 𝑟𝑡 + 𝑠𝑡 + 𝑡 + 𝑟 + 𝑠 + 1 + 𝑡
= (𝑟𝑡 + 𝑟 + 𝑡) + (𝑠𝑡 + 𝑠 + 𝑡) + 1
= (𝑟𝑡 + 𝑟 + 𝑡) ⊕ (𝑠𝑡 + 𝑠 + 𝑡)
= (𝑟 ⊙ 𝑡) ⊕ (𝑠 ⊙ 𝑡)
 Análogamente se tiene 𝑟 ⊙ (𝑠 ⊕ 𝑡) = (𝑟 ⊙ 𝑠) ⊕ (𝑟 ⊙ 𝑡)
Por lo tanto, podemos concluir que (ℚ,⊕,⊙) es un anillo.

Por último, veamos que (ℚ,⊕,⊙) tiene identidad. Si es así, entonces existirá
un 𝑢 , tal que 𝑢 = 1 ∈ ℚ y 𝑢 ⋅ 𝑣 = 𝑣 ⋅ 𝑢 = 𝑣, donde 𝑣 ∈ ℚ.

En efecto sea 𝑢 un elemento identidad de ℚ, entonces:

𝑢⨀𝑣 = 𝑣⨀𝑢 = 𝑣
Luego 𝑢⨀𝑣 = 𝑢𝑣 + 𝑢 + 𝑣, entonces 𝑢𝑣 + 𝑢 + 𝑣 = 𝑣, así
𝑣−𝑣 0
𝑢= = =0
𝑣+1 𝑣+1
Pero 𝑢 ≠ 1, con lo cual el anillo ℚ no tiene identidad 1 ≠ 0.

5. El anillo de las funciones continuas de ℝ en ℝ es un dominio entero?

PRUEBA: Sea 𝐴 = {𝑓/𝑓: 𝑅 ⟶ 𝑅} el anillo de funciones continuas.

probemos que 𝐴 es un dominio entero; en efecto,
definamos las operaciones de 𝐴, con las cuales es anillo
(𝑓 + 𝑔)(𝑥) = 𝑓(𝑥) + 𝑔(𝑥)
(𝑓𝑔)(𝑥) = 𝑓(𝑥)𝑔(𝑥) ∀𝑓, 𝑔 ∈ 𝐴
Observando
(𝑓 + 𝑔)(𝑥) = 𝑓(𝑥) + 𝑔(𝑥)
= 𝑔(𝑥) + 𝑓(𝑥)
= (𝑔 + 𝑓)(𝑥)
Por tanto,
(𝑓𝑔)(𝑥) = 𝑓(𝑥)𝑔(𝑥)
= 𝑔(𝑥)𝑓(𝑥)
= (𝑔𝑓)(𝑥)
Así, 𝐴 es conmutativo.

Ahora miremos sí 𝐴 tiene identidad o no; en efecto,

Sea 𝑓 ∈ 𝐴 no nula, así existe 𝑔 ∈ 𝐴, tal que
(𝑓𝑔)(𝑥) = 𝑓(𝑥)𝑔(𝑥) = 1
(𝑔𝑓)(𝑥) = 𝑔(𝑥)𝑓(𝑥) = 1

Luego, se pueden presentar los siguientes casos

I. 𝑓, 𝑔 ∈ 𝐴 sean no nulas y constantes; Así, se tiene que para todo 𝑓 ∈ 𝐴,
1
existe 𝑔 = 𝑓 ∈ 𝐵 tal que
(𝑓𝑔)(𝑥) = (𝑓𝑓 −1 )(𝑥)
= (𝑓 −1 𝑓)(𝑥)
 = (𝑔𝑓)(𝑥)
=1
II. Qué 𝑓, 𝑔 ∈ 𝐴 son no nulos y no constantes, así se razona de la misma
1
forma, es decir, para todo 𝑓 ∈ 𝐴, existe 𝑔 ∈ 𝐵 entonces 𝑔 = 𝑓 así,
(𝑓𝑔)(𝑥) = (𝑓𝑓 −1 )(𝑥)
= (𝑓 −1 𝑓)(𝑥)
= (𝑔𝑓)(𝑥)
=1
Así, 𝐴 tiene identidad.
Por otro lado, si (𝑓𝑔) ∈ 𝐵 no nulos tenemos que
(𝑓𝑔)(𝑥) = 𝑓(𝑥)𝑔(𝑥)
= 𝑔(𝑥)𝑓(𝑥)
= (𝑔𝑓)(𝑥)
≠0
Así, 𝐴 no tienen divisores de cero, lo cual implica que 𝐴 es un dominio
entero.

6. Diga si cada una de las siguientes proposiciones es verdadera o falsa y

justifique su respuesta.

a). Si 𝑹 y 𝑺 son dominios enteros, entonces 𝑹 × 𝑺 es un dominio

entero.

❖ Falso (Contra - ejemplo)

Tenemos 𝑊 = (𝑟, 0𝑆 ) con 𝑟 ≠ 0𝑅 y 𝑍 = (0𝑅 , 𝑠) con 𝑠 ≠ 0𝑅 , entonces:
𝑊 ≠ (0𝑅 , 0𝑆 ) 𝑦 𝑍 ≠ (0𝑅 , 0𝑆 )
Pero, como
𝑊𝑍 = (𝑟, 0𝑆 )(0𝑅 , 𝑠)
= (r0R , 0S s)
= (0R , 0S )
= 0R×S
Por tanto, 𝑅 × 𝑆 no es un dominio entero, puesto que posee divisores
de cero.

b). Si 𝑹 y 𝑺 son campos entonces 𝑹 × 𝑺 es un campo.

❖ Falso (Contra - ejemplo)

Tenemos (𝑟, 0𝑆 ) ∈ 𝑅 × 𝑆, observemos que no existe 𝑆, observemos
que no existe 𝑆, observemos que no existe (𝑟`, 𝑠`) ∈ 𝑅 × 𝑆, tal que:
(𝑟, 0𝑆 )(𝑟`, 𝑠`) = (1𝑅 , 1𝑆 ) = 1𝑅×𝑆
 Ya que
(𝑟, 0𝑆 )(𝑟`, 𝑠`) = (𝑟𝑟`, 0𝑆 𝑠`)
= (𝑟𝑟`, 0𝑆 )
Luego, (𝑟𝑟`, 0𝑆 ) ≠ (1𝑅 , 1𝑆 )
Puesto que o que 0𝑆 ≠ 1𝑆 . Así, 𝑅 × 𝑆 no es un campo.

c). El conjunto de unidades en un anillo 𝑹 es un subanillo de 𝑹.

❖ Falso (Contra - ejemplo)

Recuerde que el conjunto de unidades en 𝑅 se define así,
𝑅 × ∶= {𝑢 ∈ 𝑅: 𝑢𝑣 = 𝑣𝑢 = 1𝑅 , 𝑝𝑎𝑟𝑎 𝑎𝑙𝑔ú𝑛 𝑣 ∈ 𝑅}
Tomemos 𝑅 = ℤ3 = {0̅, 1̅, 2̅} con las operaciones + y * usuales, cuyo
conjunto de unidades es ℤ3 = {1̅, 2̅}, pues (1 × 1 = 1 𝑦 2 × 2 = 1).
Además, para que ℤ× sea subanillo, la resta debe ser cerrada, así;
1̅ − 1̅ = ̅̅̅̅̅̅̅
1 − 1 = 0̅ ∈ ℤ×
Así, 𝑅 × no es subanillo 𝑅.

7. Sea 𝑺 un conjunto y ℘(𝑺)el conjunto de todos los subconjuntos de 𝑺. Se

define la adición y multiplicación en ℘(𝑺) así: para todo 𝑨, 𝑩 ∈ ℘(𝑺)
𝑨 + 𝑩 = (𝑨 − 𝑩) ∪ (𝑩 − 𝑨) 𝒚 𝑨𝑩 = 𝑨 ∩ 𝑩.

a). Pruebe que ℘(𝑺) es un anillo conmutativo con identidad. Sera

un dominio entero?

PRUEBA: Veamos que ℘(𝑆) es un anillo.

• Veamos que (℘(𝑆), +) es conmutativo. En efecto; sean 𝐴, 𝐵 ∈
℘(𝑆), entonces
𝐴 + 𝐵 = (𝐴 − 𝐵) ∪ (𝐵 − 𝐴)
= (𝐵 − 𝐴) ∪ (𝐴 − 𝐵)
=𝐵+𝐴
• Veamos que (℘(𝑆), +) es asociativa.
Sean 𝐴, 𝐵, 𝐶 ∈ ℘(𝑆), veamos que (𝐴 + 𝐵) + 𝐶 = 𝐴 + (𝐵 + 𝐶).
En efecto;
(𝐴 + 𝐵) + 𝐶 = [(𝐴 + 𝐵) − 𝐶] ∪ [𝐶 − (𝐴 + 𝐵)]
= [(𝐴 + 𝐵) ∩ 𝐶 ′ ] ∪ [𝐶 ∩ (𝐴 + 𝐵)′ ]
= {[(𝐴 − 𝐵) ∪ (𝐵 − 𝐴) ∩ 𝐶 ′ ]} ∪ {𝐶 ∩ [(𝐴 − 𝐵) ∪ (𝐵 − 𝐴)]′ }
= {[(𝐴 ∩ 𝐵′) ∪ (𝐵 ∩ 𝐴′ )] ∩ 𝐶 ′ } ∪ {𝐶 ∩ [(𝐴 ∩ 𝐵′) ∪ (𝐵 ∩ 𝐴′)]′ }
= {[(𝐴 ∩ 𝐵′) ∪ (𝐵 ∩ 𝐴′ )] ∩ 𝐶 ′ } ∪ {𝐶 ∩ [(𝐴 ∩ 𝐵 ′ )′ ∩ (𝐵 ∩ 𝐴′ )′]}
= {[(𝐴 ∩ 𝐵′) ∪ (𝐵 ∩ 𝐴′ )] ∩ 𝐶 ′ } ∪ {𝐶 ∩ [(𝐵 ∩ 𝐴′ )′ ∩ (𝐴 ∩ 𝐵 ′ )′]}
= {[(𝐴 ∩ 𝐵′) ∪ (𝐵 ∩ 𝐴′ )] ∩ 𝐶 ′ } ∪ {𝐶 ∩ [(𝐵′ ∪ 𝐴) ∩ (𝐴′ ∪ 𝐵)]}
 = {[(𝐴 ∩ 𝐵′) ∪ (𝐵 ∩ 𝐴′ )] ∩ 𝐶 ′ } ∪ {𝐶 ∩ [(𝐴 ∪ 𝐵′) ∩ (𝐵 ∪ 𝐴′)]}
= {[(𝐴 ∩ 𝐵′) ∪ (𝐵 ∩ 𝐴′ )] ∩ 𝐶 ′ } ∪ {𝐶 ∩ [((𝐴 ∪ 𝐵′) ∩ 𝔘) ∩ (𝔘 ∩
(𝐵 ∪ 𝐴′ ))]}
= {[(𝐴 ∩ 𝐵′) ∪ (𝐵 ∩ 𝐴′ )] ∩ 𝐶 ′ } ∪ {𝐶 ∩ [((𝐴 ∪ 𝐵′) ∩ (𝐴 ∪ 𝐴′)) ∩
((𝐵 ∪ 𝐵′) ∩ (𝐵 ∪ 𝐴′ ))]}
= {[(𝐴 ∩ 𝐵′) ∪ (𝐵 ∩ 𝐴′ )] ∩ 𝐶 ′ } ∪ {𝐶 ∩ [(𝐴 ∩ 𝐵) ∪ (𝐵′ ∩ 𝐴′)]}
= {[(𝐴 ∩ 𝐵′) ∩ 𝐶 ′ ] ∪ [(𝐵 ∩ 𝐴′ ) ∩ 𝐶 ′ ]} ∪ {[𝐶 ∩ (𝐴 ∩ 𝐵)] ∪ [𝐶 ∩ (𝐵′
∩ 𝐴′)]}
= {(𝐴 ∩ 𝐵 ∩ 𝐶 ′ ) ∪ (𝐵 ∩ 𝐴′ ∩ 𝐶 ′ )} ∪ {(𝐶 ∩ 𝐴 ∩ 𝐵) ∪ (𝐶 ∩ 𝐵′ ∩ 𝐴′)}
′

= (𝐴 ∩ 𝐵 ′ ∩ 𝐶 ′ ) ∪ {(𝐵 ∩ 𝐴′ ∩ 𝐶′) ∪ (𝐶 ∩ 𝐴 ∩ 𝐵)} ∪ (𝐶 ∩ 𝐵′ ∩ 𝐴′)

= (𝐴 ∩ 𝐵 ′ ∩ 𝐶 ′ ) ∪ {(𝐶 ∩ 𝐴 ∩ 𝐵) ∪ (𝐵 ∩ 𝐴′ ∩ 𝐶′)} ∪ (𝐶 ∩ 𝐵′ ∩ 𝐴′)
= {(𝐴 ∩ 𝐵 ′ ∩ 𝐶 ′ ) ∪ (𝐶 ∩ 𝐴 ∩ 𝐵)} ∪ {(𝐵 ∩ 𝐴′ ∩ 𝐶′) ∪ (𝐶 ∩ 𝐵′ ∩ 𝐴′)}
= {(𝐴 ∩ 𝐵 ′ ∩ 𝐶 ′ ) ∪ (𝐴 ∩ 𝐶 ∩ 𝐵)} ∪ {(𝐵 ∩ 𝐶′ ∩ 𝐴′) ∪ (𝐶 ∩ 𝐵′ ∩ 𝐴′)}
= {[(𝐴 ∩ 𝐵 ′ ) ∩ 𝐶 ′ ] ∪ [(𝐴 ∩ 𝐶) ∩ 𝐵]} ∪ {(𝐵 ∩ 𝐶′ ∩ 𝐴′) ∪ (𝐶 ∩ 𝐵′ ∩
𝐴′)}
= {[((𝐴 ∩ 𝐵 ′ ) ∩ 𝐶 ′ ) ∪ ∅] ∪ [∅ ∪ ((𝐴 ∩ 𝐶) ∩ 𝐵)]} ∪ {(𝐵 ∩ 𝐶′ ∩ 𝐴′)
∪ (𝐶 ∩ 𝐵′ ∩ 𝐴′)}
= {[((𝐴 ∩ 𝐵 ) ∩ 𝐶 ′ ) ∪ (𝐴 ∩ ∅)] ∪ [(𝐴 ∩ ∅) ∪ ((𝐴 ∩ 𝐶) ∩ 𝐵)]} ∪
′

{(𝐵 ∩ 𝐶′ ∩ 𝐴′) ∪ (𝐶 ∩ 𝐵′ ∩ 𝐴′)}

= {[((𝐴 ∩ 𝐵 ′ ) ∩ 𝐶 ′ ) ∪ (𝐴 ∩ (𝐵′ ∩ 𝐵))] ∪ [(𝐴 ∩ (𝐶 ∩ 𝐶′))
∪ ((𝐴 ∩ 𝐶) ∩ 𝐵)]} ∪ {(𝐵 ∩ 𝐶′ ∩ 𝐴′) ∪ (𝐶 ∩ 𝐵′ ∩ 𝐴′)}
= {[((𝐴 ∩ 𝐵 ) ∩ 𝐶 ′ ) ∪ ((𝐴 ∩ 𝐵 ′ ) ∩ 𝐵)] ∪ [((𝐴 ∩ 𝐶) ∩ 𝐶′)
′

∪ ((𝐴 ∩ 𝐶) ∩ 𝐵)]} ∪ {(𝐵 ∩ 𝐶′ ∩ 𝐴′) ∪ (𝐶 ∩ 𝐵′ ∩ 𝐴′)}

= {[(𝐴 ∩ 𝐵 ) ∩ (𝐶 ′ ∪ 𝐵)] ∪ [(𝐴 ∩ 𝐶) ∩ (𝐶′ ∪ 𝐵)]} ∪ {(𝐵 ∩ 𝐶′ ∩ 𝐴′)
′

∪ (𝐶 ∩ 𝐵′ ∩ 𝐴′)}
= {[(𝐴 ∩ 𝐵 ) ∪ (𝐴 ∩ 𝐶)] ∩ (𝐶′ ∪ 𝐵)} ∪ {[(𝐵 ∩ 𝐶 ′ ) ∩ 𝐴′ ] ∪ [(𝐶 ∩
′

𝐵 ′ ) ∩ 𝐴′ ]}
= {[𝐴 ∩ (𝐵 ′ ∪ 𝐶)] ∩ (𝐶′ ∪ 𝐵)} ∪ {[(𝐵 ∩ 𝐶 ′ ) ∩ 𝐴′ ] ∪ [(𝐶 ∩ 𝐵 ′ ) ∩
𝐴′ ]}
= {[𝐴 ∩ (𝐵 ′ ∪ 𝐶)] ∩ (𝐶′ ∪ 𝐵)} ∪ {[(𝐵 ∩ 𝐶 ′ ) ∪ (𝐶 ∩ 𝐵′)] ∩ 𝐴′ }
= {[𝐴 ∩ (𝐵 ′ ∪ (𝐶 ′ )′)] ∩ (𝐶 ′ ∪ (𝐵 ′ )′ )} ∪ {[(𝐵 ∩ 𝐶 ′ ) ∪ (𝐶 ∩ 𝐵′)] ∩
𝐴′ }
= {[𝐴 ∩ (𝐵 ∩ 𝐶 ′ )′] ∩ (𝐶 ∩ 𝐵 ′ )′} ∪ {[(𝐵 ∩ 𝐶 ′ ) ∪ (𝐶 ∩ 𝐵′)] ∩ 𝐴′ }
= {𝐴 ∩ [(𝐵 ∩ 𝐶 ′ ) ∪ (𝐶 ∩ 𝐵 ′ )]′} ∪ {[(𝐵 ∩ 𝐶 ′ ) ∪ (𝐶 ∩ 𝐵′)] ∩ 𝐴′ }
= {𝐴 ∩ [(𝐵 − 𝐶) ∪ (𝐶 − 𝐵)]′} ∪ {[(𝐵 − 𝐶) ∪ (𝐶 − 𝐵)] ∩ 𝐴′ }
= {𝐴 − [(𝐵 − 𝐶) ∪ (𝐶 − 𝐵)]} ∪ {[(𝐵 − 𝐶) ∪ (𝐶 − 𝐵)] − 𝐴}
= {𝐴 − [𝐵 + 𝐶]} ∪ {[𝐵 + 𝐶] − 𝐴}
= 𝐴 + (𝐵 + 𝐶)
• Veamos que existe en (℘(𝑆), +) un elemento neutro. En efecto,
para todo 𝐴 en ℘(𝑆), existe ∅ ∈ ℘(𝑆), tal que
𝐴 + ∅ = (𝐴 − ∅) ∪ (∅ − 𝐴)
= (𝐴 ∩ ∅𝑐 ) ∪ (∅ ∩ 𝐴𝑐 )
= (𝐴 ∩ 𝔘) ∪ ∅
= (𝐴 ∩ 𝔘)
=𝐴

• Veamos que existe en (℘(𝑆), +) un elemento inverso. En

efecto, sea 𝐴′ ∈ ℘(𝑆), tal que 𝐴 + 𝐴′ = 𝑒1 . Veamos que, 𝐴′ = 𝐴.

𝐴 + 𝐴 = (𝐴 − 𝐴) ∪ (𝐴 − 𝐴)
= (𝐴 ∩ 𝐴𝑐 ) ∪ (𝐴 ∩ 𝐴𝑐 )
=∅∪∅
=∅

• Veamos que (℘(𝑆),∙) es asociativa. En efecto, sean 𝐴, 𝐵, 𝐶 ∈

℘(𝑆), entonces
(𝐴𝐵)𝐶 = (𝐴𝐵) ∩ 𝐶
= (𝐴 ∩ 𝐵) ∩ 𝐶
= 𝐴 ∩ (𝐵 ∩ 𝐶)
= 𝐴 ∩ (𝐵𝐶)
= 𝐴(𝐵𝐶)

• Veamos que se cumplen las leyes distributivas. En efecto, sea

𝐴, 𝐵, 𝐶 ∈ ℘(𝑆), entonces
𝐴(𝐵 + 𝐶) = 𝐴 ∩ (𝐵 + 𝐶)
= (𝐴 ∩ 𝐵) + (𝐴 ∩ 𝐶)
= 𝐴𝐵 + 𝐴𝐶
Y
(𝐴 + 𝐵)𝐶 = (𝐴 + 𝐵) ∩ 𝐶
= 𝐶 ∩ (𝐴 + 𝐵)
= (𝐶 ∩ 𝐴) + (𝐶 ∩ 𝐵)
= (𝐴 ∩ 𝐶) + (𝐵 ∩ 𝐶)
= 𝐴𝐶 + 𝐵𝐶
Por lo tanto ℘(𝑆) es un anillo.

• Veamos que ℘(𝑆) es conmutativo. En efecto, sean 𝐴, 𝐵 en

℘(𝑆), entonces
𝐴𝐵 = 𝐴 ∩ 𝐵 = 𝐵 ∩ 𝐴 = 𝐵𝐴
 • Veamos que ℘(𝑆) es un anillo conmutativo con identidad. En
efecto, sea 𝑒 la identidad de 𝑅 con respecto a la multiplicación,
tal que
𝐴𝑒 = 𝐴 para todo 𝐴 ∈ ℘(𝑆). Veamos que 𝔘 (donde 𝔘 es el
conjunto universal) es la identidad de 𝑅 con respecto a la
multiplicación, entonces
𝐴𝔘 = 𝐴 ∩ 𝔘 = 𝐴
Así, 𝑒 = 𝔘, tal que 𝐴𝑒 = 𝐴 para todo 𝐴 ∈ ℘(𝑆), es decir, existe
la identidad de 𝑅 con respecto a la multiplicación.
El anillo ℘(𝑆) no es dominio entero, ya que para todo 𝐴, 𝐵 ∈
℘(𝑆), con 𝐴 ≠ ∅, 𝐵 ≠ ∅ y además, 𝐴 ⊈ 𝐵 y 𝐵 ⊈ 𝐴, se cumple
que:
𝐴𝐵 = 𝐴 ∩ 𝐵 = ∅
Por lo tanto, 𝐴 y 𝐵 son divisores de 0 en el anillo ℘(𝑆), entonces
℘(𝑆) no es dominio entero.

b). Mostrar que todo elemento de ℘(𝑺) satisface las ecuaciones

𝒙𝟐 = 𝒙 𝒚 𝒙 + 𝒙 = 𝟎.

PRUEBA:
▪ Sean 𝐴, 𝐵 ∈ ℘(𝑆). Veamos que
(𝐴𝐵)2 = 𝐴2 𝐵 2
= 𝐴𝐴𝐵𝐵
= 𝐴𝐵𝐴𝐵
= (𝐴 ∩ 𝐵)(𝐴 ∩ 𝐵)
= (𝐴 ∩ 𝐵) ∩ (𝐴 ∩ 𝐵)
= (𝐴 ∩ 𝐵)
= 𝐴𝐵
2
Luego, se cumple que 𝑥 = 𝑥 para todo 𝑥 ∈ ℘(𝑆).

▪ Sea 𝐴 ∈ ℘(𝑆), entonces

𝐴 + 𝐴 = (𝐴 − 𝐴) ∪ (𝐴 − 𝐴)
= (𝐴 ∩ 𝐴′ ) ∪ (𝐴 ∩ 𝐴′ )
=∅∪∅
=∅
Luego, se cumple que 𝑥 + 𝑥 = 0 para todo 𝑥 ∈ ℘(𝑆).

8. Un elemento 𝒆 en un anillo es idempotente si 𝒆𝟐 = 𝒆.

a). Halle todos los elementos idempotentes en ℤ𝟏𝟐

PRUEBA: Recuerde para que un elemento 𝑎̅ ∈ ℤ12 sea idempotente,
debe satisfacer que
𝑎2 − 𝑎 = 12𝑘, 𝑝𝑎𝑟𝑎 𝑘 ∈ ℤ𝑛

En efecto; ℤ12 = {0̅, 1̅, 2̅, 3̅, 4̅, 5̅, 6̅, 7̅, 8̅, 9̅, 10
̅̅̅̅, 11
̅̅̅̅}. Luego, se tiene que:

• Si 𝑎 = 0
02 − 0 = 12𝑘
0 = 12𝑘, 𝑘 = 0 ∈ ℤ𝑛
• Si 𝑎 = 1
12 − 1 = 12𝑘
0 = 12𝑘, 𝑘 = 0 ∈ ℤ𝑛
• Si 𝑎 = 2
22 − 2 = 12𝑘
1
2 = 12𝑘, 𝑘 = ( ) ∉ ℤ𝑛
6
• Si 𝑎 = 3
32 − 3 = 12𝑘
1
6 = 12𝑘, 𝑘 = ( ) ∉ ℤ𝑛
2
• Si 𝑎 = 4
42 − 4 = 12𝑘
12 = 12𝑘, 𝑘 = 1 ∈ ℤ𝑛
• Si 𝑎 = 5
52 − 5 = 12𝑘
5
20 = 12𝑘, 𝑘 = ( ) ∉ ℤ𝑛
3
• Si 𝑎 = 6
62 − 6 = 12𝑘
5
30 = 12𝑘, 𝑘 = ( ) ∉ ℤ𝑛
2
• Si 𝑎 = 7
72 − 7 = 12𝑘
7
42 = 12𝑘, 𝑘 = ( ) ∉ ℤ𝑛
2
• Si 𝑎 = 8
82 − 8 = 12𝑘
14
56 = 12𝑘, 𝑘 = ( ) ∉ ℤ𝑛
3
 • Si 𝑎 = 9
92 − 9 = 12𝑘
72 = 12𝑘, 𝑘 = 6 ∈ ℤ𝑛
• Si 𝑎 = 10
102 − 10 = 12𝑘
15
90 = 12𝑘, 𝑘 = ( ) ∉ ℤ𝑛
2
• Si 𝑎 = 11
11 − 11 = 12𝑘
56
110 = 12𝑘, 𝑘 = ( ) ∉ ℤ𝑛
6

Así, las únicas soluciones son 𝑎 = {0,1,4,9}.

Por tanto, los únicos elementos idempotentes en ℤ12 son {0,1,4,9}.

b). Halle todos los elementos idempotentes en un dominio entero

𝑹.

PRUEBA: Hallemos todos los elementos idempotentes en un dominio

entero 𝑅, tal que
𝑒 2 = 𝑒.
En efecto,
𝑒2 = 𝑒
𝑒2 − 𝑒 = 0
𝑒(𝑒 − 1) = 0

De modo que 𝑒 = 0 y 𝑒 − 1 = 0. Por tanto, los elementos idempotentes

de un anillo 𝑅 de dominio entero, son 0 y 1.

c). Si 𝒆 es un elemento idempotente en 𝑹 y 𝒙 ∈ 𝑹 pruebe que

(𝒙𝒆 − 𝒆𝒙𝒆)𝟐 = 𝟎

PRUEBA: Si 𝑒 es un elemento idempotente en 𝑅 y 𝑥 ∈ 𝑅, veamos que

(𝑥𝑒 − 𝑒𝑥𝑒)2 = 0. En efecto;

(𝑥𝑒 − 𝑒𝑥𝑒)2 = (𝑥𝑒)2 − 2(𝑥𝑒)(𝑒𝑥𝑒) + (𝑒𝑥𝑒)2

= 𝑥 2 𝑒 2 − 2𝑥𝑒 2 𝑥𝑒 + 𝑒 2 𝑥 2 𝑒 2
= 𝑥 2 𝑒 − 2𝑥𝑒𝑥𝑒 + 𝑒𝑥 2 𝑒
= 𝑥 2 𝑒 − 2(𝑥𝑒)2 + 𝑒𝑥𝑥𝑒
= 𝑥 2 𝑒 − 2𝑥 2 𝑒 2 + 𝑥 2 𝑒 2
 = 𝑥 2 𝑒 − 2𝑥 2 𝑒 + 𝑥 2 𝑒
= 2𝑥 2 𝑒 − 2𝑥 2 𝑒
=0

9. Sea 𝑹 un anillo con identidad y 𝒂 ∈ 𝑹. Si 𝒂𝟐 = 𝟎, pruebe que 𝒂 + 𝟏 y

𝒂 − 𝟏 son unidades en 𝑹.

PRUEBA: Sea 𝑅 un anillo con identidad y 𝑎 ∈ 𝑅, tal que 𝑎2 = 0, entonces se

tiene:
(1 + 𝑎)(1 − 𝑎) = (1 − 𝑎)(1 + 𝑎)
= 12 + 𝑎 − 𝑎 − 𝑎2
= 1 + 0 − 𝑎2
= 1 − 𝑎2
=1−0
=1
Así, (1 + 𝑎) es una unidad de 𝑅.

De otro lado, se tiene:

(1 − 𝑎)(1 + 𝑎) = (1 + 𝑎)(1 − 𝑎)
= 12 − 𝑎 + 𝑎 − 𝑎2
= 1 + 0 − 𝑎2
= 1 − 𝑎2
=1−0
=1
Así, (1 − 𝑎) es una unidad de 𝑅.

10. Sea 𝑹 un anillo con identidad y 𝒂 ∈ 𝑹. Si 𝒂𝟐 = 𝟏, y 𝒂 ≠ ±𝟏 pruebe que

𝒂 + 𝟏 y 𝒂 − 𝟏 son divisores de cero en 𝑹.

PRUEBA: Sea 𝑅 un anillo con identidad y 𝑎 ∈ 𝑅, tal que 𝑎2 = 1, y 𝑎 ≠ ±1,

veamos que 𝑎 + 1 y 𝑎 − 1 son divisores de cero en 𝑅. En efecto, para 𝑏 ∈ 𝑅,
𝑏 ≠ 0, basta probar que
(𝑎 + 1)𝑏 = 0

Así, tomemos 𝑏 = (𝑎 − 1); 𝑎 ≠ 1, entonces

(𝑎 + 1)(𝑎 − 1) = 𝑎2 − 𝑎 + 𝑎 − 12
= 𝑎2 + 0 − 1
= 𝑎2 − 1
= 1−1
=0
 Por tanto, (𝑎 + 1) es un divisor de cero.

De otro lado, para (𝑎 − 1), tomemos 𝑏 = (𝑎 + 1); 𝑎 ≠ −1, donde 𝑏 ∈ 𝑅, 𝑏 ≠

0, tal que:
(𝑎 − 1)(𝑎 + 1) = 𝑎2 + 𝑎 − 𝑎 − 12
= 𝑎2 + 0 − 1
= 𝑎2 − 1
= 1−1
=0
Por tanto, (𝑎 − 1) es un divisor de cero.

11. Sea 𝑹 un anillo conmutativo con identidad y 𝒕 ∈ 𝑹. Sea 𝑻 = {𝒓𝒕: 𝒓 ∈ 𝑹}.

Si 𝒖 es una unidad en 𝑹 y 𝒖 ∈ 𝑻, pruebe que 𝑹 = 𝑻.

PRUEBA: Veamos qué 𝑅 ⊆ 𝑇 y 𝑇 ⊆ 𝑅.

En primer lugar, probemos 𝑅 ⊆ 𝑇. En efecto, sea 𝑔 ∈ 𝑅 y 𝑢 una unidad en 𝑅
con 𝑢 ∈ 𝑇, entonces existe
𝑣 ∈ 𝑅 talque 𝑢𝑣 = 𝑣𝑢 = 1
Ahora, como 𝑢 ∈ 𝑇 entonces
𝑢 = 𝑟`𝑡 para cualquier 𝑟` ∈ 𝑅
Así, reemplazando 𝑢 y teniendo en cuenta que 𝑅 es conmutativo, tenemos
que
𝑔 = 1𝑔 = (𝑢𝑣)𝑔 = (𝑟′𝑣𝑔)𝑡 = 𝑟′′𝑡
Donde 𝑟′′ = 𝑟′𝑣𝑔 ∈ 𝑅 de manera que 𝑔 ∈ 𝑇 y así 𝑅 ⊆ 𝑇. (1)

Ahora, sea ℎ ∈ 𝑇, luego ℎ = 𝑟𝑡, para algún 𝑟 ∈ 𝑅, pero 𝑟𝑡 ∈ 𝑅, así que ℎ ∈ 𝑅.

Luego, 𝑇 ⊆ 𝑅. (2)

En resumen, de (1) y (2) se concluye que 𝑅 = 𝑇.

12. Un elemento 𝒂 en un anillo 𝑹 es nilpotente si 𝒂𝒏 = 𝟎 para algún entero

𝒏. Pruebe que 𝑹 no tiene elementos nilpotentes distintos de cero si y
solo si 𝟎 es la única solución de la ecuación 𝒙𝟐 = 𝟎.

PRUEBA:
⇒) Sea 𝑥 ∈ ℝ un elemento nilpotente del anillo 𝑅, entonces 𝑥 𝑛 = 0, ∀𝑛 ∈ ℤ.
En particular 𝑥 2 = 0, luego como por hipótesis R no tiene elementos
nilpotentes distintos de cero, entonces 𝑥 = 0 y, además, es la única solución
para 𝑥 𝑛 = 0 y en particular 𝑥 2 = 0.
 ⇐) Sea 𝑥 ∈ 𝑅 y 𝑥 2 = 0, donde cero es la única solución a dicha ecuación.
Luego 𝑥 = 0 y así, ocurre igualmente para 𝑥 𝑛 = 0, ∀ 𝑛 ∈ ℤ, con la cual 𝑥 =
0 es el único elemento nilpotente de R.

13. Sea 𝑹 un anillo, donde 𝒂𝟑 = 𝒂 para todo 𝒂 ∈ 𝑹. Demuestre que 𝑹 es

conmutativo.

PRUEBA: Sea 𝑎, 𝑏 ∈ 𝑅. Ahora,

(𝑎 + 𝑏)3 = (𝑎 + 𝑏)(𝑎 + 𝑏)(𝑎 + 𝑏)
= 𝑎3 + 3𝑎2 𝑏 + 3𝑎𝑏 2 + 𝑏 3

Como por hipótesis 𝑎3 = 𝑎 y 𝑏 3 = 𝑎, se tiene

𝑎 + 𝑏 = 𝑎 + 3𝑎2 𝑏 + 3𝑎𝑏 2 + 𝑏 3

Luego, por la ley cancelativa de grupo se sigue

0 = 3𝑎2 𝑏 + 3𝑎𝑏 2
Es decir,
−3𝑎2 𝑏 = 3𝑎𝑏 2
𝑎2 𝑏 = 𝑎𝑏 2
Pero, para toda 𝑎 ∈ 𝑅
(−𝑎) = (−𝑎)3
= (−𝑎)(−𝑎)(−𝑎)
= −𝑎
Luego,
𝑎𝑏 = 𝑎3 ∙ 𝑏 3
= 𝑎 ∙ 𝑎2 ∙ 𝑎3
= 𝑎 ∙ 𝑏 3 ∙ 𝑎2
= 𝑎 ∙ 𝑏 2 ∙ 𝑏 ∙ 𝑎2
= 𝑏 2 ∙ 𝑎 ∙ 𝑏 ∙ 𝑎2
=𝑏∙𝑏∙𝑎∙𝑏∙𝑎∙𝑎
= 𝑏 ∙ (𝑏 ∙ 𝑎)2 ∙ 𝑎
= (𝑏 ∙ 𝑎)(𝑏 ∙ 𝑎)2
= (𝑏 ∙ 𝑎)3
= 𝑏 3 ∙ 𝑎3
= 𝑏𝑎