[ 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 |
| 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} |
|