Teilbarkeitstheorie (Z)/KgV definiert Monoidstruktur/Aufgabe

Zeige, dass die Verknüpfung

$\mathbb {Z} \times \mathbb {Z} \longrightarrow \mathbb {Z} ,\,(a,b)\longmapsto \operatorname {kgV} \,(a,b),$

(wobei man das ${}\operatorname {kgV} \,\geq 0$ wählt), ein Monoid definiert.

Eine Lösung erstellen