III Tarea Seminario Ma-600

II Semestre 2017
Luis Felipe Barquero Jiménez

Problema 0.1. a

Suponga que existe

? una solución α de la2 ecuación negativa de Pell . Primer caso: si d ” 3
2
pmód 4q o α P Zr ds. Se tiene N pαq “ a ´ db “ ´1. Considerando la ecuación módulo
el primo
? p ” 3 pmód 4q que divide d se obtiene a2 ” ´1 pmód 4q. Caso d ” 1 pmód 4q y
2 2
α R Zr ds. Se tiene que N pαq “ a ´db
4
“ ´1. Entonces a2 ´ db2 “´´4 ¯de la´misma
¯´ ¯ manera´ se¯
´4 4 ´1 ´1
obtiene que ´4 es un resı́duo cuadrático módulo p entonces 1 “ p
“ p p
“ p
pero esto contradice el hecho que p es congruente a 3 módulo 4

Problema 0.2. En clase probamos que si K{Q es un cuerpo de números tal que OK “
Zrθs para algún θ P OK , entonces los primos p P Z que ramifican en OK son precisamente
los divisores primos de ∆ , el discriminante de K. En general, la restricción que OK sea
monogénico no es necesaria.

1. Leer la prueba del caso general en las notas de Keith Conrad (en el dropbox)

2. Muestre que para todo cuerpo de números K{Q existe al menos un primo p P Z que
ramifica en OK
` ˘r a
Considere la cota de Minkowski. MK “ π4 2 nn!n |∆K |. Ası́ como para cada ideal existe
un representante ` π ˘ren el grupo `de˘clase conanorma menor o igual a MK . Se tiene que MK ě 1
2 p2r2 q2r2 r n n
por lo tanto 4 2r2 !
ď π4 2 nn! ď |∆K |. Si r2 “ 0 claramente 1 ă nn! , y si r2 ą 0
` ˘r 2r2
entonces note que 1 ă π4 2 p2r2r2 q2 ! por que para r2 “ 1 se tiene 1 ă π2 . Luego note que
` π ˘r2 `1 p2r2 `2q2r2 `2 ` π ˘r2 p2r2 q2r2 `π˘ ´ ¯2r2
1
4 p2r2 `2q!
{ 4 2r2 !
ą 4
1 ` r2
ą π2 ą 1 asi inductivamente se cumple
para todo r2 . Esto implica que |∆K | ą 1, como el discriminante es un número entero entonces
existe un primo que lo divide y por el punto anterior ese primo ramifica.

Problema 0.3. a

Suponga que ω ‰ 1, ´1 de la unidad que se encuentra en K. Tenemos que rQrωs : Qs

divide a rK : Qs pues K contiene a Qrωs como subcuerpo. Pero como ω no es ni 1 ni -1
entonces es una mésima raiz de la unidad con m ě 3 ası́ si hay un primo p impar que divide
a m entonces 2|pp ´ 1q|φpkq “ rQrωs : Qs. En caso contrario 4 ď m “ 2k , asi 2|2k´1 “ φpmq
y se concluye de la misma manera que el grado de la extensión es par. Contradicción.

Problema 0.4. a

Por definición del discriminante ∆K “ detpσi pbj qq2 para una base integral tbi u. Note que
las filas para las inmersiones complejas se pueden describir. Si consideramos σi pbj q “ σi`1 pbj q.
Como ∆K es real entonces detpσi pbj qq es real o completamente imaginario. Pero note que
detpσi pbj qq es igual a p´1qr2 detpσi pbj qq pues se requieren r2 cambios de fila para llegar de una

Página 1 de 3
matriz a otra. Por lo tanto si r2 es impar detpσi pbj qq es puramente imaginario y por lo tanto
el signo de ∆K es negativo. Análogamente si es r2 es par entonces detpσi pbj qq es real y asi el
signo del discriminante es positivo.

Problema 0.5. a

En efecto,?por el procedimiento descrito en las notas de M.Baker, encontramos la fracción

continua de 163. Esta es:
?
163 “ r12; 1, 3, 3, 2, 1, 1, 7, 1, 11, 1, 7, 1, 1, 2, 3, 3, 1, 24s

Luego, utilizamos el algoritmo para calcular convergentes y aproximamos ε a

?
ε “ 64080026 ` 5019135 163

Esta es la unidad fundamental buscada.

Problema 0.6. a

Sea ω “ p4`3α`2α2 q el cual es un número real mjayor que 4. Note que p4`3α`2α2 qpα2 ´
2q “ 1. Asi el elemento es una unidad. Luego α ă 23 y de esta manera 4 ă 4 ` 3α ` 2α2 ă 13
5
pero por el teorema del inciso anterior la unidad fundamental cumple que 3 ą |∆4K | “ 3 ´24
4
ą
2 2{3
54 asi  ą 54 ą 13 ą ω como ω es una potencia de  ą 1 ası́ ω “ .

Problema 0.7. a

a) Si a, b P OK entonces vpa ` bq ě mı́npvpaq, vpbqq ě 0 y vpabq “ vpaq ` vpbq ě 0

por lo tanto a ` b y ab están en OK . La identidad aditiva es 0 y tiene inversos vp´aq “
vp´1q ` vpaq “ vpaq ě 0. Ası́ OK es un anillo. Luego como vp1q “ 0 si a es invertible
0 “ vp1q “ vpaa´1 q “ vpaq ` vpa´1 q lo que implica vpaq “ 0. También si vpaq “ 0 entonces
vpa´1 q “ 0 entonces es invertible. Note que p es un ideal pues si se toman dos elementos en
el el la suma también está y pOK Ă p. Si a R p entonces vpaq “ 0 y por lo tanto es invertible.
Por un teorema de álgebra conmutativa p es igual al radical de Jacobson y por lo tanto es el
único ideal maximal.
b) Si p es principal es generado por un elemento π, sea s “ vpπq si a P K ˚ , si vpaq ą 0
entonces a “ πw asi vpaq ě s. Por lo que V pK ˚ q “ sZ. Por otra parte si V pK ˚ q “ sZ.
entonces existe un elemento en OK no invertible con vpπq “ s ą 0 asi si a P p entonces
vpa{πq ě 0 asi a “ πw donde w está en OK .
c) Considere el isomorfismo que envı́a a pmód pq en aπ n . Es un morfismo biyectivo.
d) Sea a ‰ 0 un ideal en OK̂ . Sua w “ uπ m un elemento en a con m lo más pequeño posible.
Si y es otro elemento y “ xπ n con n ě m. Asi y “ xπ n´m π m y de esta manera a “ π m OK̂ .
Luego el morfismo φ : OK Ñ OK̂ {π n OK̂ que envı́a a en a pmód π n OK q es sobreyectivo pues
si x P OK̂ existe un a P OK con vpx ´ aq ě n asi x ´ a P π n OK̂ es decir a ” x pmód π n OK̂ q.
Ademäs el núcleo de este morfimo es π n OK se concluye de teorema del isomorfismo.

Problema 0.8. a

Problema 0.9. Muestre que una extensión algebáica infinita de un cuerpo completo nunca
es completa.

Página 2 de 3
Lema 0.1. La clausura separable de un cuerpo con una norma no arquimediana es denso en
el cuerpo de su clausara algebraica.
ř
Demostración. Sea α P K y sea f “ ai xi su polinomio minimal. Primero
ř a note que si g “
i n
zi x es otro polinomio mónico existe una raiz β de g que cumple |α´β| śď |f ´ g||f |. Pues
en caso contrario si bi son la raices y no cumplen la condición |gpαq| “ |α ´ βi | ą |f ´ g||f |n
peroř por otra parte |gpαq| “ |gpαq ´ f pαq| ď máx |ai ´ zi ||α|i ď |f ´ g||f |n . Ahora, considere
g “ zi xi como si las zi son indeterminadas ası́ el discriminante de g el ∆pgq es un polinomio
en z0 , . . . , zn´1 el conjunto de puntos en K n donde se ∆pgq “ 0 es un conjunto cerrado nunca
denso de K n en la topologı́ a dada por la norma. De esta manera podemos elegir valores de
pz0 , ldots, zn´1 q cerca del punto pa0 , . . . , an´1 q (más especı́ficamente |zi ´ ai | ă p|f |´1 qn ) con
∆pgq ‰ 0. De esta manera |f ´ g| ă p|f |´1 qn y por lo tanto existe una raiz de g con

|α ´ β| ď |f ´ g|1{n |f | ă 

Sea L{K una extensión algebraica infinita de un cuerpo K completo con respecto a una
norma. Considere Lsep la clausura separable de la extensión L{K. Si rLsep : Ks ă 8 entonces
por un teorema visto en clases Lsep es completo. Pero por el lema anterior Lsep es denso en
L y como además es completo entonces L “ Lsep . Por lo tanto Lsep es un espacio vectorial
de dimensión infinita sobre K. Sean x1 , x2 . . . un conjunto infinito linealmente independiente.
Se puede contruir inductivamente una sucesión pci q de elementos no cero en K tal que :

|ci`1 xi`1 | ă |ci xi | y que el lı́mite lı́miÑ8 |ci xi | “ 0

|ci`1 xi`1 | ď rp ij“1 cj xj q

ř

Donde
řn rpxq es el máximo sobre todos los conjugados
řm de x de las valores absolutos. Note que
p i“1 ci xi qn es una sucesión de Cauchy pues | i“n`1 ci xi | ă |cn`1 xn`1 | Ñ 0. Sea x el lı́mite
de esa sucesión note que
n
ÿ 8
ÿ n
ÿ
|x ´ ci x i | “ | ci xi | ď |cn`1 xn`1 | ď rp ci x i q
i“1 i“n`1 i“1

entonces por el lema de Krasner ni“1 ci xi P Kpxq para todo n. Osea Kpxq contiene a todos
ř
xi y por lo tanto Kpxq es de dimensión infinita. Por lo tanto, x no es algebraico y entonces
x no está en L. Se concluye que L no es completo.

Página 3 de 3