Zij . Twee gehele getallen en heten congruent modulo , genoteerd , als — gelijkwaardig: als en dezelfde rest hebben bij de euclidische deling door .
Wiskunde · Begrippenlijst
Wat is Congruentie?
Ook bekend als: congruence
Voor schrijven we wanneer . Dat is een equivalentierelatie die verenigbaar is met optellen en vermenigvuldigen: is en (mod ), dan is , en voor .
Voorbeelden
Voorbeeld 6.19 (De negenproef)
De verenigbaarheid met en is een controlemiddel dat zo oud is als de handel. Omdat , is elk geheel getal modulo congruent met zijn cijfersom (bewezen als Oefening 6.2). Om de bewering te toetsen: de cijfersommen geven en , dus moet het product zijn; en inderdaad is . De proef slaagt (en het product klopt ook echt). Had iemand gemeld, dan zou de cijfersom hem meteen ontmaskeren. De toets is eenzijdig — ze betrapt een fout tenzij de fout zelf een veelvoud van is — en dat is in het klein precies de les over pseudopriemgetallen uit Voorbeeld 6.24: controles met congruenties weerleggen, ze bewijzen niet.
Voorbeeld 6.21 ( inverteren modulo )
Omdat , is de klasse van inverteerbaar modulo . Uitgebreid Euclides:
en dan achterstevoren:
Bijgevolg is , oftewel ; controle: . Met de inverse in handen los je elke congruentie in één vermenigvuldiging op: . Dit mechanische inverteren is het werkpaard van het modulaire rekenen — en van de protocollen met publieke sleutel die in Opmerking 6.27 genoemd worden, waar de moduli honderden cijfers tellen maar het algoritme exact dit is.
Voorbeeld 6.22 (Wanneer de coëfficiënt niet inverteerbaar is)
Los op. Hier is , dus is niet inverteerbaar modulo — maar de vergelijking blijft hanteerbaar. De congruentie zegt ; deling van de hele betrekking door (een deler van alle drie de ingrediënten) maakt haar equivalent met , oftewel
Nu is en (want ), dus : de oplossingen zijn — vier klassen modulo , overeenkomend met de ggd. (Was het rechterlid niet deelbaar door geweest, zeg , dan was er helemaal geen oplossing: het linkerlid is altijd .) Algemene vorm: is oplosbaar precies wanneer , en heeft dan precies oplossingsklassen — deel alles door de ggd en inverteer.