PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Viewing Version 11 of 'quadratic reciprocity rule'
[ view 'quadratic reciprocity rule' | back to history ]

Title of object: quadratic reciprocity rule
Canonical Name: QuadraticReciprocityRule
Type: Theorem

Created on: 2001-08-13 10:23:16
Modified on: 2006-11-29 14:59:01

Creator: alozano
Modifier: alozano
Author: alozano
Author: mathcam
Author: akrowne

Classification: msc:11A15
Synonyms: quadratic reciprocity rule=quadratic reciprocity

Revision comment (for changes between this and next version):

Changes for correction #12502 ('missing cached output').

Preamble:

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}

\newtheorem*{thm}{Theorem}
Content:

\begin{thm}[Law of Quadratic Reciprocity]
Let $p$ and $q$ be two distinct odd primes. Then:

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

where $\left(\frac{\cdot}{\cdot}\right)$ is the \PMlinkname{Jacobi}{JacobiSymbol} symbol (or Legendre symbol).
\end{thm}

The following is an equivalent formulation of the Law of Quadratic Reciprocity:

\begin{thm}[Quadratic Reciprocity (second form)]
Let $p,q$ be distinct odd primes. Then:
\begin{enumerate}
\item $\displaystyle \left(\frac{p}{q}\right) = \left(\frac{q}{p}\right)$ if one of $p$ or $q$ is congruent to $1$ modulo $4$;

\item $\displaystyle \left(\frac{p}{q}\right) = - \left(\frac{q}{p}\right)$ if both $p$ and $q$ are congruent to $3$ modulo $4$.
\end{enumerate}
\end{thm}