Modulo

Zwei ganze Zahlen heißen “kongruent modulo ”, wenn sie bei Division durch den gleichen Rest haben.

Beispiel

sind alle
Sie sind Teil einer Restklasse
Es gibt immer Restklassen bei Modulo

Satz-Mod-Regeln

Wenn und dann gilt:


  • Dabei ist nicht erforderlich, dass und der gleichen Restklasse angehören.

Anwendungen

  1. Hash-Funktionen
  2. Prüfziffern (ISBN, EAN, IBAN, )

Addition und Multiplikation in

Definition


Ist die Menge aller möglichen Reste

Addition und Multiplikation in

Damit die Ergebnisse auch innerhalb des erlaubten Zahlenbereichs sind, werden sie genommen. Für entsteht so folgende Verteilung

+01234
001234
112340
223401
334012
440123
*01234
000000
101234
202413
303142
404321

Addition

Man erkennt
Daher betrachtet man als das Negative Element zu .

Definition

Für eine Zahl ist die Zahl das additive Invers zu , wenn und
Es gilt
Es kann Zahlen geben die ihr eigenes Invers sind.

Multiplikation

Rechenregeln ^Rules

Im Taschenrechner lassen sich zu große Exponenten schlecht oder nicht berechnen. Die Werte können zerlegt werden

Es ist möglich, die Modulo Operation auch in diesen einzelnen Faktoren durchzuführen

Durch

gilt also

Definition

Wenn es zu eine Zahl gibt mit und so heißt Kehrwert von oder auch multiplikatives Invers.
Man schreibt auch

In ist also mit die Zahl gemeint.

Nicht jede Zahl hat ein Multiplikatives Invers:

Satz-Existenz

Für hat genau dann einen Kehrwert, wenn und koprim, also teilerfremd sind.

Beispiel-Invers-Suche

“Erweitern” in gleicher Restklasse

Gleichungen

Addition

Multiplikation


2 und 6 sind nicht teilerfremd, probieren statt rechnen

Keine Lösung


vgl. oben, Lösungen

Lösungsmengen

Addition

Besitzt immer eine eindeutige Lösung.
Addition des additiven Invers von

Multiplikation

Wenn und teilerfremd sind, besitzt genau eine Lösung in .
Sonst existieren oder mehrere Lösungen.
Die Anzahl lässt sich mit Hilfe des größten gemeinsamen Teilers von und feststellen. Wenn auch Teiler von ist, so existieren genau Lösungen.
Sonst gibt es Lösungen.


Diese Menge ist also die Menge aller Zahlen aus , für die ein multiplikatives Invers existiert. Alle diese Zahlen sind zu teilerfremd.