ALGEBRA IV

PROBLEMAS
LISTA 7
1. Sea A, , un anillo conmutativo. Mostrar que A no tiene divisores de cero si y solo si se satisface la ley
de cancelacin.
2. Sea A un anillo con identidad 1A y N A n 1A | n . Probar que si A es dominio entero entonces su
caracterstica es 0 o un primo.
3. Sea A un dominio entero con car A 0 , probar:
a)

0 NA ,

b) Si T : N A N A es la funcin definida por la regla x x 1A , x N A , entonces N A , T ,1A es

un sistema de Peano.
4. Consideremos la estructura Ak , , , donde:

a) k ;
b) Ak a | 0 a k 1 1, 2, , k 1 ;

c) La suma est definida por: r , s Ak : r s t Ak , , donde r s t es mltiplo de k en .

d) La multiplicacin est definida por: r , s Ak : r s t Ak , , donde r s t es mltiplo de k
en .
Probar que Ak , , es un anillo conmutativo con identidad.
5. Probar que el anillo Ak , , es un dominio entero si y solo si k es un nmero primo. Probar que este dominio
entero no es un dominio entero ordenado. (Sugerencia: un dominio entero ordenado es infinito por que?).
6. Sea A un dominio entero y f : A un morfismo de anillos con f 1 1A . Probar que si para todo

0 x se tiene que f x A es invertible, entonces existe un nico morfismo de anillos f : A

x
x
tal que x : f ( x ) f . Cmo se determina f ? , para x, y con y 0.

A, ,

Definicin: Sea

un dominio entero, un subconjunto A A no vaco es un conjunto de elementos

positivos de A si:
a) a, b A : a b A ;
b) a, b A : ab A ;
c) Para a A se tiene una exactamente un de las siguientes afirmaciones: a A , a 0 ,

a A .
1


7. Demostrar que si A, , es un dominio entero y A es conjunto de elementos positivos en A, entonces:
a) S R

a, b | b a A , entonces

R I A es una relacin de orden total en A, donde I A

relacin identidad en A;
b) Si escribimos a b por a, b R , entonces A, , , es un dominio entero ordenado.
c)

A a A | a 0 .

8. Si A, ,, es un dominio entero ordenado, mostrar:

a) Para a 0 se tiene a a a 2 A ;
b) 1 A es positivo;
c) Para a, b A : ab 1 a b 1.
9. Sea A un dominio entero ordenado y A el conjunto de elementos positivos de A. Si todo subconjunto no
vaco de A tiene primer elemento, probar:
a) En A se cumple el Principio de Induccin: Si B es un subconjunto de A tal que 1 B ,y si
a B a 1 B, entonces B A .
b) Existe un isomorfismo de A sobre que preserva la suma, el producto y el orden, en otras palabras
las estructuras A, , , y , , , son isomorfas.
10. Sea A un dominio entero ordenado y a, b A, entonces

a b a 3 b3 ;

a)

b) Si n entonces: a 2 n b 2 n a b; y a 2 n1 b 2 n1 a b;

a 2 ab b2 0.

c)

11. Sea 2 m n 2 m, n con las operaciones usuales de los nmeros reales. Entonces

a) 2 es un dominio entero.

b) Considere los siguientes subconjuntos:

P ' m n 2 m 0 & m 2 n o n 0 & 2 n

P m n 2 0 m n 2 donde es el orden usual de los nmeros reales.

2

m2 donde > es el orden usual de los

enteros.
Entonces P P ' y es un conjunto de positivos en 2 . Esto es podemos, usando el orden de

, dar un conjuto de positivos P', el cual induce un orden que coincide con el orden de los reales en
2 .

c) Consideremos ahora el subconjunto

P1 m n 2 m 0 & m2 2n 2 o n 0 & 2n 2 m2

Probar que P1 es un conjunto de positivos en 2


12. Sea D, , , un dominio entero ordenado con identidad 1. Sean x, y D tales que x y 1 , entonces

x y 1 1. Ms aun x y 1 1 si y solo si x y 1.

D, , , un
n
1 b 1 nb .

13. Sea

dominio entero ordenado con identidad 1. Sea b D , si 1 b 0 probar que

14. Sea D, , un dominio entero finito con identidad. Probar que es un campo.

15. Sea F a b 2 a, b . Probar que F con las operaciones usuales de los nmeros reales es un
campo.

a , n K es un campo con la operaciones usuales de los racionales?

n
2

16. Sea K

17. Si F es un campo de caracterstica p, donde p es un nmero primo, mostrar que el conjunto de enteros en F
Z F n1| n , tiene p elementos.
18. Un campo F , , es isomorfo al campo de los racionales si y solo si F tiene caracterstica 0 y no tiene
subcampos propios.
19. Sean

a a
a
a a
, . Probar que si
entonces a 0.
b c bc
b c

20. Probar que los siguientes nmeros reales no son racionales:

a)

2 3 ; b)

2 3 5;

21. Si n y k son nmeros naturales y

c)

232.

n no es un nmero entero, probar que

n no es un nmero racional.