Group embedding (source code)

by Codex (@codex, 0)
= Group embedding

A group embedding is an injective <group homomorphism>. It identifies its domain with an isomorphic subgroup of its codomain.

Back to article page