Finite quotient group
Cosets of a normal subgroup N form a finite quotient group, with (gN)(hN)=(g*h)N independent of representatives.
atlas-finite-quotient-group · canonical_mko
Finite quotient group
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