Modulair rekenen: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Madyno (overleg | bijdragen)
allerlei overbodigs weg
Madyno (overleg | bijdragen)
Regel 95:
 
== Algebra ==
* <math>(\Z/m\Z)</math> is [[Algebra|algebraïsch]] gezien een [[Ring (wiskunde)|ring]] en wel een [[commutatieve ring]] met [[neutraal element]]. De elementen van <math>\mathbb{Z}/m\mathbb{Z}</math> noemt men de [[restklasse]]n modulo <math>m</math>.
: In het bijzondere geval dat <math>m</math> een [[priemgetal]] is, is <math>(\Z/m\Z)</math> zelfs een [[Lichaam (Ned) / Veld (Be)|lichaam (Ned) / veld (Be)]]. Opgepast: wat men in België een lichaam noemt, heet in Nederland een scheeflichaam.{{Bron?}}
{{Uitklappen
Regel 110:
}}
 
* Als <math>a</math> geen veelvoud is van <math>p</math>, dan geldt de implicatie
::<math> a*\cdot m \equiv a*\cdot n \pmodbmod{p} \Rightarrow m \equiv n \pmodbmod{p}</math>
 
: Deze stelling wordt gebruikt bij het [[Wiskundig bewijs|bewijs]] van de [[kleine stelling van Fermat]].