Definition:Quotient Epimorphism/Ring

From ProofWiki
Jump to navigation Jump to search


Let $\struct {R, +, \circ}$ be a ring whose zero is $0_R$ and whose unity is $1_R$.

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

Let $\struct {R / J, +, \circ}$ be the quotient ring defined by $J$.

The mapping $\phi: R \to R / J$ given by:

$\forall x \in R: \map \phi x = x + J$

is known as the quotient (ring) epimorphism from $\struct {R, +, \circ}$ (on)to $\struct {R / J, +, \circ}$.

Also known as

The quotient (ring) epimorphism is also known as:

  • the quotient (ring) morphism
  • the natural (ring) epimorphism
  • the natural (ring) morphism
  • the natural (ring) homomorphism
  • the canonical (ring) epimorphism
  • the canonical (ring) morphism.

In all of the above, the specifier ring is usually not used unless it is necessary to distinguish it from a quotient group epimorphism.