„Modulo“ – Versionsunterschied

Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Bitte hilf mit, die Mängel dieses Artikels zu beseitigen, und beteilige dich bitte an der Diskussion! (Artikel eintragen)

Modulo [ˈmoːduloː] (lat. Modulus, Kasus Ablativ: "durch Maß" oder auch "mit Maß", somit Mehrzahl Moduli), mathematisches Formelzeichen mod, in vielen Programmiersprachen durch % wiedergegeben, ist eine mathematische Funktion, die den Rest aus der Division zweier ganzer Zahlen angibt. Eine weiterführende Modulorechnung existiert auch für Polynome, die auf den Mengen sog. Galoiskörper definiert sind. Der Rest ist in dem Fall ein Polynom.

Beispiel: 7 mod 2 = 1, Sprechweise: „Sieben modulo zwei gleich eins.“ Denn 7 : 2 = 3, Rest 1 (2 · 3 + 1 = 7). Ebenso ist beispielsweise 7 mod 3 = 1.

Varianten der Modulo-Funktion

Es gibt zwei Varianten der Modulo-Funktion, die für negative Argumente unterschiedliche Ergebnisse liefern:

• „Mathematische Variante“:

$(a\;{\bmod {\;}}m)=a-\left\lfloor {\frac {a}{m}}\right\rfloor \cdot m$

Die Gaußklammer $\lfloor \cdot \rfloor$ bezeichnet die größte ganze Zahl, die kleiner oder gleich der Zahl in der Gaußklammer ist, also ohne den Rest der Division $a\,/\,m$. Für diese Variante gilt stets

$(a+km)\;{\bmod {\;}}m=a\;{\bmod {\;}}m\quad (k\in \mathbb {Z} ),$

aber im Allgemeinen ist

$(-a)\;{\bmod {\;}}m\neq -(a\;{\bmod {\;}}m),$ z. B. $(-2)\;{\bmod {\;}}3=1\neq -2=-(2\;{\bmod {\;}}3)$.

Ist $m$ positiv, so ist $a\;{\bmod {\;}}m\geq 0$ für alle $a$.

• „Symmetrische Variante“:

$(a\;{\bmod {\;}}m)=a-m\cdot (a\,\operatorname {div} \,m);$

dabei bezeichnet $a\,\operatorname {div} \,m$ den zur Null hin gerundeten Quotienten $a\,/\,m$. Für diese Variante gilt

$(-a)\;{\bmod {\;}}m=-(a\;{\bmod {\;}}m)$,

aber im Allgemeinen

$(a+km)\;{\bmod {\;}}m\neq a\;{\bmod {\;}}m$, z. B. $(1-3)\;{\bmod {3}}=(-2)\;{\bmod {\;}}3=-2\neq 1=1\;{\bmod {\;}}3$.

$a\;{\bmod {\;}}m$ hat stets dasselbe Vorzeichen wie $a$, oder es gilt $a\;{\bmod {\;}}m=0$.

Gilt $a\geq 0$ und $m>0$, so ergeben beide Varianten dasselbe Ergebnis. In Programmiersprachen ist die implementierte Variante nicht einheitlich. So verwenden Ruby, Python und Perl die Mathematische Variante, wo hingegen Java, C, JavaScript und PHP die Symetrische einsetzen, was besonders wichtig bei Portierungen ist.

Beispiele:

• 17 mod 3 = 2, da 17 = 5×3 + 2 („drei passt fünf mal in 17 und es bleiben zwei übrig“ – der Rest ist also zwei)
• 2 mod 3 = 2, da 2 = 0×3 + 2
• 3 mod 3 = 0, da 3 = 1×3 + 0

Wenn $(a\;{\bmod {\;}}n)=(b\;{\bmod {\;}}n)$, dann folgt nicht daraus, dass $a=b$ ist, sondern nur, dass sich $a$ und $b$ um ein ganzzahliges Vielfaches von $n$ unterscheiden, also: $a=b+(k\cdot n)\ {\text{mit}}\ k\in \mathbb {Z}$ Eine derartige Gleichung kann auch einfacher mit Hilfe der in der Zahlentheorie verbreiteten Kongruenzrelation geschrieben werden.

Anwendung

Programmierung

Modulo wird in der Programmierung relativ häufig verwendet. Mit mod kann geprüft werden, ob eine Zahl gerade ist: if ( (x mod 2) == 0), dann ist x gerade. Modulo kann man immer benutzen, wenn man alle X Schleifendurchläufe einen speziellen Programmcode ausführen will. Auch bei vielen Berechnungen und Algorithmen ist er sinnvoll einsetzbar. Allgemein kann man mit mod prüfen, ob eine Zahl durch eine andere genau teilbar ist, dann ist der Modulo nämlich Null. Andersrum muss man in der Programmierung oft auf ganze Vielfache von einer Zahl ergänzen (z. B. 4 Bytes) und bekommt durch den Modulo heraus, wie viele „Pad-Bytes“ noch fehlen.

Beispiel: Man programmiert eine Uhr und hat die Zeit als Sekundenwert seit 0 Uhr gegeben. Dann kann man den Sekundenwert Mod 3600 berechnen. Ist dieser gleich 0, so weiß man, dass eine volle Stunde angefangen hat. Diese Information kann man nutzen, um z. B. ein akustisches Signal (Gong zur vollen Stunde) auszulösen. Mit der Berechnung Sekundenwert Mod 60 erhält man die Sekunde in der aktuellen Minute, die oftmals von Digitaluhren als letzte zwei Stellen anzeigt werden.

Weitere Anwendungen

• Berechnung der Prüfziffer der Internationalen Standardbuchnummer
• Prüfsummen-Formel Luhn-Algorithmus zur Bestätigung von Identifikationsnummern wie Kreditkartennummern und kanadische Sozialversicherungsnummern
• Kalenderberechnung (z. B. die relativ komplizierte Berechnung des Osterdatums)
• Bei der International Bank Account Number (IBAN)
• In der Kryptografie, z. B. beim Diffie-Hellman-Schlüsselaustausch

Literatur

• K. Reiss, G. Schmieder: Basiswissen Zahlentheorie – Eine Einführung in Zahlen und Zahlenbereiche. Springer-Verlag, Berlin, Heidelberg, New York, ISBN 3-540-21248-5.

Siehe auch

• Kongruenz (Zahlentheorie)
• Hash-Funktion und die dort genannten Verfahren
• Kleiner fermatscher Satz
• Satz von Euler
• Dualsystem
• Galoiskörper

Weblinks

• Modulo online berechnen
• Modulo in Java
• Java ist auch eine Insel: Modulo in Java