Category:Quotient Rings

From ProofWiki
Jump to navigation Jump to search

This category contains results about Quotient Rings.


Let $\struct {R, +, \circ}$ be a ring.

Let $J$ be an ideal of $R$.


Let $R / J$ be the (left) coset space of $R$ modulo $J$ with respect to $+$.


Define an operation $+$ on $R / J$ by:

$\forall x, y: \paren {x + J} + \paren {y + J} := \paren {x + y} + J$

Also, define the operation $\circ$ on $R / J$ by:

$\forall x, y: \paren {x + J} \circ \paren {y + J} := \paren {x \circ y} + J$


The algebraic structure $\struct {R / J, +, \circ}$ is called the quotient ring of $R$ by $J$.

Subcategories

This category has only the following subcategory.

Pages in category "Quotient Rings"

The following 34 pages are in this category, out of 34 total.