Quotient ring (source code)

= Quotient ring
{wiki=Quotient_ring}

In abstract algebra, a **quotient ring** (or factor ring) is a construction that allows you to create a new ring from a given ring by partitioning it into cosets of a subring. More formally, let \\( R \\) be a ring and \\( I \\) be a two-sided ideal of \\( R \\).