7.2 Modulare Arithmetik und Primzahlen
Wir wollen hier das Argument mit der Matrix vollen Ranges
aus dem vorherigen Kapitel in seiner Gesamtheit ausführen.
Zur Erinnerung: wir haben zwei verschiedene Elemente
genau eine Lösung hat. In einem ersten Schritt bilden wir die Differenz der Gleichungen:
Dies ist eine Gleichung in einer Unbekannten:
eine Gleichung in einer Unbekannten. Wir werden nun zeigen, dass
Wären
Lemma 7.2.1
Sei
Beweis.
Wir probieren es einfach mal aus. Wir nehmen
Ja, die 5 kommt genau einmal vor, und somit hat die Gleichung
Nehmen wir an,
also (a_1 - a_2) s \equiv_p 0. Setze
Dies kann nicht geschehen, da
Der letzte ist vielleicht nicht ganz offensichtlich. Beweisen wir ihn.
Lemma 7.2.2
(Lemma von Euklid).
Sei
Daraus folgt per Induktion die allgemeinere Aussage:
wenn
Wir haben nun zwei Primfaktorzerlegungen von
Wegen der Eindeutigkeit der Primfaktorzerlegung müssen (
Für diesen Beweis haben wir die Eindeutigkeit der Primfaktorzerlegung benötigt. Beweisen wir die doch mal.
Lemma 7.2.3
Eine
natürliche Zahl
von Primzahlen schreiben.
Beweis.
Nehmen wir zum Zwecke des Widerspruchs an, dem sei nicht so, und es gäbe tatsächlich
zwei verschiedene Primfaktorzerlegungen von
Insbesondere erhalten wir die Gleichung
Ohne Beschränkung der Allgemeinheit können wir annehmen, dass kein
Nun haben wir uns aber im Kreis gedreht. Lemma 7.2.2 haben wir mit Hinweis auf die Eindeutigkeit der Primfaktorzerlegung bewiesen; letztere wiederum mithilfe von Lemma 7.2.2. So geht das nicht. Nein, wir müssen Lemma 7.2.2 beweisen, ohne die Eindeutigkeit der Primfaktorzerlegung bereits anzunehmen.
Für einen anständigen Beweis brauchen wir folgendes Lemma:
Lemma 7.2.4
(Lemma von Bézout). Seien
Beweis.
Da
und wir können
Am Besten sieht man es an einem konkreten Beispiel:
Beweis von Lemma 7.2.2.
Wir zeigen: wenn
Wir multiplizieren beide Seiten mit
Nun sehen wir:
Wir haben nun Lemma 7.2.2 bewiesen, ohne die Eindeutigkeit der Primfaktorzerlegung zu verwenden. Letztere ist, wie wir ja oben im "fehlerhaften Beweis" gesehen haben, eine Konsequenz aus dem Lemma. Insofern haben wir nun auch bewiesen:
Theorem 7.2.5 (Fundamentalsatz der Arithmetik)