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.

202 Capítulo 8. El teorema de Hasse-Minkowski<br />

2) Igualmente:<br />

∏<br />

(2, −1) p =(2, −1) 2 (2, −1) ∞ =1· 1=1.<br />

p<br />

La primera ley suplementaria se cumple si y sólo si<br />

∏<br />

( ) −1<br />

(q, −1) p =(q, −1) 2 (q, −1) q =(−1) (q−1)/2 =1.<br />

q<br />

p<br />

3) La segunda ley suplementaria se cumple si y sólo si<br />

∏<br />

( )<br />

(2,q) p =(2,q) 2 (2,q) q =(−1) (q2 −1)/8 2<br />

=1.<br />

q<br />

p<br />

Y la ley de reciprocidad principal se cumple si y sólo si<br />

∏<br />

(q, q ′ ) p =(q, q ′ ) 2 (q, q ′ ) q (q, q ′ ) q ′<br />

p<br />

=(−1) (q−1)(q′ −1)/4<br />

( )( ) q q<br />

′<br />

q ′ =1.<br />

q<br />

En el próximo capítulo demostraremos la fórmula del producto de los símbolos<br />

de Hilbert y con ella tendremos probada la ley de reciprocidad cuadrática.<br />

Observar que esta fórmula explica por qué en el teorema 8.30 no era necesaria<br />

la hipótesis de que la forma cuadrática representara 0 en Q 2 : a efectos de<br />

representación de 0 toda forma f con tres variables puede expresarse como<br />

ax 2 + by 2 − z 2 (tomando una equivalente diagonal y dividiendo entre el tercer<br />

coeficiente). Entonces, (a, b) p = 1 equivale a que f represente 0 en Q p ,yla<br />

fórmula del producto implica que si esto sucede para todos los primos salvo<br />

quizá uno (incluido p = ∞) también ha de cumplirse para éste último.<br />

8.6 Conclusión de la prueba<br />

Para completar la prueba del teorema 8.30 necesitaremos el siguiente hecho<br />

auxiliar:<br />

Teorema 8.38 Sea K un cuerpo de característica distinta de 2 y con más de<br />

cinco elementos. Si una forma cuadrática diagonal representa 0 en K, entonces<br />

tiene una representación de 0 en la que ninguna variable toma el valor 0.<br />

Demostración: Primeramente demostramos que si ax 2 = c ≠ 0, entonces<br />

para todo b ≠ 0 existen elementos no nulos α y β tales que aα 2 + bβ 2 = c. Para<br />

ello consideramos la identidad<br />

(t − 1) 2<br />

(t +1) 2 + 4t<br />

(t +1) 2 =1.

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

Saved successfully!

Ooh no, something went wrong!