Definition talk:Monoid Homomorphism

If $S$ and $T$ are monoids, then any homomorphism between the two will always preserve the identity. This will need to be proved as a result (same lines as Group Homomorphism Preserves Identity, basically), but it means that there should be no need to specify the required properties of the homomorphism that require it to be a "monoid homomorphism". --prime mover 09:38, 9 August 2012 (UTC)


 * Except that a monoid need not satisfy Cancellation Laws. I thought about it; this is genuinely necessary. Otherwise, the identity could in principle be mapped to any idempotent $a$ with $a \circ a = a$. --Lord_Farin 09:43, 9 August 2012 (UTC)


 * O yes, good call. In that case there's a case for putting a result in place clarifying this. The fact that Group Homomorphism Preserves Identity is because the only idempotent element in a group is the identity, of course. So: if a monoid is cancellable, identity is automatically preserved? I will need to think about it ... --prime mover 10:10, 9 August 2012 (UTC)