# Restklasse

In de rekenkunde verstaat men onder de restklasse modulo een positief geheel getal $n$, de verzameling gehele getallen die bij deling door $n$ dezelfde rest opleveren. Deze rest wordt niet-negatief gekozen. De getallen in een bepaalde restklasse zijn dus per definitie congruent modulo $n$.
In veel gevallen is $n$ een vast gekozen getal, en noteert men de restklasse waartoe het gehele getal $z$ behoort met een streepje boven de $z$:
    ${\overline {z}}=\{\ldots ,z-2n,z-n,z,z+n,z+2n,\ldots \}$
Er zijn precies $n$ verschillende restklassen modulo $n$.
In het algemeen behoren twee gehele getallen tot dezelfde restklasse modulo $n$ als en slechts als hun verschil een veelvoud is van $n$ (als ze congruent zijn modulo $n$).

## Voorbeeld

Zij $n=5$. Er bestaan vijf verschillende restklassen modulo 5. Het gaat om de volgende vijf oneindige verzamelingen:
    ${\overline {0}}=\left\{\ldots ,-10,-5,0,5,10,15,\ldots \right\}$
    ${\overline {1}}=\left\{\ldots ,-9,-4,1,6,11,16,\ldots \right\}$
    ${\overline {2}}=\left\{\ldots ,-8,-3,2,7,12,17,\ldots \right\}$
    ${\overline {3}}=\left\{\ldots ,-7,-2,3,8,13,18,\ldots \right\}$
    ${\overline {4}}=\left\{\ldots ,-6,-1,4,9,14,19,\ldots \right\}$
De klasse
    ${\overline {5}}=\left\{\ldots ,-5,0,5,10,15,20,\ldots \right\}$
is geen nieuwe klasse, het is gewoon een andere schrijfwijze van de klasse ${\overline {0}}$.

## Verzamelingenleer

De restklassen modulo $n$ zijn de partitieklassen die horen bij de equivalentierelatie "is congruent met".
Elke geheel getal $z$ behoort tot precies één restklasse modulo $n$, namelijk, de klasse waar de rest van de geheeltallige deling van $z$ door $n$ toe behoort.

## Groepentheorie

De restklasse modulo $n$ waar het getal $z$ toe behoort, is de nevenklasse van $z$ ten opzichte van de deelgroep
    $n\mathbb {Z} ={\overline {0}}=\left\{\ldots ,-2n,-n,0,n,2n,\ldots \right\}$
van de groep $(\mathbb {Z} ,+)$ der gehele getallen. Omdat de optelling van gehele getallen een abelse groep vormt, hoeven we geen onderscheid te maken tussen linker- en rechternevenklassen.
De factorgroep $\mathbb {Z} /n\mathbb {Z}$ definieert een commutatieve groepsbewerking op de verzameling der restklassen modulo $n$. Dit is de eindige cyclische groep met $n$ elementen.

## Ringtheorie

Voor de optelling geldt dat, als $a_{1}$ en $a_{2}$ congruent zijn modulo $n$, en ook $b_{1}$ en $b_{2}$ congruent zijn modulo $n$, dat dan ook $a_{1}+b_{1}$ en $a_{2}+b_{2}$ congruent zijn modulo $n$. Hetzelfde geldt voor de vermenigvuldiging: $a_{1}\cdot b_{1}$ en $a_{2}\cdot b_{2}$ zijn congruent modulo $n$.
De deelring $n\mathbb {Z}$ van de commutatieve ring $(\mathbb {Z} ,+,\cdot )$ is een ideaal, zodat we de factorring of quotiëntring $\mathbb {Z} /n\mathbb {Z}$ kunnen beschouwen.
De verzameling der restklassen modulo $n$ vormt dus een commutatieve ring met eenheidselement.
In deze ring zijn niet noodzakelijk alle niet-triviale elementen omkeerbaar, met andere woorden: hij is niet altijd een lichaam. Dit is slechts het geval als $n$ een priemgetal is (het bijzondere geval $n=1$ wordt gewoonlijk buiten beschouwing gelaten). In alle andere gevallen is de ring zelfs niet nuldelervrij: als $n$ geschreven kan worden als het product van twee natuurlijke getallen $a$ en $b$ (strikt begrepen tussen 1 en $n$), dan is
    ${\overline {a}}\cdot {\overline {b}}={\overline {0}}$
De omkeerbare elementen van $\mathbb {Z} /n\mathbb {Z}$ vormen een abelse groep voor de vermenigvuldiging van restklassen, genoteerd $(\mathbb {Z} /n\mathbb {Z} )^{*}$
Het aantal elementen van deze vermenigvuldigingsgroep is de Euler-indicator (totiënt) van $n$, d.i. het aantal natuurlijke getallen tussen 0 en $n$ dat geen delers gemeenschappelijk heeft met $n$.
In deze context komt de stelling van Euler neer op de opmerking dat elk element in deze eindige groep een eindige orde heeft. Men bekomt het neutraal element door een willekeurig gegeven element net zo vaak met zichzelf te vermenigvuldigen als er elementen in de hele groep zijn.