Kernel of a finite group homomorphism
For a finite group homomorphism f:G→Q, the full preimage of the target identity is a normal subgroup of G, and nonempty fibers are its cosets.
atlas-finite-group-homomorphism-kernel · 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
For a finite group homomorphism f:G→Q, the full preimage of the target identity is a normal subgroup of G, and nonempty fibers are its cosets.
atlas-finite-group-homomorphism-kernel · canonical_mko