🔢 mathematics

The Quadratic and Cubic Characters of 2

Este artículo explora la solvencia de la congruencia cúbica $x^3 \equiv 2 \pmod{p}$ empleando enteros de Eisenstein, sumas de Gauss y Jacobi, y la ley de reciprocidad cúbica, al tiempo que proporciona un contexto histórico sobre el desarrollo de las leyes de reciprocidad superiores y el carácter cuadrático de 2 a través de las contribuciones de Fermat, Euler, Legendre, Jacobi y Eisenstein.

Autores originales: Matias C. Relyea

Publicado 2026-02-03

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Matias C. Relyea

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que eres un detective tratando de resolver un misterio sobre números. Específicamente, estás buscando un patrón oculto que te diga si un rompecabezas matemático específico se puede resolver. El rompecabezas es simple de enunciar: ¿Puedes encontrar un número que, al multiplicarlo por sí mismo tres veces, deje un resto de 2 al dividirlo por un número primo específico?

Por ejemplo, si tu número primo es 7, ¿puedes encontrar un número $x$ donde $x \times x \times x = 2$ (más algún múltiplo de 7)? A veces la respuesta es "sí", y otras veces es "no". Este artículo trata de averiguar exactamente cuándo la respuesta es "sí".

Aquí está la historia de cómo el autor, Matias C. Relyea, resuelve este misterio, explicada en términos cotidianos.

La Configuración: El "Teorema Dorado" y sus Primos

El artículo comienza analizando un misterio famoso y más antiguo llamado Carácter Cuadrático de 2. Este es el mismo rompecabezas, pero en lugar de multiplicar un número por sí mismo tres veces ( $x^3$ ), solo lo multiplicas dos veces ( $x^2$ ).

El Viejo Misterio: ¿Puedes encontrar $x$ tal que $x^2 \equiv 2 \pmod p$ ?
La Solución: Matemáticos como Gauss descubrieron una regla simple: Si tu número primo $p$ tiene la forma $8n+1$ o $8n+7$ , la respuesta es "sí". Si tiene la forma $8n+3$ o $8n+5$ , la respuesta es "no".

El autor utiliza este viejo misterio resuelto como un campo de entrenamiento. Quiere aplicar una lógica similar al misterio más difícil y nuevo: El Carácter Cúbico de 2 (la versión de $x^3$ ).

El Problema: El Rompecabezas se vuelve más Difícil

En los viejos tiempos, matemáticos como Euler y Fermat conjeturaron que había una regla simple similar para el caso cúbico ( $x^3 \equiv 2$ ). Notaron que si un número primo $p$ puede escribirse en una forma muy específica, el rompecabezas es resoluble.

La Gran Conjetura (La Conjetura de Euler):
Si puedes escribir un número primo $p$ en la forma $C^2 + 27D^2$ (donde $C$ y $D$ son números enteros), entonces el rompecabezas $x^3 \equiv 2$ es resoluble. Si no puedes escribirlo en esa forma, no es resoluble.

Euler hizo esta conjetura basada en pura intuición, pero no pudo probarla. Gauss más tarde encontró notas sugiriendo que sabía la prueba, pero no estaba completamente desarrollada hasta mucho después. Este artículo tiene como objetivo recorrer la historia y proporcionar una prueba clara y paso a paso de esta regla específica.

El Kit de Herramientas: Construyendo un Nuevo Mundo

Para resolver el rompecabezas cúbico, el autor explica que no podemos usar simplemente números enteros regulares (como 1, 2, 3). Tenemos que construir un nuevo "mundo" de números.

Los Enteros de Eisenstein (El Nuevo Vecindario):
Imagina que los números regulares viven en una línea recta. Para resolver problemas cúbicos, necesitamos movernos hacia un plano 2D. Introducimos un número especial llamado $\omega$ (omega), que es una "raíz cúbica de la unidad". Piensa en $\omega$ como una llave mágica que, cuando la giras tres veces, te devuelve al punto de partida.
En este nuevo vecindario, los números se ven como $a + b\omega$ . El autor llama a estos Enteros de Eisenstein. Este nuevo mundo tiene sus propias reglas de multiplicación y división, pero está lo suficientemente estructurado como para que aún podamos hacer matemáticas en él.
Las Sumas Mágicas (Sumas de Gauss y de Jacobi):
Para encontrar patrones en este nuevo vecindario, el autor utiliza herramientas llamadas Sumas de Gauss y Sumas de Jacobi.

Analogía: Imagina que tienes una bolsa gigante de canicas de colores (números). Quieres saber si existe un patrón específico. En lugar de contarlas una por una, agitas la bolsa y escuchas el sonido que hacen. Si el sonido es de un tono específico, sabes que el patrón existe. Estas "sumas" son como ese tono especial: son cálculos complejos que revelan propiedades ocultas de los números sin tener que comprobar cada uno de ellos.

El Filtro "Primario":
En este nuevo mundo, los números pueden verse diferentes pero actuar igual (como ocurre con $1 $y$ -1$, que están relacionados). Para evitar confusiones, el autor utiliza un filtro llamado Números Primarios. Esto es como clasificar tu correo en cubetas específicas para que solo mires un representante de cada grupo. Esto hace que las matemáticas sean mucho más limpias.

La Solución: Conectando los Puntos

El artículo recorre un viaje lógico para probar la conjetura de Euler:

Paso 1: El Caso Simple. Primero, el autor muestra que si eliges un número primo que es "extraño" (específicamente, si deja un resto de 2 al dividirlo por 3), el rompecabezas es siempre resoluble. Es como un pase libre.
Paso 2: El Caso Complejo. El verdadero desafío es cuando el número primo es "normal" (deja un resto de 1 al dividirlo por 3). Aquí, el autor utiliza los Enteros de Eisenstein y las Sumas Mágicas para mostrar que la resolubilidad del rompecabezas depende enteramente de la forma del número primo.
Paso 3: El Cambio de Forma. Usando las propiedades del nuevo mundo de números, el autor demuestra que si el rompecabezas es resoluble, el número primo $p$ $p$ debe poder ser reordenado en la forma $C^2 + 27D^2$ .
- La Analogía: Es como decir: "Si puedes abrir esta puerta, tu llave debe estar hecha de oro". El autor demuestra que si la puerta se abre (la ecuación tiene una solución), la llave (el número primo) debe tener la forma específica de $C^2 + 27D^2$ .
Paso 4: El Reverso. También demuestra lo contrario: Si tienes un número primo que sí tiene la forma $C^2 + 27D^2$ , entonces la puerta se abrirá.

La Conclusión

El artículo concluye confirmando la conjetura de siglos de antigüedad de Euler. Nos dice que la resolubilidad de la ecuación cúbica $x^3 \equiv 2 \pmod p$ no es aleatoria. Está estrictamente determinada por si el número primo puede escribirse como la suma de un cuadrado y 27 veces otro cuadrado.

En resumen:

El Misterio: ¿Se puede resolver $x^3 = 2$ para un primo dado?
La Pista: Observa la forma del número primo.
La Respuesta: Si el primo encaja en la fórmula $C^2 + 27D^2$ , la respuesta es Sí. Si no encaja, la respuesta es No.

El autor logra esto tomando prestadas herramientas del pasado (la inducción de Gauss), construyendo un nuevo vecindario matemático (los Enteros de Eisenstein) y usando "sumas mágicas" complejas para revelar la geometría oculta de los números. Es una historia de cómo los matemáticos construyeron un puente desde la aritmética simple hasta el álgebra compleja para resolver un rompecabezas que desconcertó a las mentes más brillantes durante cientos de años.

Resumen Técnico: El carácter cuadrático y cúbico de 2

Planteamiento del problema
El artículo aborda la solvabilidad de la congruencia cúbica $x^3 \equiv 2 \pmod p$ para primos $p \equiv 1 \pmod 3$ . Esta solvabilidad se define como el "carácter cúbico de 2". Mientras que el carácter cuadrático de 2 (la solvabilidad de $x^2 \equiv 2 \pmod p$ ) es un resultado estándar en la teoría de números elemental, el caso cúbico requiere herramientas de la teoría de números algebraicos, específicamente la teoría de los enteros de Eisenstein y las leyes de reciprocidad superior. El objetivo del artículo es proporcionar una prueba para la conjetura de Euler sobre el carácter cúbico de 2, la cual establece que $x^3 \equiv 2 \pmod p$ es soluble si y solo si $p$ puede ser representada en la forma $p = C^2 + 27D^2$ para enteros $C$ y $D$ .

Metodología
El artículo emplea un enfoque histórico y constructivo, utilizando los siguientes marcos matemáticos:

Contexto histórico e inducción: El autor comienza revisando la prueba inductiva de Gauss sobre el carácter cuadrático de 2 (Teorema 2) de Disquisitiones Arithmeticae. Esto sirve como fundamento motivacional, ilustrando cómo los métodos elementales pueden establecer resultados a menudo reservados para tratamientos más avanzados.
Enteros de Eisenstein ( $\mathbb{Z}[\omega]$ ): El núcleo de la metodología se desplaza hacia el anillo de los enteros de Eisenstein, donde $\omega = e^{2\pi i/3}$ . El artículo establece que $\mathbb{Z}[\omega]$ es un Dominio de Factorización Única (UFD) y un dominio euclidiano. Define la norma $N(a+b\omega) = a^2 - ab + b^2$ e introduce los números "primarios" (elementos $\pi \equiv \pm 1 \pmod 3$ ) para manejar los problemas de factorización única.
Sumas de Gauss y de Jacobi: El artículo define caracteres multiplicativos en cuerpos finitos $\mathbb{F}_p$ y construye sumas de Gauss ( $g(\chi)$ ) y sumas de Jacobi ( $J(\chi, \lambda)$ ). Demuestra propiedades fundamentales, incluyendo la relación $J(\chi, \lambda) = g(\chi)g(\lambda)/g(\chi\lambda)$ y la magnitud $|J(\chi, \chi)| = \sqrt{p}$ para caracteres no triviales de orden 3.
Representación de primos: Utilizando las propiedades de las sumas de Jacobi, el artículo demuestra que para $p \equiv 1 \pmod 3$ , existen enteros $a, b$ tales que $p = a^2 - ab + b^2$ . Posteriormente, refina esto para mostrar la existencia de enteros únicos $A, B$ tales que $4p = A^2 + 27B^2$ (Teorema 15).
Reciprocidad cúbica: La Ley de Reciprocidad Cúbica (Teorema 3) se establece para elementos primarios en $\mathbb{Z}[\omega]$ . El artículo utiliza el carácter de residuo cúbico $(\alpha/\pi)_3$ y la propiedad de que $(\alpha/\pi)_3 = \alpha^{(N\pi-1)/3} \pmod \pi$ .

Contribuciones clave y resultados
El artículo sintetiza conjeturas históricas con pruebas rigurosas para establecer los siguientes resultados:

Teorema 4 (Resultado principal): Para un primo $p \equiv 1 \pmod 3$ $p \equiv 1 (mod 3)$ , la congruencia $x^3 \equiv 2 \pmod p$ $x^{3} \equiv 2 (mod p)$ es soluble si y solo si existen enteros $C$ $C$ y $D$ $D$ tales que $p = C^2 + 27D^2$ $p = C^{2} + 27 D^{2}$ .
- Estrategia de prueba: La prueba conecta la solvabilidad de $x^3 \equiv 2 \pmod \pi$ (donde $\pi$ es un primo en $\mathbb{Z}[\omega]$ con norma $p$ ) con la paridad de $\pi$ . Mediante el Lema 19, la solvabilidad requiere $\pi \equiv 1 \pmod 2$ . Esta restricción de paridad, combinada con la representación $p = a^2 - ab + b^2$ y la condición $b \equiv 0 \pmod 3$ (derivada de las propiedades de las sumas de Jacobi), fuerza a los coeficientes a alinearse de tal manera que $p$ toma la forma $C^2 + 27D^2$ .
Proposición 18: Establece que si $q \equiv 2 \pmod 3$ es un primo racional, cada entero es un residuo cúbico módulo $q$ . Consecuentemente, $x^3 \equiv 2 \pmod q$ siempre es soluble en este caso.
Teorema 15: Prueba que si $p \equiv 1 \pmod 3$ , existen enteros únicos $A$ y $B$ (salvo signo) tales que $4p = A^2 + 27B^2$ . Esta unicidad es crítica para la prueba final del Teorema 4.
Clarificación histórica: El artículo clarifica la cronología de las contribuciones, señalando que, si bien Euler conjeturó el resultado basándose en la forma $a^2 + 3b^2$ , y Gauss proporcionó pruebas en notas póstumas, el artículo busca iluminar los matices históricos específicos y la naturaleza "elemental" de la prueba utilizando las sumas de Gauss y de Jacobi.

Significancia y afirmaciones
El artículo afirma su relevancia al cerrar la brecha entre la teoría de números elemental y la maquinaria más compleja de la teoría de números algebraicos.

Accesibilidad: Argumenta que, aunque las leyes de reciprocidad superior (cúbica, bicuadrática) suelen verse como algo que requiere de la teoría de números algebraica avanzada, sus casos especiales (como el carácter de 2) pueden abordarse con "unas pocas ideas adicionales del álgebra", específicamente las sumas de Gauss y de Jacobi.
Narrativa histórica: El artículo enfatiza la rica historia de las leyes de reciprocidad, trazando el desarrollo desde Fermat y Euler a través de Gauss, Jacobi e Eisenstein. Destaca que las intuiciones de Gauss sobre los residuos cúbicos dependieron de la introducción de cantidades imaginarias (enteros de Eisenstein), un concepto que no fue plenamente realizado hasta el trabajo de Eisenstein en 1844.
Valor pedagógico: El autor señala que la prueba del carácter cuadrático de 2 (Teorema 2) rara vez se cubre en textos elementales, y de manera similar, el caso cúbico suele omitirse. Este artículo proporciona una derivación autónoma del carácter cúbico de 2, motivada por el desarrollo histórico del campo.

El artículo no propone nuevas aplicaciones o direcciones de investigación futura, sino que se centra en proporcionar una prueba rigurosa y con base histórica de una conjetura clásica, demostrando cómo las propiedades fundamentales de las sumas de Gauss y de Jacobi pueden resolver cuestiones específicas respecto a la solvabilidad de congruencias cúbicas.