Group homomorphism (source code)

= Group homomorphism
{wiki=Group_homomorphism}

A group homomorphism is a function between two groups that preserves the group structure.