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.

2.1. Enteros algebraicos 21<br />

Teorema 2.4 El conjunto E de los enteros algebraicos es un subanillo de A.<br />

Demostración: Sean c, d ∈ E. Hay que probar que c + d y cd están en E.<br />

Sea {v 1 ,...,v n } un generador de Z[c] y sea {w 1 ,...,w m } un generador de Z[d].<br />

Sea M el Z-módulo generado por los todos los productos v i w j .<br />

Todo c r se expresa como combinación lineal con coeficientes enteros de los<br />

v i ytodod s se expresa como combinación lineal con coeficientes enteros de los<br />

w j . Al multiplicar estas expresiones obtenemos una expresión de c r d s como<br />

combinación lineal con coeficientes enteros de los generadores de M, luego cada<br />

c r d s ∈ M.<br />

En particular, Z[cd] ⊂ M, luego es un Z-módulo finitamente generado (todo<br />

submódulo de un Z-módulo finitamente generado es finitamente generado). Por<br />

el teorema anterior cd ∈ E.<br />

Al desarrollar (c + d) k obtenemos una combinación lineal con coeficientes<br />

enteros de elementos de la forma c r d s , que están en M, luego Z[c + d] ⊂ M y<br />

también se cumple que c + d ∈ E.<br />

Del mismo modo que todo número racional es cociente de dos números enteros,<br />

todo número algebraico es cociente de dos enteros algebraicos. En efecto:<br />

Teorema 2.5 Para cada c ∈ A existe un entero no nulo m tal que mc ∈ E.<br />

Demostración: Sea pol mín c = x n + a n−1 x n−1 + ···+ a 1 x + a 0 . Sea m el<br />

producto de los denominadores de todos los coeficientes no nulos de p(x).<br />

Entonces m n (c n + a n−1 c n−1 + ···+ a 1 c + a 0 ) = 0, luego<br />

(mc) n + a n−1 m(mc) n−1 + ···+ a 1 m n−1 (mc)+a 0 =0.<br />

Por lo tanto, x n + a n−1 mx n−1 + ···+ a 1 m n−1 x + a 0 es un polinomio mónico<br />

con coeficientes enteros del cual es raíz mc.<br />

Desde el punto de vista de la teoría algebraica de números, los enteros usuales<br />

son sólo un caso particular de los enteros algebraicos. Por ello es costumbre<br />

reservar la palabra “entero” para referirse a los enteros algebraicos. Nosotros<br />

seguiremos esta costumbre en lo sucesivo y por ello a los elementos de Z los<br />

llamaremos “enteros racionales”, pues ciertamente son los enteros (algebraicos)<br />

que además son números racionales.<br />

Ejemplo Al trabajar con enteros algebraicos podemos permitirnos simplificar<br />

los cálculos usando aproximaciones racionales sin más precaución que vigilar<br />

que los errores de redondeo no lleguen a media unidad, con lo que pueden ser<br />

compensados al final tomando el entero más próximo al resultado. Como ilustración<br />

consideremos una raíz α del polinomio x 3 +4x + 1. Obviamente es un<br />

entero, luego también lo es 2 + α 2 . Supongamos que queremos conocer el polinomio<br />

mínimo de éste último. Una forma de hallarlo es buscar aproximaciones<br />

racionales de los tres conjugados de α, a saber:<br />

α 1 = −0, 246266, α 2 =0, 123133 + 2, 01134 i, α 3 =0, 123133 − 2, 01134 i,

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

Saved successfully!

Ooh no, something went wrong!