Finite normal subgroup
A subgroup H of a finite group G is normal when gHg^(-1)=H for every g, equivalently when each left coset equals the corresponding right coset.
atlas-finite-normal-subgroup · canonical_mko
Finite normal subgroup
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