4 votos

Paso previo del suplemento a la ley de reciprocidad cúbica

Sea $\gamma$ , $\rho\in\mathbb{Z[\omega]}$ sean irreducibles primarios diferentes (es decir $\gamma$ , $ \rho\equiv 2(3)$ ), donde $\omega=-\frac{1}{2}+i\frac{\sqrt{3}}{2}$ . Tengo que demostrar que $\chi_{\gamma}(\rho)=\chi_{\rho}(\gamma)$ donde $\chi_{\pi}(\alpha)$ es el carácter de residuo cúbico.

Sea $\lambda=1-\omega$ si $\gamma$ , $ \rho\equiv 2(3)$ entonces $\lambda$ no divide $\gamma$ y $ \rho$ . Si $N(\gamma)\neq N(\rho)$ entonces $\chi_{\gamma}(\rho)=\chi_{\rho}(\gamma)$ es una consecuencia de la ley de reciprocidad cúbica.

En estas condiciones, si $N(\gamma)= N(\rho)$ entonces $\overline{\gamma}=\rho$ . En el libro de Irlanda y Rosen se demuestra que $\overline{\chi_{\pi}(\alpha)}={\chi_{\overline{\pi}}(\overline{\alpha})}$ así que lo único que queda es demostrar que $\chi_{\gamma}(\rho)=1$ . Se supone que es una consecuencia fácil de las propiedades del carácter del residuo cúbico (según Kenneth S. Williams) pero no consigo demostrarlo.

Esta pregunta está implícita en el problema 20 del capítulo 9 de Ireland y Rosen. Se agradecerá cualquier ayuda. Si alguna de mis conjeturas es errónea, también se agradecería una corrección.

1voto

Noam D. Elkies Puntos 17729

Esta es una forma de terminar la prueba.

Si $\bar\gamma=\rho$ y $\gamma\neq\rho$ entonces $\gamma\rho$ es algo primo racional $p=3k+1$ y $\rho \equiv \gamma+\rho \bmod \gamma$ con $\gamma+\rho = a$ el número entero racional tal que $a \equiv 1 \bmod 3$ y $4p = a^2 + 27b^2$ para algún número entero $b$ . Ahora bien, si ya conoce el fórmula clara $$ a \equiv -\left({3k\atop k, k, k}\right) = \frac{-(3k)!}{k!^3} \bmod p $$ entonces ya está, porque el numerador es $-(p-1)! \equiv 1$ por el teorema de Wilson, y el denominador es un cubo, así que $a$ es un cubo mod $p$ y por lo tanto modulo el factor $\gamma$ de $p$ como desee.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X