Un homomorphismo[1] f {\displaystyle f} de un magma ( M ; ∗ ) {\displaystyle (M;\ast )} a un magma ( N ; ⋄ ) {\displaystyle (N;\diamond )} es un function f : M → N {\displaystyle f:M\rightarrow N} pro le qual es ver
∀ a , b ∈ M f ( a ∗ b ) = f ( a ) ⋄ f ( b ) {\displaystyle \forall a,b\in M\;\;f(a\ast b)=f(a)\,\diamond f(b)} .
M {\displaystyle M} es homomorphe a N {\displaystyle N} si e solmente si existe un homomorphismo de M {\displaystyle M} a N {\displaystyle N} .
