MathGloss

A group homomorphismis a function $f: G\to H$ between groups $G$ and $H$ is a function that preserves the group operation; that is $f(gh)=f(g)f(g)$ for all $g,h \in G$.

A group isomorphism is a homomorphism that is also bijective.

Wikidata ID: Q868169