Ley de reciprocidad cuadrática

Ley de reciprocidad cuadrática

En matemática, dentro de la teoría de números la ley de reciprocidad cuadrática designa al "teorema áureo" que relaciona la solubilidad de dos congruencias de segundo grado relacionadas:

x^2\equiv p\ ({\rm mod}\ q)\quad
y^2\equiv q\ ({\rm mod}\ p)

donde p y q son números primos impares.[1]

Contenido

Enunciado

El enunciado del teorema áureo es el siguiente:

Teorema áureo (ley de reciprocidad cuadrática)

Si ninguno de los primos p o q pertenece a la sucesión 4k + 1 entonces una de las congruencias tiene solución si y sólo si la otra no tiene solución. Si alguno de los primos pertenece a la sucesión 4k + 1 entonces o bien ambas congruencias tienen solución o bien ninguna de las dos tiene solución.

El enunciado puede simplificarse utilizando el símbolo de Legendre:

\left(\frac{p}{q}\right)=\left\{\begin{matrix}1 & \mathrm{si}\ p\ \mathrm{es\ un\ cuadrado\ }mod\mathrm{\ }q, \\
-1 & \mathrm{en\ otro\ caso,}\end{matrix}\right.

entonces el enunciado del teorema puede resumirse de la siguiente forma:

 \left(\frac{p}{q}\right) \left(\frac{q}{p}\right) = (-1)^{\frac{(p-1)(q-1)}{4}}.

Como \frac{(p-1)(q-1)}{4} es par si alguno de los primos p o q es congruente con 1 mod 4, y es impar en otro caso,  \left(\frac{p}{q}\right) \left(\frac{q}{p}\right) es igual a 1 si p o q es congruente con 1 mod 4, y es igual a –1 si ambos son congruentes con 3 mod 4.

Algunas de las demostraciones más sencillas de la ley de reciprocidad cuadrática utilizan el lema de Gauss que trata sobre residuos cuadráticos, y que el mismo utilizó en dos de sus ocho demostraciones.

Historia

El teorema (como conjetura) fue enunciado inicialmente por Euler en 1742 en una carta a Goldbach. Alrededor de medio siglo después, en 1798 Legendre publicó una demostración que se basaba en argumentos no probados.

El teorema fue, por primera vez, fehacientemente demostrado por Gauss,[2] en 1801 en su libro Disquisitones Arithmeticae, donde da dos demostraciones del mismo. Gauss lo tenía en gran estima y lo denominó el teorema áureo.

Ya en el siglo XXI, en el libro Reciprocity Laws: From Euler to Eisenstein, de Franz Lemmermeyer, publicado en 2000, aparecen citadas 196 demostraciones diferentes de la ley de reciprocidad cuadrática.

Tabla de características cuadráticas de los números primos

Claves
R q es un residuo (mod p)    q ≡ 1 (mod 4) o p ≡ 1 (mod 4) (o ambos)  
N q es no residuo (mod p)  
R q es un residuo (mod p) ambos q ≡ 3 (mod 4) y p ≡ 3 (mod 4)
N q es no residuo (mod p)  
q
3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89 97
p 3   N R N R N R N N R R N R N N N R R N R R N N R
5 N   N R N N R N R R N R N N N R R N R N R N R N
7 N N   R N N N R R N R N R N R N N R R N R N N N
11 R R N   N N N R N R R N N R R R N R R N N N R R
13 R N N N   R N R R N N N R N R N R N N N R N N N
17 N N N N R   R N N N N N R R R R N R N N N R R N
19 N R R R N R   R N N N N R R N N R N N R N R N N
23 R N N N R N N   R R N R N R N R N N R R N N N N
29 N R R N R N N R   N N N N N R R N R R N N R N N
31 N R R N N N R N N   N R N R N R N R R N N N N R
37 R N R R N N N N N N   R N R R N N R R R N R N N
41 N R N N N N N R N R R   R N N R R N N R N R N N
43 N N N R R R N R N R N R   R R R N R N N R R N R
47 R N R N N R N N N N R N N   R R R N R N R R R R
53 N N R R R R N N R N R N R R   R N N N N N N R R
59 R R R N N R R N R N N R N N R   N N R N R N N N
61 R R N N R N R N N N N R N R N N   N N R N R N R
67 N N N N N R R R R N R N N R N R N   R R N R R N
71 R R N N N N R N R N R N R N N N N N   R R R R N
73 R N N N N N R R N N R R N N N N R R R   R N R R
79 N R N R R N R R N R N N N N N N N R N R   R R R
83 R N R R N R N R R R R R N N N R R N N N N   N N
89 N R N R N R N N N N N N N R R N N R R R R N   R
97 R N N R N N N N N R N N R R R N R N N R R N R  

Otras leyes de reciprocidad

Existen otras leyes de reciprocidad: cúbica, bicuadrática y otras de grados superiores o de naturaleza algo diferente, aunque normalmente se encuentran fuera del ámbito de la aritmética de números enteros, y es necesario acudir a cuerpos de números algebraicos.

Notas y referencias

  1. Se habla de número primo impar al referirse a cualquier número primo mayor que 2, ya que éste es el único número primo par.
  2. Gauss, DA § 4, arts 107–150

Véase también

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Нужен реферат?

Mira otros diccionarios:

  • Ley de reciprocidad cuadrática — En matemáticas, dentro de la teoría de números la ley de reciprocidad cuadrática designa una teorema que relaciona la solubilidad de dos congruencias de segundo grado relacionadas: donde y son números primos impares. El enunciado del teorema es… …   Enciclopedia Universal

  • Historia de la matemática — Página del Compendio de cálculo por el método de completado y balanceado de Muhammad ibn Mūsā al Khwārizmī (820 d.C.) La historia de las matemáticas es el área de estudio que abarca las investigaciones sobre los orígenes de los descubrimi …   Wikipedia Español

  • Disquisitiones arithmeticae — Saltar a navegación, búsqueda Página del título en la primera edición Disquisitiones Arithmeticae es un libro de teoría de números escrito por el matemático alemán Carl Friedrich Gauss en 1798 cuando tenía 21 a …   Wikipedia Español

  • Adrien-Marie Legendre — Archivo:Marie Legendre.jpg Marie Legendre Adrien Marie Legendre. Adrien Marie Legendre (París, 18 de septiembre de 1752 Auteuil, Francia, 10 de enero de 1833) fue un matemático francés. Hizo importantes contribuciones a la estadística …   Wikipedia Español

  • Residuo cuadrático — Saltar a navegación, búsqueda En Matemáticas, dentro de la Teoría de Números se denomina residuo cuadrático módulo m a cualquier entero r primo con m para el que tenga solución la congruencia: o lo que es lo mismo cuando r es un cuadrado perfecto …   Wikipedia Español

  • Teoría de números — Nuestra teoría de números se deriva de la antigua aritmética griega de Diofanto.[1] Portada de la aritmética de Diofanto traducida al latín por Bachet de Méziriac, edición con comentarios de Pierre de Fermat publicada en 1670 …   Wikipedia Español

  • Test de Pépin — En matemáticas, el test de Pépin (por el matemático francés P. Pépin) es un test de primalidad que se puede emplear para determinar si un número de Fermat es primo. Es una variante del test de Proth. Contenido 1 Descripción del test 2… …   Wikipedia Español

  • 0,9 periódico — En matemáticas, 0,999... es el número decimal periódico que se demuestra denota[1] al número 1. En otras palabras, los símbolos 0,999... y 1 son dos representaciones distintas del mismo número real. Las demostraciones matemáticas de esta igualdad …   Wikipedia Español

  • Emmy Noether — Amalie Emmy Noether Nacimiento 23 de marzo de 1882 Erlangen, Baviera, Alemania Fallecimiento …   Wikipedia Español

  • Función zeta de Dedekind — En matemática, la función zeta de Dedekind es una serie de Dirichlet definida para todo cuerpo K de números algebraicos, expresada como ζK(s) donde s es una variable compleja. Es la suma infinita: realizada sobre todos los I ideales del anillo de …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”