Modulare Subtraktion
Bei der modularen Subtraktion (auch Subtraktion modulo m) kann der Rest der Differenz zweier ganzer Zahlen bei Division durch $m$ alternativ über die kongruente Differenz der Reste der beiden Zahlen bestimmt werden.
Definition
Gegeben seien zwei ganze Zahlen $a,b \in \Z$ sowie eine natürliche Zahl $m\in \N$. Mit $r_a$ und $r_b$ seien die ganzzahligen Reste der Division von $a$ bzw. $b$ durch $m$ bezeichnet. Für die modulare Subtraktion gilt die folgende Kongruenz:
In Worten lässt sich dies wie folgt ausdrücken: Der Rest der Differenz ist kongruent zur Differenz der Reste
.
Beispiele
Beispiel 1
Es soll die Differenz $23 - 42 \bmod{5}$ berechnet werden. Für Minuend und Subtrahend gelten die folgenden Kongruenzen:
Für die Differenz ergibt sich somit:
Beispiel 2
Es soll $4711 - 1337 \bmod{42}$ berechnet werden. Für Minuend und Subtrahend gelten die folgenden Kongruenzen:
Für die Differenz ergibt sich somit:
Eigenschaften
Assoziativität
Die Subtraktion modulo $m$ ist im Allgemeinen nicht assoziativ, wie das folgende Beispiel zeigt:
Kommutativität
Die Subtraktion modulo $m$ ist im Allgemeinen nicht kommutativ, wie das folgende Beispiel zeigt:
Neutrales Element
Es existiert kein neutrales Element bzgl. der Subtraktion modulo $m$.
Inverses Element
Das inverse Element einer Zahl $a$ bezüglich der Subtraktion modulo $m$ existiert nicht. Das Verknüpfen eines Elements mit seinem Inversen muss stets das neutrale Element ergeben, welches für die Subtraktion aber nicht existiert.
Beweis
Gegeben seien zwei ganze Zahlen $a,b \in \Z$ sowie eine natürliche Zahl $m \in \N$. Für $a$ und $b$ existieren die folgenden Zerlegungen mit Rest (mit $q_a,q_b,r_a,r_b \in \Z$ sowie $0 \leq r_a \lt m$ und $0 \leq r_b \lt m$):
Für die Differenz $a-b$ gilt folglich:
Erklärungen zu den Schritten | |
---|---|
(1) |
|
(2) |
|
(3) |
|