im Rahmen des Besuchs zahlentheoretischer Vorlesungen an der Uni habe ich mich gefragt, ob sich das Lemma von Euklid ( \( p \mid ab \Leftrightarrow p \mid a \lor p \mid b, p \in \mathbb{P} \)) auch auf Primzahlpotenzen erweitern ließe, also dass gilt: \( p^z \mid ab \Leftrightarrow p^z \mid a \lor p^z \mid b\).
Wir haben den Beweis mithilfe des Lemmas von Bezout geführt, und mir scheint es so zu ein, als ob sich dafür einfach die Primzahlpotenz ebenfalls einsetzen ließe und dasselbe Ergebnis herauskommen würde. Ist das möglich?
Ich habe mir Folgendes gedacht:
Der ursprüngliche Beweis sieht wie folgt aus:
Die Aussage ist äquivalent zu: \( p \nmid a \Rightarrow p \mid b\). Da laut Voraussetzung gilt: \( p \mid ab \), können nach dem Lemma von Bezout zwei ganze Zahlen \( s \) und \( t \) gefunden werden, so dass gilt: \( sp + ta = 1\).
Mit \( b \) multipliziert und umgestellt ergibt das: \( p(sb) + (ab)t = b \). Laut Voraussetzung ist \( ab = cp \), also gilt: \( p(sb) + cpb = b \Leftrightarrow p(sb+cp) = b \). Und damit konnte gezeigt werden, dass \( p \mid b \Leftrightarrow b = xp, p \in \mathbb{Z} \).
Würde denn nun etwas dagegen sprechen, wenn für \( p \) \( p^z, z \in \mathbb{Z} \) eingesetzt werden würde?
Eine Hilfestellung würde mir sehr helfen!
