## [Modulare Inversion](/de/node/61986) Definition Das Verfahren, ein ganzes x zu finden, so dass a·x ≡ 1 (mod m), falls ein solches x existiert; entspricht dem Finden des multiplikativen Inversen von a modulo m, typischerweise durch den erweiterten euklidischen Algorithmus, wenn gcd(a,m)=1. ## Prinzip Prinzip Weil a genau dann ein Inverses modulo m hat, wenn gcd(a,m)=1, berechnet man gcd(a,m) und die Bézout‑Koeffizienten; der Koeffizient zu a, modulo m genommen, liefert das Inverse. ## Demonstration Demonstration Inverse von 3 modulo 11 finden. Da gcd(3,11)=1 und 3·4 = 12 ≡ 1 (mod 11), ist das Inverse 4. Der erweiterte euklidische Algorithmus liefert ebenfalls die Koeffizienten, aus denen 4 hervorgeht. ## Fehlanwendung Fehlanwendung Versuch, ein Inverses zu berechnen, wenn gcd(a,m) ≠ 1 (z. B. Inverses von 6 modulo 9), oder Verwendung von Fließkommaarithmetik, die exakte Teilbarkeitsinformationen vernichtet. ## Konsequenz Konsequenz Ein korrektes modulares Inverses ermöglicht Division in modularer Arithmetik, Lösen linearer Kongruenzen und ist Grundlage kryptografischer Operationen wie Signaturerzeugung und -prüfung. ## Umkehrung Umkehrung Die Umkehrung fragt nach Fällen ohne Inverses: wenn gcd(a,m) > 1, kann es mehrere Lösungen für a·x ≡ b oder keine eindeutige Lösung geben; eine Inversion ist dann nicht möglich. ## Abgrenzung Abgrenzung Definiert nur in Ringen, in denen multiplikative Inverse existieren können; in Z/mZ existiert ein Inverses genau dann, wenn a teilerfremd zu m ist. Bei nicht‑kommutativen Ringen können Links‑ und Rechtsinversen unterschiedlich sein. ## Semantische Spannung Semantische Spannung Steht nahe am Begriff des multiplikativen Inversen in einem Körper; die Spannung entsteht, weil Z/mZ nur bei primem m ein Körper ist, sodass ein 'modulares Inverses' bei zusammengesetzten Moduli die Bedingung der Teilerfremdheit erfordert. ## Synthese Synthese Modulare Inversion ist die Anwendung der gcd‑Prüfung und der Gewinnung der Bézout‑Koeffizienten, um ein ganzzahliges multiplikatives Inverses von a modulo m zu erhalten, sofern die Zahlen teilerfremd sind.