In algebraic number theory the n-th power residue symbol (for an integer n > 2) is a generalization of the (quadratic) Legendre symbol to n-th powers. These symbols are used in the statement and proof of cubic, quartic, Eisenstein, and related higher reciprocity laws.
Background and notation Let k be an algebraic number field with ring of integers O k {\displaystyle {\mathcal {O}}_{k}} that contains a primitive n-th root of unity ζ n . {\displaystyle \zeta _{n}.}
Let p ⊂ O k {\displaystyle {\mathfrak {p}}\subset {\mathcal {O}}_{k}} be a prime ideal and assume that n and p {\displaystyle {\mathfrak {p}}} are coprime (i.e. n ∉ p {\displaystyle n\not \in {\mathfrak {p}}} .) The norm of p {\displaystyle {\mathfrak {p}}} is defined as the cardinality of the residue class ring (note that since p {\displaystyle {\mathfrak {p}}} is prime the residue class ring is a finite field):
N p := | O k / p | . {\displaystyle \mathrm {N} {\mathfrak {p}}:=|{\mathcal {O}}_{k}/{\mathfrak {p}}|.}
An analogue of Fermat's theorem holds in O k . {\displaystyle {\mathcal {O}}_{k}.} If α ∈ O k − p , {\displaystyle \alpha \in {\mathcal {O}}_{k}-{\mathfrak {p}},} then
α N p − 1 ≡ 1 mod p . {\displaystyle \alpha ^{\mathrm {N} {\mathfrak {p}}-1}\equiv 1{\bmod {\mathfrak {p}}}.}
And finally, suppose N p ≡ 1 mod n . {\displaystyle \mathrm {N} {\mathfrak {p}}\equiv 1{\bmod {n}}.} These facts imply that
α N p − 1 n ≡ ζ n s mod p {\displaystyle \alpha ^{\frac {\mathrm {N} {\mathfrak {p}}-1}{n}}\equiv \zeta _{n}^{s}{\bmod {\mathfrak {p}}}}
is well-defined and congruent to a unique n {\displaystyle n} -th root of unity ζ n s . {\displaystyle \zeta _{n}^{s}.}
Definition This root of unity is called the n-th power residue symbol for O k , {\displaystyle {\mathcal {O}}_{k},} and is denoted by
( α p ) n = ζ n s ≡ α N p − 1 n mod p . {\displaystyle \left({\frac {\alpha }{\mathfrak {p}}}\right)_{n}=\zeta _{n}^{s}\equiv \alpha ^{\frac {\mathrm {N} {\mathfrak {p}}-1}{n}}{\bmod {\mathfrak {p}}}.}
Properties The n-th power symbol has properties completely analogous to those of the classical (quadratic) Jacobi symbol ( ζ {\displaystyle \zeta } is a fixed primitive n {\displaystyle n} -th root of unity):
… excerpt ends here. Continue reading the full article.
