Definition:Group Epimorphism

Definition
Let $\struct {G, \circ}$ and $\struct {H, *}$ be groups.

Let $\phi: G \to H$ be a (group) homomorphism.

Then $\phi$ is a group epimorphism $\phi$ is a surjection.

Also see

 * Definition:Epimorphism (Abstract Algebra)