Rechenregeln für Kongruenzen

Elementare Rechenregeln

Für das Rechnen mit Kongruenzen lassen sich einige elementare Rechenregeln aufstellen.

Satz 164R (Eigenschaften von Kongruenzen)

Gilt a≡b(modm)a \equiv b \pmod m und c≡d(modm)c \equiv d \pmod m und b≡x(modm)b \equiv x \pmod m, so gilt:
  1. a≡amod  ma \equiv a \mod{m} (Reflexivität)
  2. Aus a≡bmod  ma \equiv b \mod{m} folgt b≡amod  mb \equiv a \mod{m} (Symmetrie)
  3. Aus a≡bmod  ma \equiv b \mod{m} und b≡cmod  mb \equiv c \mod{m} folgt a≡cmod  ma \equiv c \mod{m} (Transitivität)
  4. na≡nbmod  mna \equiv nb \mod{m}
  5. a+c≡b+dmod  ma + c \equiv b + d \mod{m} a−c≡b−dmod  ma - c \equiv b - d \mod{m}
  6. ac≡bdmod  mac \equiv bd \mod{m} an≡bnmod  ma^n \equiv b^n \mod{m}

Beweis

a≡bmod  ma \equiv b \mod m bedeutet m∣b−am|b-a, damit sind (i) und (ii) trivial.
(iii) a≡bmod  ma \equiv b \mod{m} bedeutet m∣b−am|b-a und b≡cmod  mb \equiv c \mod{m} bedeutet m∣c−bm|c-b und damit ist auch m∣(b−a+c−b)  ⟹  m∣(c−a)m|(b-a+c-b)\implies m|(c-a), also a≡cmod  ma \equiv c \mod{m}
(iv) Wegen m∣n(b−a)m|n(b-a) und m∣nb−nam|nb-na
(v) a≡bmod  ma \equiv b \mod{m} bedeutet m∣b−am|b-a und c≡d(modm)c \equiv d \pmod m bedeutet m∣d−cm|d-c, also m∣d−c+b−am|d-c+b-a   ⟹  m∣(b+d)−(a+c)\implies m|(b+d)-(a+c) Subtraktion analog.
(vi) Aus m∣b−am|b-a und m∣d−cm|d-c folgt m∣(b−a)dm|(b-a)d also m∣bd−adm|bd-ad und m∣(d−c)am|(d-c)a also m∣ad−acm|ad-ac. Mit (v) erhalten wir m∣bd−acm|bd-ac
an≡bnmod  ma^n \equiv b^n \mod{m} zeigt man unter Benutzung des eben Bewiesenen mittels vollständiger Induktion. □\qed

Abgeleitete Rechenregeln

  1. Für t≠0t \ne 0 gilt: t⋅a≡t⋅bmod  ∣t∣⋅m\qquad t \cdot a \equiv t \cdot b \mod |t| \cdot m
  2. Ist kk ein Teiler von mm, dann gilt: a≡bmod  k\qquad a \equiv b \mod k
  3. Sei c⋅a≡c⋅bmod  nc \cdot a \equiv c \cdot b \mod n sowie d=ggT⁡(c,n)d = \ggT(c,n) (größter gemeinsamer Teiler), dann gilt: a≡bmod  (n/d)a \equiv b \mod(n/d)Sind cc und nn teilerfremd, also d=1d = 1, dann folgt sofort a≡bmod  na \equiv b \mod n
  4. Sei c⋅a≡c⋅bmod  pc \cdot a \equiv c \cdot b \mod p mit einer Primzahl pp, wobei pp kein Teiler von cc ist. Dann gilt: a≡bmod  pa \equiv b \mod p
  5. Sei a≡bmod  na \equiv b \mod n und c>0c > 0. Dann gilt: c⋅a≡c⋅bmod  (c⋅n)c \cdot a \equiv c \cdot b \mod(c \cdot n)
  6. Sei a≡bmod  na \equiv b \mod n. Ferner sei d>0d > 0 ein Teiler der ganzen Zahlen aa, bb. Dann gilt: (a/d)≡(b/d)mod  (n/d)(a/d) \equiv (b/d) \mod(n/d)
  7. Für jede ungerade Zahl aa gilt a2≡1mod  8a^2 \equiv 1 \mod 8Mit anderen Worten: Teilt man a2a^2 durch 8, dann bleibt als Rest 1.
  8. Für jede ganze Zahl gilt entweder a3≡0mod  9a^3 \equiv 0 \mod 9 oder a3≡1mod  9a^3 \equiv 1 \mod 9 oder a3≡8mod  9a^3 \equiv 8 \mod 9Mit anderen Worten: Entweder a3a^3 ist durch 9 teilbar oder es bleibt als Rest 1 oder 8.
  9. Für jede ganze Zahl gilt entweder a3≡0mod  7a^3 \equiv 0 \mod 7 oder a3≡1mod  7a^3 \equiv 1 \mod 7 oder a3≡6mod  7a^3 \equiv 6 \mod 7Mit anderen Worten: Entweder a3a^3 ist durch 7 teilbar oder es bleibt als Rest 1 oder 6.
  10. Für jede ganze Zahl gilt entweder a4≡0mod  5a^4 \equiv 0 \mod 5 oder a4≡1mod  5a^4 \equiv 1 \mod 5Mit anderen Worten: Entweder a4a^4 ist durch 5 teilbar oder es bleibt als Rest 1
  11. Ist aa sowohl eine Quadratzahl als auch eine Kubikzahl (z.B. a=64a = 64) dann gilt entweder a≡0mod  36a \equiv 0 \mod 36 oder a≡1mod  36a \equiv 1 \mod 36 oder a≡9mod  36a \equiv 9 \mod 36 oder a≡28mod  36a \equiv 28 \mod 36
  12. Sei pp eine Primzahl mit n<p<2nn < p < 2n. Dann gilt(2nn)≡0mod  p{\chooseNT {2n} n} \equiv 0 \mod{p}
  13. Sei aa eine ungerade ganze Zahl. Ferner sei n>0n > 0. Dann gilt: a2n≡1mod  2n+2a^{2^n} \equiv 1 \mod 2^{n+2}
  14. Seien a⋅b≡c⋅dmod  na \cdot b \equiv c \cdot d \mod n, b≡dmod  nb \equiv d \mod n sowie ggT⁡(b,n)=1\ggT(b,n) = 1 (d. h. bb und nn sind teilerfremd). Dann gilt: a≡cmod  na \equiv c \mod n
  15. Es gelte a≡bmod  xa \equiv b \mod x und a≡cmod  ya \equiv c \mod y sowie n=ggT⁡(x,y)n = \ggT(x,y). Daraus folgt: b≡cmod  nb \equiv c \mod n
 
 

Seit die Mathematiker über die Relativitätstheorie hergefallen sind, verstehe ich sie selbst nicht mehr.

Albert Einstein

Copyright- und Lizenzinformationen: Diese Seite ist urheberrechtlich geschützt und darf ohne Genehmigung des Autors nicht weiterverwendet werden.
Anbieterkеnnzeichnung: Mathеpеdιa von Тhοmas Stеιnfеld  • Dοrfplatz 25  •  17237 Blankеnsее  • Tel.: 01734332309 (Vodafone/D2)  •  Email: cο@maτhepedιa.dе