[mat.discreta]omomorfismo suriettivo,monoide

[akyra]

ciao a tutti! volevo porvi rapidamente un'esercizio che mi sta lasciando un po' perplesso. L'esercizio non mi sembra difficile,ma non riesco a dimostrarlo con assoluta certezza, per cui desideravo un consiglio. Esso cita:

Sia f:M->M' un omomorfismo di monoidi. Dimostrare che se M è un monoide ciclico, allora anche M' è un monoide ciclico

grazie a tutti per eventuali contributi.
ciao!