Auf einer Menge A seien zwei Äquivalenzrelationen \(\sim\) und \(\approx\)
gegeben. Dann heiBt \(\sim\) eine Vergröberung von \(\approx\), wenn für alle \(x,
y \in A\) mit \(x \approx y\) auch \(x \sim y\) gilt.
(a) Es sei \(\sim\) eine Vergröberung von \(\approx\). Geben Sie eine surjektive
Abbildung
$$
f: A / \approx \rightarrow A / \sim
$$
an.
(b) Für \(m, n \in \mathbb{N}\) sind durch
$$
x \sim y \Leftrightarrow m \mid(x-y)
$$
und
$$
x \approx y \Leftrightarrow n \mid(x-y)
$$
Äquivalenzrelationen auf \(\mathbb{Z}\) definiert.
Bestimmen Sie zu \(n \in \mathbb{N}\) die Menge aller \(m \in \mathbb{N}\), sodass
\(\sim\) eine Vergröberung von \(\approx\) ist.
(c) Geben Sie die Abbildung \(f\) aus Teil (a) für \(m=3\) und \(n=6\) explizit an,
indem Sie für sämtliche Elemente von \(\mathbb{Z} / \approx\) das Bild unter \(f\)
angeben.