Quotient ring of a finite ring
Additive cosets of a proper two-sided ideal in a finite ring form a quotient ring when its operations are independent of representative choice.
atlas-finite-quotient-ring · 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
Additive cosets of a proper two-sided ideal in a finite ring form a quotient ring when its operations are independent of representative choice.
atlas-finite-quotient-ring · canonical_mko