Surjective group homomorphism (source code)

= Surjective group homomorphism

A group homomorphism $f:G\to H$ is surjective when every element of $H$ is $f(g)$ for some $g\in G$.