25.11.2014 Views

Teoria Numeros C Ivorra Castillo

Teoria Numeros C Ivorra Castillo

Teoria Numeros C Ivorra Castillo

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

26 Capítulo 2. Cuerpos numéricos<br />

Definición 2.10 Un módulo de un cuerpo numérico K es un subgrupo aditivo<br />

de K finitamente generado.<br />

Vimos en el capítulo anterior que los módulos están asociados a clases<br />

de equivalencia de formas: Si α 1 ,...,α r generan un módulo M, entonces la<br />

ecuación diofántica<br />

N(x 1 α 1 + ···+ x r α r )=c (2.3)<br />

tiene por soluciones a (las coordenadas de) los elementos de M de norma c. Un<br />

generador distinto da lugar a una forma equivalente.<br />

Si M es un módulo, es obvio que para todo α ∈ M ytodom ∈ Z, se cumple<br />

mα = 0 si y sólo si m =0oα = 0, pero esto significa que M es libre de torsión,<br />

y los Z-módulos finitamente generados libres de torsión son libres, o sea, tienen<br />

base, y todas las bases tienen el mismo número de elementos, llamado rango de<br />

M (rang M).<br />

Es inmediato que un conjunto finito de elementos de K es independiente<br />

sobre Q si y sólo si es independiente sobre Z (una combinación lineal en Q se<br />

convierte en una combinación lineal en Z multiplicando por un entero no nulo).<br />

Consecuentemente si M es un módulo de K, rang M ≤ n (el grado de K).<br />

Los módulos de rango n se llaman módulos completos. Si M es un módulo<br />

completo, entonces una base de M como módulo es también una Q-base de K.<br />

Si B y B ′ son dos bases de M, entonces la matriz de cambio de base tiene<br />

coeficientes enteros, al igual que su inversa, luego su determinante ha de ser<br />

±1. El teorema 2.7 nos da entonces que ∆[B] =∆[B ′ ], luego podemos definir<br />

el discriminante de M como el discriminante ∆[M] de cualquiera de sus bases.<br />

Definición 2.11 Si M es un módulo de K y α ∈ K, α ≠ 0, definimos<br />

αM = {αm | m ∈ M},<br />

que claramente es un módulo del mismo rango. Diremos que dos módulos M y<br />

N son similares si existe un α ∈ K, α ≠ 0 tal que N = αM.<br />

La similitud es una relación de equivalencia entre los módulos de K.<br />

Ejercicio: Comprobar que si F es una forma asociada a un módulo de la forma αM,<br />

entonces F = N(α)F ′ , donde F ′ es una forma asociada al módulo M.<br />

Este ejercicio justifica que si estudiamos un módulo para resolver una determinada<br />

ecuación diofántica de tipo (2.3) podemos sustituirlo por otro similar.<br />

Observar que si α 1 ,...,α r son no nulos y generan un módulo completo M,<br />

entonces los números 1,α 2 /α 1 ,...,α r /α 1 generan el módulo similar (1/α 1 )M<br />

y, en particular,<br />

K = Q(α 2 /α 1 ,...,α r /α 1 ).<br />

Por el teorema 1.8, la forma asociada a este último generador es irreducible,<br />

luego también lo es la forma N(x 1 α 1 +···+x r α r ), pues se diferencia de la anterior<br />

en una constante. En resumen, las formas asociadas a módulos completos son<br />

irreducibles. Llamaremos formas completas a las formas asociadas a módulos<br />

completos. Éstas son exactamente las formas a las que la teoría que vamos a<br />

desarrollar se aplica con éxito.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!