Algebra Moderna

Anillos
𝟑 𝟑
1. Demostrar: 𝑺 = {𝒙 + 𝒚 √𝟑 + 𝒛 √𝟗: 𝒙, 𝒚, 𝒛 ∈ 𝑸} es un subanillo de R (Reales). Utilizar el teorema:
Para la solución se debe demostrar los siguientes:
Cerradura de la adición:
3 3 3 3
∀(𝑥 + 𝑦 √3 + 𝑧 √9), (𝑝 + 𝑞 √3 + 𝑟 √9) ∈ 𝑆 es cerrada la operación de adición:
3 3 3 3 3 3
(𝑥 + 𝑦 √3 + 𝑧 √9) + (𝑝 + 𝑞 √3 + 𝑟 √9) = (𝑥 + 𝑝) + (𝑦 + 𝑞) √3 + (𝑧 + 𝑟) √9)
(𝑥 + 𝑝), (𝑦 + 𝑞), (𝑧 + 𝑟) ∈ 𝑸

Cerradura de la multiplicación:
3 3 3 3
∀(𝑥 + 𝑦 √3 + 𝑧 √9), (𝑝 + 𝑞 √3 + 𝑟 √9) ∈ 𝑆 es cerrada la operación de multiplicación:
Cálculo auxiliar de la multiplicación en S de
3 3 3 3 3 3 3 3 3 3 3 3
(𝑥 + 𝑦 √3 + 𝑧 √9)(𝑝 + 𝑞 √3 + 𝑟 √9) = 𝑥𝑝 + 𝑥𝑞 √3 + 𝑥𝑟 √9 + 𝑦𝑝 √3 + 𝑦𝑞 √9 + 𝑦𝑟 √27 + 𝑧𝑝 √9 + 𝑧𝑞 √27 + 𝑧𝑟 √81
3 3 3 3 3 3 3 3 3 3
(𝑥 + 𝑦 √3 + 𝑧 √9)(𝑝 + 𝑞 √3 + 𝑟 √9) = 𝑥𝑝 + 𝑥𝑞 √3 + 𝑥𝑟 √9 + 𝑦𝑝 √3 + 𝑦𝑞 √9 + 3𝑦𝑟 + 𝑧𝑝 √9 + 𝑧𝑞3 + 𝑧𝑟 √27.3
3 3 3 3 3 3 3 3 3 3
(𝑥 + 𝑦 √3 + 𝑧 √9)(𝑝 + 𝑞 √3 + 𝑟 √9) = 𝑥𝑝 + 𝑥𝑞 √3 + 𝑥𝑟 √9 + 𝑦𝑝 √3 + 𝑦𝑞 √9 + 3𝑦𝑟 + 𝑧𝑝 √9 + 𝑧𝑞3 + 3𝑧𝑟 √3

3 3 3 3 3 3
(𝑥 + 𝑦 √3 + 𝑧 √9)(𝑝 + 𝑞 √3 + 𝑟 √9) = (𝑥𝑝 + 3𝑦𝑟 + 3𝑧𝑞) + (𝑥𝑞 + 𝑦𝑝 + 𝑧𝑟) √3 + (𝑥𝑟 + 𝑦𝑞 + 𝑧𝑝) √9

(𝑥𝑝 + 3𝑦𝑟 + 3𝑧𝑞), (𝑥𝑞 + 𝑦𝑝 + 𝑧𝑟), (𝑥𝑟 + 𝑦𝑞 + 𝑧𝑝) ∈ 𝑸

Neutro aditivo:
3 3 3 3
∃(𝑥 + 𝑦 √3 + 𝑧 √9) ∈ 𝑆: ∀(𝑝 + 𝑞 √3 + 𝑟 √9) ∈ 𝑆 se cumple

3 3 3 3 3 3
(𝑥 + 𝑦 √3 + 𝑧 √9) + (𝑝 + 𝑞 √3 + 𝑟 √9) = (𝑝 + 𝑞 √3 + 𝑟 √9)
3 3 3 3 3 3
𝑥 + 𝑦 √3 + 𝑧 √9 + 𝑝 + 𝑞 √3 + 𝑟 √9 = 𝑝 + 𝑞 √3 + 𝑟 √9
3 3 3 3
(𝑥 + 𝑝) + (𝑦 + 𝑞) √3 + (𝑧 + 𝑟) √9) = 𝑝 + 𝑞 √3 + 𝑟 √9

𝑥+𝑝=𝑝 𝑦+𝑞 =𝑞 𝑧+𝑟=𝑟

𝑥=0 𝑦=0 𝑧=0
3 3
Reemplazando: 𝑥 + 𝑦 √3 + 𝑧 √9
3 3
0 + 0 √3 + 0 √9

Inverso aditivo
3 3 3 3
∀(𝑝 + 𝑞 √3 + 𝑟 √9) ∈ 𝑆, ∃(𝑥 + 𝑦 √3 + 𝑧 √9) ∈ 𝑆:
3 3 3 3 3 3
(𝑝 + 𝑞 √3 + 𝑟 √9) + (𝑥 + 𝑦 √3 + 𝑧 √9) = 0 + 0 √3 + 0 √9
3 3 3 3 3 3
𝑝 + 𝑞 √3 + 𝑟 √9 + 𝑥 + 𝑦 √3 + 𝑧 √9 = 0 + 0 √3 + 0 √9
3 3 3 3
(𝑝 + 𝑥) + (𝑞 + 𝑦) √3 + (𝑟 + 𝑧) √9) = 0 + 0 √3 + 0 √9

𝑝+𝑥 = 0 𝑞+𝑦=0 𝑟+𝑧 =0

𝑥 = −𝑝 𝑦 = −𝑞 𝑧 = −𝑟
3 3
Reemplazando: 𝑥 + 𝑦 √3 + 𝑧 √9
3 3
(−𝑝) + (−𝑞) √3 + (−𝑟) √9
2. Demostrar que es un anillo con unidad.
Solución:
3 3 3 3
∃(𝑥 + 𝑦 √3 + 𝑧 √9) ∈ 𝑆: ∀(𝑝 + 𝑞 √3 + 𝑟 √9) ∈ 𝑆 se cumple
3 3 3 3 3 3
(𝑥 + 𝑦 √3 + 𝑧 √9)(𝑝 + 𝑞 √3 + 𝑟 √9) = 𝑝 + 𝑞 √3 + 𝑟 √9
3 3 3 3
(𝑥𝑝 + 3𝑦𝑟 + 3𝑧𝑞) + (𝑥𝑞 + 𝑦𝑝 + 𝑧𝑟) √3 + (𝑥𝑟 + 𝑦𝑞 + 𝑧𝑝) √9 = 𝑝 + 𝑞 √3 + 𝑟 √9
𝑥𝑝 + 3𝑦𝑟 + 3𝑧𝑞 = 𝑝
𝑥𝑞 + 𝑦𝑝 + 𝑧𝑟 = 𝑞
𝑥𝑟 + 𝑦𝑞 + 𝑧𝑝 = 𝑟

Por igualación:

Ecuación 1 y 2 Ecuación 2 y 3
𝑥𝑝𝑞 + 3𝑦𝑟𝑞 + 3𝑧𝑞𝑞 = 𝑝𝑞 𝑥𝑞𝑟 + 𝑦𝑝𝑟 + 𝑧𝑟𝑟 = 𝑞𝑟
−𝑥𝑞𝑝 − 𝑦𝑝𝑝 − 𝑧𝑟𝑝 = −𝑞𝑝 −𝑥𝑟𝑞 − 𝑦𝑞𝑞 − 𝑧𝑝𝑞 = −𝑟𝑞
𝑦𝑝𝑟 + 𝑧𝑟𝑟 − 𝑦𝑞𝑞 − 𝑧𝑝𝑞 = 0
3𝑦𝑟𝑞 − 𝑦𝑝𝑝 + 3𝑧𝑞𝑞 − 𝑧𝑟𝑝 = 𝑝𝑞 − 𝑞𝑝
(𝑝𝑟 − 𝑞𝑞)𝑦 + (𝑟𝑟 − 𝑝𝑞)𝑧 = 0
3𝑦𝑟𝑞 − 𝑦𝑝𝑝 + 3𝑧𝑞𝑞 − 𝑧𝑟𝑝 = 0
(3𝑟𝑞 − 𝑝𝑝)𝑦 + (3𝑞𝑞 − 𝑟𝑝)𝑧 = 0
(3𝑟𝑞 − 𝑝𝑝)(𝑝𝑟 − 𝑞𝑞)𝑦 + (3𝑞𝑞 − 𝑟𝑝)(𝑝𝑟 − 𝑞𝑞)𝑧 = 0
−(3𝑟𝑞 − 𝑝𝑝)(𝑝𝑟 − 𝑞𝑞)𝑦 − (3𝑟𝑞 − 𝑝𝑝)(𝑟𝑟 − 𝑝𝑞)𝑧 = 0

{(3𝑞𝑞 − 𝑟𝑝)(𝑝𝑟 − 𝑞𝑞) − (3𝑟𝑞 − 𝑝𝑝)(𝑟𝑟 − 𝑝𝑞)}𝑧 = 0

𝑧=0

(3𝑟𝑞 − 𝑝𝑝)𝑦 + (3𝑞𝑞 − 𝑟𝑝)𝑧 = 0

Reemplazando z
(3𝑟𝑞 − 𝑝𝑝)𝑦 + (3𝑞𝑞 − 𝑟𝑝)0 = 0
(3𝑟𝑞 − 𝑝𝑝)𝑦 = 0
𝑦=0
reemplazando y, z en
𝑥𝑞 + 𝑦𝑝 + 𝑧𝑟 = 𝑞
𝑥𝑞 + 0𝑝 + 0𝑟 = 𝑞
𝑥𝑞 = 𝑞
𝑥=1

Reemplazando x,y,z
3 3
𝑥 + 𝑦 √3 + 𝑧 √9
3 3
1 + 0 √3 + 0 √9