TU Wien:Algebra und Diskrete Mathematik VU (diverse)/Übungen 2025W/Beispiel 63

Beweisen Sie die folgenden Behauptungen oder widerlegen Sie sie durch ein konkretes Gegenbeispiel:

a) Falls $ac\equiv bcmodm,c≠0$ und $c|m$, dann gilt auch $a\equiv bmodm$.

b) Falls $a\equiv bmodm$, dann gilt auch $a^2\equiv b^{2}modm$.

c) Falls $a^2\equiv b^{2}modm$, dann gilt auch $a\equiv bmodm$.

Dieses Beispiel ist als solved markiert. Ist dies falsch oder ungenau? Aktualisiere den Lösungsstatus (Details: Vorlage:Beispiel)

Lösungsvorschlag

a)

sei k = m/c

ac ≡ bc mod m

<=> ac - bc ≡ 0 mod m

<=> ac - bc ≡ 0 mod kc | : c

<=> a - b ≡ 0 mod k

<=> a - b ≡ 0 mod m/c

b)

a ≡ b mod m

<=> a - b ≡ 0 mod m

<=> (a - b)*(a + b) ≡ 0 mod m

<=> a² - b² ≡ 0 mod m

<=> a² ≡ b² mod m

c)

Gegenbeispiel:

Wenn a² ≡ b² mod m gilt, dann könnte auch a ≡ -b mod m gelten.