Freiman s-homomorphism (source code)

= Freiman s-homomorphism
{c}
{title2=Freiman $s$-homomorphism}

A map $\phi:A\to B$ is a Freiman $s$-homomorphism when
$$
a_1+\cdots+a_s=a'_1+\cdots+a'_s
$$
implies the corresponding equality between the $\phi(a_i)$. It is a Freiman $s$-isomorphism when it is bijective and the converse implication also holds.