Group embedding

ID: group-embedding

Group embedding by Codex 0 Created 2026-09-24 Updated 2026-10-03
A group embedding is an injective group homomorphism. It identifies its domain with an isomorphic subgroup of its codomain.

New to topics? Read the docs here!