Die Division mit Rest oder der Divisionsalgorithmus ist ein mathematischer Satz aus der Algebra und der Zahlentheorie. Er besagt, dass es zu zwei Zahlen n und
eindeutig bestimmte Zahlen a und b gibt für die

gilt. Die Zahlen a und b lassen sich durch die schriftliche Division ermitteln.
Die Division mit Rest ist auch für Polynome definiert. Die allgemeinste mathematische Struktur, in der es eine Division mit Rest gibt, ist der euklidische Ring.
Inhaltsverzeichnis |
Wenn zwei natürliche Zahlen, der Dividend a und der Divisor b (ungleich 0), mit Rest dividiert werden sollen, also wenn

berechnet werden soll, so wird gefragt, wie man die Zahl a als Vielfaches von b und einem „kleinen Rest“ darstellen kann:

Hier sind c der so genannte Ganzzahlquotient und r der Rest. Entscheidende Nebenbedingung ist, dass r eine Zahl in
ist. Hierdurch wird r eindeutig bestimmt.
Der Rest ist also die Differenz zwischen dem Dividenden und der größten Zahl, die höchstens so groß wie der Dividend und durch den Divisor teilbar ist, für die die Division also keinen Rest ergibt. Ein Rest ungleich 0 ergibt sich folglich nur, wenn zwei Zahlen nicht Vielfache voneinander sind. Man sagt auch: Der Dividend ist nicht durch den Divisor teilbar, weshalb ein Rest übrigbleibt.
Liegt der Divisor fest, so spricht man beispielsweise auch vom Neunerrest einer Zahl, also dem Rest, der sich bei Division dieser Zahl durch neun ergibt.
Häufig kann man den Rest an der Dezimaldarstellung ablesen:
Ähnliche, wenn auch etwas kompliziertere Regeln existieren für etliche weitere Teiler.
Ist b eine negative ganze Zahl, dann gibt es keine Zahlen zwischen 0 und b-1. Stattdessen fordert man, dass der Rest zwischen 0 und |b|-1 (dem Betrag von b minus 1) liegt. Alternativ kann man aber auch verlangen, dass der Rest in diesem Fall zwischen b+1 und 0 liegt, also dasselbe Vorzeichen hat wie b. Eine dritte Möglichkeit ist, den betragskleinsten Rest zu wählen. Diese Variante liefert für a = b · c + r die beste Näherung b · c für a.
Dividiert man negative Zahlen, ergibt sich entsprechend der Alltagserfahrung folgendes Bild:
7 : 3 = 2 Rest 1 −7 : 3 = −2 Rest −1
übertragen auf negative Teiler – obwohl wenig anschaulich – folgt:
7 : −3 = −2 Rest 1 −7 : −3 = 2 Rest −1
(hierbei wird für die Wahl von Quotient und Rest, zunächst so getan, als gäbe es keine Vorzeichen, sie werden sozusagen nach der „eigentlichen Berechnung wieder hinzugefügt“). Als Quotient wird hier immer ein Wert bestimmt, dessen Betrag kleiner oder gleich dem Betrag des Quotienten im Bereich der rationalen Zahlen ist. Der Rest und sein Vorzeichen folgen aus der Wahl des Quotienten.
Wie groß der Rest bei einer Division nun ausfällt sei Geschmackssache, könnte man meinen, denn es steht jedem frei, nur einen Teil einer gegebenen Größe zu teilen, den verbleibenden Rest erklärt er einfach zum „Rest“. Lassen wir hierbei auch zu, dass „Schulden“ gemacht werden dürfen, sind beispielsweise alle folgenden Ergebnisse zulässig:
7 : 3 = 1 Rest 4 7 : 3 = 2 Rest 1 7 : 3 = 3 Rest −2
bzw.
−7 : 3 = −1 Rest −4 −7 : 3 = −2 Rest −1 −7 : 3 = −3 Rest 2
Zur Normierung wird in der Mathematik die Konvention verwendet, die Vorzeichen der Reste aus denen der Teiler zu beziehen, wie in den folgenden Beispielen dargestellt:
7 : 3 = 2 Rest 1 −7 : 3 = −3 Rest 2 7 : −3 = −3 Rest −2 −7 : −3 = 2 Rest −1
hierbei kann die Zugehörigkeit einer Zahl zu einer Restklasse direkt am Rest abgelesen werden.
Man beachte, dass DIV- und MOD-Befehle (für ganzzahlige Division und Restbildung) in den meisten Programmiersprachen (und z. B. sogar in Intels 80x86-Prozessoren) genau diesem Alltagsansatz entsprechend implementiert sind.
Einige Programmiersprachen und Computeralgebrasysteme tragen dieser Vielfalt von Konventionen Rechnung, indem sie zwei Modulo- oder Rest-Operatoren zur Verfügung stellen. Im Beispiel Ada hat:
Mit diesem Algorithmus kann man eine Funktion definieren, welche jedem Zahlenpaar { n ; m } eindeutig den Teilerrest b zuordnet. Diese nennt man „Modulo“ [ˈmoːduloː] (lat. Modulus, Kasus Ablativ: „durch Maß“ oder auch „mit Maß“, somit Mehrzahl Moduli) und wird meistens mit mod abgekürzt. In vielen Programmiersprachen wird sie durch % dargestellt und als Operator behandelt.
Sei die Funktion

mit
wie folgt definiert:

bezeichnet die größte ganze Zahl, die kleiner oder gleich der Zahl in der Gaußklammer ist, also ohne den Rest der Division
. Hier gilt stets

z. B.
.
für alle a.Neben dieser sogenannten „Mathematischen Variante“ wird oft auch eine ähnliche Funktion als Modulo bezeichnet, welche für negative Argumente unterschiedliche Ergebnisse liefert und „symmetrische Variante“ genannt wird:

den zur Null hin gerundeten Quotienten
. Für diese Variante gilt
,
, z. B.
.
hat stets dasselbe Vorzeichen wie a, oder es gilt
.Gilt
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 symmetrische einsetzen, was besonders wichtig bei Portierungen ist.
Beispiele:
Wenn
, dann folgt nicht daraus, dass a = b ist, sondern nur, dass sich a und b um ein ganzzahliges Vielfaches von m unterscheiden, also:
mit
Eine derartige Gleichung kann auch einfacher mit Hilfe der in der Zahlentheorie verbreiteten Kongruenzrelation geschrieben werden:
oder auch 
Ist die Zahl m eine Primzahl oder die Potenz einer Primzahl so kann man die aus den Reellen Zahlen gewohnten Grundrechenarten mit anschließender modulo Berechnung anwenden und erhält einen sogenannten Endlichen Körper.


Sind a und b reelle Zahlen, b ungleich 0, dann kann man eine Division mit Rest folgendermaßen definieren: Der ganzzahlige Quotient c und Rest r im halboffenen Intervall [0, |b|) sind diejenigen (eindeutig bestimmten) Zahlen, die die Gleichung a = b · c + r erfüllen.
Auch hier gibt es die Alternativen, dem Rest dasselbe Vorzeichen wie b zu geben oder den betragskleinsten Rest zu wählen. Letztere Alternative entspricht der Rundung: Die Division mit Rest von a durch 1 liefert eine ganze Zahl c und eine reelle Zahl r mit Betrag ≤ 0,5, die die Gleichung a = c + r erfüllen. Die Zahl c ist der auf ganze Zahlen gerundete Wert von a.
Es ist zu beachten, dass hierbei der Quotient nicht aus derselben Menge (der reellen Zahlen) genommen wird wie Divisor und Dividend.
Bei der Division mit Rest für Polynome muss das als Divisor auftretende Polynom f(X) aus dem Polynomring R[X] eine Voraussetzung erfüllen: Der Leitkoeffizient von f(X) muss eine Einheit von R sein (insb. ist f(X) nicht das Nullpolynom). Unter dieser Bedingung gibt es zu jedem
eindeutig bestimmte Polynome
mit

Ein Beispiel ist das folgende Polynom.
Die Polynome q(X) und r(X) lassen sich durch Polynomdivision bestimmen.
Die Division mit Rest (Modulo) wird in der Programmierung relativ häufig verwendet. Die Syntax ist dabei die eines Operators. 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.
Für Lexikon-Artikel gilt die Lizenz „Creative Commons Attribution/Share Alike“.
Die Wikipedia ist eine Enzyklopädie, deren Inhalte frei nutzbar sind und es immer sein werden.