Subgroups and group homomorphisms
A subgroup is a group under the inherited operation; a group homomorphism preserves multiplication, and its kernel and image follow from the complete map table.
atlas-subgroup-homomorphism · canonical_mko
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data
A subgroup is a group under the inherited operation; a group homomorphism preserves multiplication, and its kernel and image follow from the complete map table.
atlas-subgroup-homomorphism · canonical_mko