Definition:Residue (Number Theory)

From ProofWiki
Jump to navigation Jump to search

Definition

Let $m, n \in \N$ be natural numbers.

Let $a \in \Z$ be an integer such that $a$ is not divisible by $m$.

Then $a$ is a residue of $m$ of order $n$ if and only if:

$\exists x \in \Z: x^n \equiv a \pmod m$

where $\equiv$ denotes modulo congruence.


Nonresidue

$a$ is a nonresidue of $m$ of order $n$ if and only if there does not exist $x \in \Z$ such that:

$x^n \equiv a \pmod m$


Examples

Arbitrary Example

Residue (Number Theory)/Examples/Arbitrary Example 1

Also see


Sources