Lunes 20 de Marzo de 2017

Pontificia Universidad Cato lica de Chile

Facultad de Matema ticas
Departamento de Matema ticas
Primer Semestre de 2017

Tarea N 1

Algebra I - MPG3200
Profesor: Yves Martin - Ayudante: Claudio Bravo
Matas Gajardo Reyes

1. Para que primos p se cumple que:

{ }
1+ p
A= a+b : a, b Z R
2

es un anillo?
on: Para que (A, +, ) sea un anillo se debe cumplir que:
Soluci

a) (A, +) es un grupo abeliano.

b) x y A para todo x, y A.
c) (a b) c = a (b c) para todo a, b, c A.
d ) Existe un elemento 1 A tal que a 1 = 1 a = a para todo a A.
e) (b + c) a = (b a) + (c a) para todo a, b, c A.
f ) a (b + c) = (a b) + (a c) para todo a, b, c A.

Como A R y (R, +, ) es un anillo, es trivial que (A, +, ) cumple las propiedades

a), c), d), e) y f ) (A las hereda de R). Nos falta ver que cumple la propiedad b). Sean
x, y A, es decir:

1+ p 1+ p
x = a1 + b1 y = a2 + b2
2 2
Luego: ( ) ( )
1+ p 1+ p
xy = a1 + b1 a 2 + b2
2 2
( )
1+ p 1+p p
= a1 a2 + (a1 b2 + a2 b1 ) + b1 b2 +
2 4 2

1
 Ahora tenemos 2 opciones para p: p 3(4) o p 1(4). Si p 3(4), tenemos que
un k Z. Entonces:
p = 3 + 4k para alg

1+p p 4 + 4k p p
+ = + =1+k+
4 2 4 2 2
( )
1+p p
Pero como 1 + k Z, se ve que b1 b2 + no sera un elemento de A. Si
4 2
p 1(4), tenemos que p = 1 + 4k para alg un k Z, lo que indica que:

1+p p 2 + 4k p 1+ p
+ = + =k+
4 2 4 2 2

Por lo tanto:
( )
1+ p 1+ p
xy = a1 a2 + (a1 b2 + a2 b1 ) + b1 b2 k +
2 2

1+ p
= (a1 a2 + b1 b2 k) + (a1 b2 + a2 b1 + b1 b2 )
2
Y como a1 , a2 , b1 , b2 , k Z tenemos que xy A (Ya que Z es cerrado bajo suma y
producto). Luego A es cerrado bajo el producto y, por ende, es un anillo cuando
p 1(4).

2. Sea f : A B un homomorfismo de anillos a A un ideal de A y b B un ideal de

B.

a) Demuestre que f 1 (b) es un ideal de A.

Soluci on: Notamos que f 1 (b) es no vaco, porque 0 f 1 (b).

Supongamos que x, y f 1 (b). Entonces se ve que f (x), f (y) b y como f es un
homomorfismo de anillos y b es un ideal, se tiene que f (x) f (y) = f (x y) b,
es decir, x y f 1 (b).
Ahora sea x A e y f 1 (b), lo que nos dice que f (x) B y f (y) b, por lo
tanto f (x)f (y) b al ser b un ideal de B y como f es un homomorfismo de
anillos f (x)f (y) = f (xy) b, por ende xy f 1 (b).
Finalmente con estas propiedades deducimos que f 1 (b) es un ideal de A.
b) Demuestre que f (a) es un ideal de B.

Solucion: Esta afirmacion no es cierta. Tomemos los anillos A = Z, B = Q, f el

homomorfismo f : Z Q con f (n) = n y el ideal a = Z. Notemos que
7
f (a) = Z Q, pero Z no es un ideal de Q, ya que al tomar 2 Z y Q
5
7 14
tenemos que 2 =
/ Z.
5 5

2
 Para que la afirmacion se cumpla, debemos agregar la hipotesis de que f sea
sobreyectivo y lo demostraremos:

Notemos que 0 a, por lo que f (0) f (a) y este no es un conjunto vaco.

Ahora sean x, y f (a), por lo que x = f (z) e y = f (t) para algunos z, t a. Al
ser f un homomorfismo de anillos, tenemos que f (z) f (t) = f (z t) y como a
es un ideal, se ve que z t a, por lo que f (z t) = x y f (a). Ahora
tomemos ademas w B. Como f es sobreyectivo, existe t A tal que f (v) = w,
que indica que xw = f (z)f (v) = f (zv) y f (zv) f (a) al ser a un ideal. Por lo
tanto xw f (a) y hemos probado que f (a) es un ideal de B.

3. Si B un anillo (posiblemente) sin unidad, definamos su unitarizacion A := B Z. La

suma es la obvia y el producto es:

(b, n) (b , n ) = (bb + bn + b n, nn )

donde nb := (b + b + + b) (b sumado n veces) si n 1 y nb = (n)(b) si n < 0.

Demuestre que A es un anillo con unidad y que B es isomorfo a un subanillo (sin
unidad o con otra unidad) de A.
Soluci
on: Para ver que A es un anillo debemos probar varias propiedades:
a) (A, +) es un grupo abeliano.

Es claro que A es un grupo abeliano con la suma componente a componente, ya

que hereda esta propiedad de los grupos abelianos B y Z que lo conforman.

b) x y A para todo x, y A.

Sean (b1 , n1 ), (b2 , n2 ) A. Notamos que:

(b1 , n1 ) (b2 , n2 ) = (b1 b2 + b1 n2 + b2 n1 , n1 n2 )

Es trivial que n1 n2 Z y claramente b1 b2 + b1 n2 + b2 n1 B al ser B un anillo.

Por lo que (b1 , n1 ) (b2 , n2 ) A.

c) (a b) c = a (b c) para todo a, b, c A.

Sean (x, y), (z, t), (a, b) A. Notar que:

{(x, y) (z, t)} (a, b) = {(xz + yz + xt, yt)} (a, b)

= (xza + yza + xta + yta + xzb + yzb + xtb, ytb)
= ([az + ta + zb] [x + y] + xtb, ytb)
= (x, y) {(za + ta + zb, tb)}
= (x, y) {(z, t) (a, b)}

3
 d ) Existe un elemento 1 A tal que a 1 = 1 a = a para todo a A.

Sea (x, y) A. Observamos que:

(x, y) (0, 1) = (x 0 + y 0 + x 1, y 1)
= (x, y)
(0, 1) (x, y) = (0 x + 0 y + 1 x, 1 y)
= (x, y)

Por lo que el elemento (0, 1) es la unidad del anillo A.

e) (b + c) a = (b a) + (c a) para todo a, b, c A.

Sean (x, y), (z, t), (a, b) A. Vemos que:

{(x, y) + (z, t)} (a, b) = {(x + z, y + t)} (a, b)

= (ax + az + ay + at + bx + bz, by + bt)
= ({ax + bx + ay} + {az + at + bz} , {by} + {bt})
= (ax + bx + ay, by) + (az + at + bz, bt)
= (x, y) (a, b) + (z, t) (a, b)

f ) a (b + c) = (a b) + (a c) para todo a, b, c A.

Esta propiedad es analoga a la anterior.

Con todas estas propiedades demostradas se prueba que A es un anillo. Para probar
que B es isomorfo a un subanillo de A, consideremos la funcion f : B A tal que
f (b) = (b, 0). Notemos que si b, b B:

f (b b ) = (b b , 0) = (b, 0) (b , 0) = f (b) f (b )

f (bb ) = (bb , 0) = (bb + b 0 + b 0, 0 0) = (b, 0) (b , 0) = f (b)f (b )

Con esto notamos que f es un homomorfismo de anillos. Ahora sean b, b B de

modo que f (b) = f (b ), entonces (b, 0) = (b , 0) = b = b , por lo que f es inyectivo.
Consideremos a = (x, 0) A, claramente x B y notamos que f (x) = a = (x, 0), lo
que quiere decir que cualquier a A tiene una preimagen en B, mostrando que f es
sobreyectivo y, por lo tanto, biyectivo. Entonces f es un isomorfismo y B es isomorfo
al subanillo f (B) = B {0} de A. Ademas es claro que (0, 1) / f (B) que indica que
f (B) tiene otra unidad (o no tiene).

4
4. Vale el Teorema el Binomio en un anillo?

on: La respuesta es no. Consideremos el anillo M22 (R) y los elementos:

Soluci
( ) ( )
1 0 0 0
A= ,B =
0 0 1 0

De este anillo. Ahora vemos que:

( )( ) ( )
2 1 0 1 0 1 0
A = =
0 0 0 0 0 0

( )( ) ( )
1 0 0 0 0 0
AB = =
0 0 1 0 0 0
( )( ) ( )
0 0 1 0 0 0
BA = =
1 0 0 0 1 0
( )( ) ( )
2 0 0 0 0 0 0
B = =
1 0 1 0 1 0

Luego: ( )
2 2 2 1 0
(A + B) = A + 2AB + B =
1 0
( )
2 2 1 0
A + AB + BA + B =
2 0

Por lo que (A + B)2 = A2 + AB + BA + B 2 , por lo que no se cumple el Teorema del

Binomio.
Para que el Teorema del Binomio se cumpla, el anillo debe ser conmutativo y ahora lo
demostraremos. Queremos probar que dados a, b A con A un anillo conmutativo,
para todo n N se tiene que:
n ( )
n n k nk
(a + b) = a b
k=0
k

1 ( ) ( ) ( )
1 1 k 1k 1 0 10 1 1 11
Sea n = 1, entonces (a + b) = a b = ab + ab = a + b.
k=0
k 0 1

5
 Ahora suponemos que se cumple la igualdad para un n N y tenemos que demostrar
que:
n+1 (
)
n+1 n + 1 k [n+1]k
(a + b) = a b
k=0
k

Observamos que:
(a + b)n+1 = (a + b)(a + b)n
n ( )
n k nk
= (a + b) a b
k
n ( ) n ( )
k=0
n k+1 nk n k n+1k
= a b + a b
k k
n1 ( ) n ( )
k=0 k=0
n n k n+1k
n+1 k+1 nk n+1
= a + a b +b + a b
k=0 (
k k
n ) k=1
n ( )
n+1 n k n+1k n+1 n k n+1k
= a + a b +b + a b
k=1 {(
k1 k
n ) ( )} k=1
n n
= an+1 + + ak bn+1k + bn+1
k=1 (
k1 k
n )
n + 1 k n+1k n+1
= an+1 + a b b
k
( )
k=1
n ( ) ( )
n + 1 n+1 (n+1)(n+1) n + 1 k n+1k n + 1 0 [n+1]0
= a b + a b + ab
n+1 k 0
n+1 ( ) k=1
n + 1 k [n+1]k
= a b
k=0
k

Probando lo querido.
5. Sea R un anillo, sea S un subanillo de R y sea I un ideal de R. Demuestre que S + I es
un subanillo de R, que I es un ideal de S + I y que S I es un ideal de S. Demuestre
el isomorfismo:
(S + I)/I
= S/(S I)
Solucion: Primero veremos que S + I es un subanillo de R. Observamos que 1R S y
0R I, por lo que 1R + 0R = 1R S + I. Ahora sean x + y, z + t S + I, luego:
(x + y) (z + t) = (x z) + (y t) S + I
(x + y)(z + t) = xz + xt + yz + yt = xz + (xt + yz + yt) S + I

Las afirmaciones anteriores se cumplen al ser S un subanillo de R, I un ideal de R y

que S, I son subgrupos aditivos de R. Con esto queda probado que S + I es un
subanillo de R.

6
Ahora veremos que I es un ideal de S + I. Vemos que como I es un ideal de R, 0R I
y para x, y I, tenemos obviamente que x y I, por lo que I es un subgrupo
aditivo de S + I. Consideremos x + y S + I y z I, por ende:

(x + y)z = xz + yz I

ya que I es un ideal (Es analogo el caso z(x + y)). Por lo tanto tenemos que I es un
ideal de S + I.
Por u
ltimo debemos mostrar el homomorfismo mostrado. Primero consideremos la
funcion f : S (S + I)/I, donde f (x) = x con x la clase de x bajo la relacion
z t z t I. Observamos que f es claramente un homomorfismo de anillos y
probaremos que Ker(f ) = S I y que f es sobreyectivo.
Para ver que Ker(f ) = S I, sea a Ker(f ), esto quiere decir que:

f (a) = 0 = a 0 = a I

Pero ademas a S (ya que Ker(f ) S), por lo tanto a S I y Ker(f ) S I.

Ahora sea x S I, entonces x I, por lo que f (x) = 0 lo que indica que x Ker(f )
y deducimos que Ker(f ) = S I.
Observaci on: Recordamos que si f es un homomorfismo de anillos con dominio A,
entonces Ker(f ) es un ideal de A. En nuestro caso tenemos que f es un homomorfismo
de anillos con dominio S, por lo tanto el conjunto Ker(f ) = S I es un ideal de S.
Falta ver que f es sobreyectivo. En efecto, dado x + y (S + I)/I, entonces
f (x) = x = x + y (ya que y I) y se deduce que Im(f ) = (S + I)/I.
Finalmente, tenemos que f : S (S + I)/I es un homomorfismo sobreyectivo con
Ker(f ), entonces por el Primer Teorema de Isomorfismos se tiene que:

S/Ker(f ) = Im(f ) = (S + I)/I

= S/(S I)

Que es lo que queramos demostrar.