Facultad de Ingenierı́a - Universidad Andrés Bello 1er Semestre 2005

Apunte de Algebra

Profesor: Rodrigo Lecaros

P1 Considere los conjuntos A = Q y B = Q. En A × B se define la siguiente l.c.i.

(a, b) ∗ (c, d) = (a · c, b + a · d)

Probar que (A × B, ∗) es asosiativo y tiene neutro.

P2 Considere en R2 las siguientes operaciones

(a, b) ⊕ (c, d) = (a + c, b + d) (1)

(a, b)  (c, d) = (a · c, b · d) (2)

i) Pruebe que (R2 , ⊕, ) es un anillo conmutativo con unidad.

ii) Pruebe que (R2 , ⊕, ) posee divisores del cero.

P3 Considere las siguientes operacines definidas en A = {4, 7, π}

4 4 7 π ⊗ 4 7 π
4 π 4 7 4 4 7 π
7 4 7 π 7 7 7 7
π 7 π 4 π π 7 4

Pruebe que (A, 4, ⊗) es un cuerpo.

Desarrollo

P1 veamos las propiedades requeridas para que sea grupo,

a) cerradura de la operación: sea x, y ∈ A × B es decir x = (a, b) y y = (c, d)

tal que a, c ∈ A = Q y b, d ∈ B = Q entonces es claro que a · c ∈ A y
b + a · d ∈ B con esto ∗ es cerrado.

1
b) asosiatividad: sean x, y, z ∈ A × B es decir x = (ax , bx ), y = (ay , by ) y
z = (az , bz ) por demostrar que

(x ∗ y) ∗ z = x ∗ (y ∗ z)

veamos

(x ∗ y) ∗ z = ((ax , bx ) ∗ (ay , by )) ∗ z (3)

(x ∗ y) ∗ z = (ax · ay , bx + ax · by ) ∗ z (4)
(x ∗ y) ∗ z = (ax · ay , bx + ax · by ) ∗ (az , bz ) (5)
(x ∗ y) ∗ z = ((ax · ay ) · az , (bx + ax · by ) + (ax · ay ) · bz ) (6)
(x ∗ y) ∗ z = (ax · (ay · az ), bx + ax · (by + ay · bz )) (7)
(x ∗ y) ∗ z = (ax , bx ) ∗ (ay · az , by + (ay · bz )) (8)
(x ∗ y) ∗ z = x ∗ ((ay , by ) ∗ (az , bz )) (9)
(x ∗ y) ∗ z = x ∗ (y ∗ z) (10)

por lo tanto es asosiativo

c) elemento neutro buscamos e ∈ A × B tal que para todo x ∈ A × B, (es
decir x = (ax , bx )) tenemos que probar que

x∗e=e∗x=x

veamos

x ∗ e = (ax , bx ) ∗ (ae , be ) (11)

x = (ax · ae , bx + ax · be ) (12)
(ax , bx ) = (ax · ae , bx + ax · be ) (13)

esto implica que ax = ax · ex y bx = bx + ax · be por lo tanto como esto tiene

que ser para todo ax , bx lo mas natural es tomar ae = 1 y be = 0 es decir

e = (1, 0) ∈ A × B

veamos que se tiene la propiedad de neutro es claro del desarrollo anterior

que
x=x∗e
veamos que
x=e∗x

2
 en efecto
e∗x = (ae , be ) ∗ (ax , bx ) (14)
e∗x = (ae · ax , be + ae · bx ) (15)
e∗x = (1 · ax , 0 + 1 · bx ) (16)
e∗x = (ax , bx ) (17)
e∗x = x (18)
por lo tanto este es el neutro y es unico
P2 la cerradura de ambas estructuras es obvia

a) asociatividad: sean x, y, z ∈ R2
(x ⊕ y) ⊕ z = ((ax , bx ) ⊕ (ay , by )) ⊕ z (19)
(x ⊕ y) ⊕ z = ((ax + ay , bx + by ) ⊕ (az , bz )) (20)
(x ⊕ y) ⊕ z = ((ax + ay ) + az , (bx + by ) + bz ) (21)
(x ⊕ y) ⊕ z = (ax + (ay + az ), bx + (by + bz )) (22)
(x ⊕ y) ⊕ z = (ax , bx ) ⊕ (ay + az , by + bz ) (23)
(x ⊕ y) ⊕ z = x ⊕ ((ay , by) ⊕ (az , bz )) (24)
(x ⊕ y) ⊕ z = x ⊕ (y ⊕ z) (25)
(26)
por lo tanto ⊕ es asociativo, analogamente  es asociativo.
b) elemento neutro: proponemos como elemento neutro para ⊕
e⊕ = (0, 0)
y para  proponemos
e = (1, 1)
veamos que son los elementos neutros sea x ∈ R2 .
x ⊕ e⊕ = (ax , bx ) ⊕ (0, 0) (27)
x ⊕ e⊕ = (ax + 0, bx + 0) (28)
x ⊕ e⊕ = x (29)
x ⊕ e⊕ = (0 + ax , 0 + bx ) (30)
x ⊕ e⊕ = (0, 0) ⊕ (ax , bx ) (31)
x ⊕ e⊕ = e⊕ ⊕ x (32)
(33)
analogamente para .

3
 c) conmutatividad sean x, y ∈ R2 .

x⊕y = (ax , bx ) ⊕ (ay , by ) (34)

x⊕y = (ax + ay , bx + by ) (35)
x⊕y = (ay + ax , by + bx ) (36)
x⊕y = (ay , by ) ⊕ (ax , bx ) (37)
x⊕y = y⊕x (38)
(39)

analogamente para .

d) existencia de elemento neutro para ⊕ dado x ∈ R2 proponemos como inverso

de x = (ax , bx ) a
x = (−ax , −bx )
veamos que cumple como inverso

x⊕x = (ax , bx ) ⊕ (−ax , −bx ) (40)

x⊕x = (ax + −ax , bx + −bx ) (41)
x⊕x = (0, 0) = e⊕ (42)
x⊕x = (−ax + ax , −bx + bx ) (43)
x⊕x = (−ax , −bx ) ⊕ (ax , bx ) (44)
x⊕x = x⊕x (45)
(46)

e) veamos la distribución sean x, y, z ∈ R2 es decir

x  (y ⊕ z) = x  ((ay + az , by + bz )) (47)
x  (y ⊕ z) = (ax , bx )  ((ay + az , by + bz )) (48)
x  (y ⊕ z) = (ax · (ay + az ), bx · (by + bz )) (49)
x  (y ⊕ z) = ((ax · ay ) + (ax · az ), (bx · by ) + (bx · bz )) (50)
x  (y ⊕ z) = (ax · ay , bx · by ) ⊕ (ax · az , bx · bz ) (51)
x  (y ⊕ z) = (x  y) ⊕ (x  z) (52)
(53)

gracias a la conmutatividad con esto basta

4
f) veamos que hay divisores del cero es decir que existen x, y ∈ R2 tales que

x  y = e⊕

con x 6= e⊕ y y 6= e⊕ es decir

(0, 0) = x  y = (ax · ay , bx · by )

si escogemos
x = (1, 0)
y
y = (0, 1)
cumplen las condiciones pedidas.

P3