Magma Homomorphism

Pub Apr 15, 2026 Up Jun 11, 2026

Definition 1. A magma homomorphism between two magmas $M$ and $N$ is a function $f : M \to N$ such that for all $a$, $b \in M$,

\[f(a b) = f(a) f(b).\]