Äquivalenzrelation/Modulo 6/Aufgabe/Lösung

Es ist ${}6$ ein Teiler von

${}0=x-x\,,$

daher ist ${}x\sim x$, was die Reflexivität bedeutet. Sei ${}x\sim y$. Dies bedeutet, dass ${}6$ ein Teiler von ${}x-y$ ist, was wiederum bedeutet, dass

${}x-y=6\cdot c\,$

mit einem gewissen ${}c\in \mathbb {Z}$ ist. Durch Multiplikation mit ${}-1$ erhält man

${}y-x=-(x-y)=6\cdot (-c)\,.$

Also ist ${}6$ auch ein Teiler von ${}y-x$ und somit ist ${}y\sim x$, was insgesamt die Symmetrie bedeutet. Zum Nachweis der Transitivität seien schließlich ${}x\sim y$ und ${}y\sim z$. Somit ist

${}x-y=6c\,$

und

${}y-z=6d\,$

mit gewissen ${}c,d\in \mathbb {Z}$. Insgesamt ergibt sich

${}x-z=(x-y)+(y-z)=6c+6d=6(c+d)\,,$

sodass auch ${}x-z$ ein Vielfaches von ${}6$ ist. Also ist

${}x\sim z$.

Zur gelösten Aufgabe