First isomorphism theorem for finite groups
A finite group homomorphism induces an isomorphism from its kernel quotient to its image, not automatically to the entire codomain.
atlas-first-isomorphism-theorem-finite-groups · 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 finite group homomorphism induces an isomorphism from its kernel quotient to its image, not automatically to the entire codomain.
atlas-first-isomorphism-theorem-finite-groups · canonical_mko