Tema 1.

Dado que

  3   a  b 3 / a, b  
. Demostrar que
  3  , ,
es un
 
campo.

DEMOSTRACIÓN:

  3 
se cierra con adición.
   
a  b 3  c  d 3   a  b   b  d  3
.

  
2
  3  a  b 3 c  d 3  ac  ad 3  bc 3  bd 3
se cierra con multiplicación.

  ac  2bd    ad  bc  3

  3 
La suma es asociativa y conmutativa en , ya que es asociativa y conmutativa en
S.

0  0  0 3    3 
Identidad para la suma:

Identidad para la multiplicación.

La inversa de a  b 3 es
 
 a  b 3  a  b 3    3  
.

  3 
La multiplicación es asociativa y conmutativa en , ya que es asociativa y

conmutativo en S .

  3 
La distributivita se cumple en , ya que se cumple en S .

1  1  0 3    3 
Identidad para multiplicar: .

Inversa para la multiplicación: esta es la interesante. Dado a, b   con a  b 3  0 ,

(ya sea a a0 o b  0 ), necesitamos encontrar c, d   tal que

 a  b 3  c  d 3 1 .

Primero tenemos que:

 a  b 3   c  d 3    ac  2bd   ad  bc  3
, entonces se

necesita ac  2bd  1 y ad  bc  0 . Hagamos un poco de álgebra lineal.

  a 2b   c  1 
 b a   d   0 
    

La matriz de la izquierda tiene un determinante a  2b , por lo que es invertible a

2 2

menos que un a  2b . Afortunadamente, si un a  2b , entonces a   2b , pero

2 2 2 2

a, b   , entonces la única forma en que esto podría suceder es sí a  b  0 .

Multiplicar por la matriz inversa se tiene que:

1  a 2b 
a  2b  b a 
22 

Y tenemos que:

c 1  a 2b  1  1 a

 d   a 2  2b 2  b a  0  a 2  2b 2  b 
      

a b
 2 3    3  .
Así que la inversa de a  b 3 es a  2b a  2b
2 2 2

Ahora para un segundo caso también tenemos: podemos invertir a  b 3 en S .

Racionalizando el denominador se tiene lo siguiente:

1 ab 3 a b 3 a b
  2  2  2 3    3 
ab 3 
ab 3 a b 3 
a  2b 2

a  2b a  2b 2
2

Lo que se quería demostrar y se sabe que es un campo.

Tema 2. Hallar todas las unidades de los anillos a ¿ ( Q ,+, ∙ ) b ¿ ( Z × Q× Z ,+, ∙ )

 I a   x  A / ax  0
Tema 4. Sea A un anillo y sea a un elemento fijo de A. Sea .

Demostrar que I a es un subanillo de A .

DEMOSTRACIÓN:

I   x  A / ax  0
Sea A un anillo, a  A y a , el subconjunto I a satisface la condición
de dicho problema.

a) Desde a0  0 luego 0  I a ;

b) Sea x, y  I a . Luego;
a  x  y   ax  ay

 00
0

Y por lo tanto se tiene que x  y  I a .

c) Sea x, y  I a . Luego;
a  xy    ax  y

 0y
0

Y por lo tanto se tiene que xy  I a .

Por lo tanto, se concluye que I a es un subanillo de A .