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.
