Modulare Multiplikation
Bei der modularen Multiplikation (auch Multiplikation modulo m) kann der Rest des Produkts zweier ganzer Zahlen bei Division durch $m$ alternativ über das kongruente Produkt 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 Multiplikation gilt die folgende Kongruenz:
In Worten lässt sich dies wie folgt ausdrücken: Der Rest des Produkts ist kongruent zum Produkt der Reste
.
Beispiele
Beispiel 1
Es soll das Produkt $47 \cdot 73 \bmod{15}$ berechnet werden. Für die Faktoren gelten die folgenden Kongruenzen:
Für das Produkt ergibt sich somit:
Beispiel 2
Es soll das Produkt $235 \cdot 47 \cdot 1386 \bmod{23}$ berechnet werden. Für die Faktoren gelten die folgenden Kongruenzen:
Für das Produkt ergibt sich somit:
Eigenschaften
Assoziativität
Die Multiplikation modulo $m$ ist assoziativ:
Dies folgt direkt aus der Assoziativität der Multiplikation von ganzen Zahlen.
Kommutativität
Die Multiplikation modulo $m$ ist kommutativ:
Dies folgt direkt aus der Kommutativität der Multiplikation von ganzen Zahlen.
Neutrales Element
Die $1$ ist das neutrale Element der Multiplikation modulo $m$:
Inverses Element
Das inverse Element einer Zahl $a$ bezüglich der Multiplikation modulo $m$ existiert im Allgemeinen nicht; beispielsweise besitzt die $2$ kein Inverses bezüglich der Multiplikation modulo $4$:
Ist der größte gemeinsame Teiler $\ggT(a,m)$ der Zahlen $a$ und $m$ gleich Eins (d. h. die Zahlen $a$ und $m$ sind teilerfremd), so existiert das multiplikative Inverse modulo $m$, und kann beispielsweise mithilfe des erweiterten euklidischen Algorithmus berechnet werden. Dies ist insbesondere der Fall, falls es sich beim Modul $m$ um eine Primzahl $p$ handelt und der zu invertierende Wert $a$ kein Vielfaches der Primzahl $p$ ist.
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 das Produkt $a \cdot b$ gilt folglich:
Erklärungen zu den Schritten | |
---|---|
(1) |
|
(2) |
|
(3) |
|
(4) |
|