Kongruentzia (zenbakien teoria): berrikuspenen arteko aldeak

Ezabatutako edukia Gehitutako edukia
No edit summary
17. lerroa:
 
== Propietateak ==
Kongruentziak <math>m</math> moduluarekiko <math>a</math> eta <math>b</math> zenbakien arteko [[baliokidetasun-erlazio]] bat adierazten du, hurrengo erlazioak betetzen dituelako:
 
* [[Erlazio bihurkari|Erlazio bihurkaria (erreflexiboa)]]: <math>a\equiv a\pmod m</math>, <math>a</math> guztietarako.
* [[Simetria-erlazio|Simetria erlazioa]]: <math>a\equiv b\pmod m</math> bada, <math>b\equiv a\pmod m</math> da.
* [[Iragate-erlazio|Iragate-erlazioa (trantsitiboa)]]: <math>a\equiv b\pmod m</math> eta <math>b\equiv c\pmod m</math> badira, <math>a\equiv c\pmod m</math> izango da.
 
<math>a\equiv b\pmod m</math> eta <math> k\in \mathbb{Z}</math> badira: