Oh, ja, stimmt. Ich hatte gedacht, du müsstest zwei Abbildungen bestimmen. Also vergiss das mit den zwei Fällen einfach.
Wenn eine Zahl durch 2 und durch 3 teilbar ist, durch was ist sie dann noch teilbar? Wenn du das weißt, weißt du eigentlich schon alles, was du für deine Abbildungsvorschrift wissen musst.
Um zu testen, ob es ein neutrales Element gibt, machst du dir zunächst mal klar, was gelten muss:
Wenn es nun ein neutrales Element $$\chi_E(x)$$ in M gibt, so gilt:
$$\chi_E(x) \cdot \chi_A(x)=\chi_A(x)$$ für alle $$\chi_A(x)$$ in M.
Die Assoziativität gilt genau dann, wenn:
$$(\chi_A (x) \cdot \chi_B(x)) \cdot \chi_C(x)=\chi_A(x) \cdot (\chi_B(x) \cdot \chi_C(x))$$
Tipp:
$$\chi_A(x) \cdot \chi_B(x)$$
ist 1, wenn x ist Element A und B. Ansonten ist das Ergebnis 0.