Kongruenz modulo

Zwei natürliche Zahlen a und b nennt man kongruent modulo m (oder restegleich bei Division durch m ), wenn a : m MathType@MTEF@& 053;@& 053;@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbdfgBPj MCPbqeduuDJXwAKbYu51MyVXgaruWqVvNCPvMCG4uz3bqefqvATv2C G4uz3bIuV1wyUbqeeuuDJXwAKbsr4rNCHbGeaGqiVu0Je9sqqrpepC 0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yq aqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeaacaGaaiaabe qaamaaeaqbaaGcbaGaamyyaiaacQdacaWGTbaaaa@3F83@ und b : m MathType@MTEF@& 053;@& 053;@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbdfgBPj MCPbqeduuDJXwAKbYu51MyVXgaruWqVvNCPvMCG4uz3bqefqvATv2C G4uz3bIuV1wyUbqeeuuDJXwAKbsr4rNCHbGeaGqiVu0Je9sqqrpepC 0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yq aqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeaacaGaaiaabe qaamaaeaqbaaGcbaGaamOyaiaacQdacaWGTbaaaa@3F84@ denselben Rest haben. „a und b sind kongruent modulo m“ oder „a ist kongruent zu b modulo m“ kürzt man ab mit a ≡ b (mod m) MathType@MTEF@& 053;@& 053;@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbdfgBPj MCPbqeduuDJXwAKbYu51MyVXgaruWqVvNCPvMCG4uz3bqefqvATv2C G4uz3bIuV1wyUbqeeuuDJXwAKbsr4rNCHbGeaGqiVu0Je9sqqrpepC 0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yq aqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeaacaGaaiaabe qaamaaeaqbaaGcbaGaamyyaiabggMi6kaadkgacaqGGaGaaeikaiaa b2gacaqGVbGaaeizaiaabccacaqGTbGaaeykaaaa@46D9@ oder a ≡ b mod m MathType@MTEF@& 053;@& 053;@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbdfgBPj MCPb