25.11.2014 Views

Teoria Numeros C Ivorra Castillo

Teoria Numeros C Ivorra Castillo

Teoria Numeros C Ivorra Castillo

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

2.2. Discriminantes 23<br />

Demostración: La propiedad 2) es un hecho general sobre formas bilineales.<br />

Es obvio que los discriminantes son números racionales. Para probar que<br />

son no nulos basta verlo para una base en particular (con esto probamos que<br />

la forma bilineal determinada por la traza es regular). Consideremos concretamente<br />

{1,ζ,...,ζ n−1 }, donde ζ es un elemento primitivo de K. Para esta base<br />

el determinante que aparece es un determinante de Vandermonde<br />

∆[ζ] = det ( σ i (ζ j−1 ) ) 2<br />

= det(σi (ζ) j−1 ) 2 =<br />

∏ (<br />

σj (ζ) − σ i (ζ) ) 2<br />

,<br />

1≤i

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

Saved successfully!

Ooh no, something went wrong!