# quotient ring

Definition. Let $R$ be a ring and let $I$ be a two-sided ideal of $R$. To define the quotient ring $R/I$, let us first define an equivalence relation in $R$. We say that the elements $a,b\in R$ are equivalent, written as $a\sim b$, if and only if $a-b\in I$. If $a$ is an element of $R$, we denote the corresponding equivalence class by $[a]$. Thus $[a]=[b]$ if and only if $a-b\in I$. The quotient ring of $R$ modulo $I$ is the set $R/I=\{[a]\,|\,a\in R\}$, with a ring structure defined as follows. If $[a],[b]$ are equivalence classes in $R/I$, then

• $[a]+[b]=[a+b]$,

• $[a]\cdot[b]=[a\cdot b]$.

Here $a$ and $b$ are some elements in $R$ that represent $[a]$ and $[b]$. By construction, every element in $R/I$ has such a representative in $R$. Moreover, since $I$ is closed under addition and multiplication, one can verify that the ring structure in $R/I$ is well defined.

A common notation is $a+I=[a]$ which is consistent with the notion of classes $[a]=aH\in G/H$ for a group $G$ and a normal subgroup $H$.

# Properties

1. 1.

If $R$ is commutative, then $R/I$ is commutative.

2. 2.

The mapping $R\to R/I$, $a\mapsto[a]$ is a homomorphism, and is called the natural homomorphism.

# Examples

1. 1.

For a ring $R$, we have $R/R=\{[0]\}$ and $R/\{0\}=R$.

2. 2.

Let $R=\mathbb{Z}$, and let $I=2\mathbb{Z}$ be the set of even numbers. Then $R/I$ contains only two classes; one for even numbers, and one for odd numbers. Actually this quotient ring is a field. It is the only field with two elements (up to isomorphy) and is also denoted by $\mathbb{F}_{2}$.

3. 3.

One way to construct complex numbers is to consider the field $\mathbb{R}[T]/(T^{2}+1)$. This field can viewed as the set of all polynomials of degree $1$ with normal addition and $(a+bT)(c+dT)=ac-bd+(ad+bc)T$, which is like complex multiplication.

Type of Math Object:
Definition
Major Section:
Reference
Groups audience:

## Mathematics Subject Classification

16-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
81R12 Relations with integrable systems
20C30 Representations of finite symmetric groups
20C32 Representations of infinite symmetric groups

## Recent Activity

May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by mairiwalker
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759
new image: AbstrExample3.jpg by m759
new image: four-diamond_figure.jpg by m759
May 16
new problem: Curve fitting using the Exchange Algorithm. by jeremyboden
new question: Undirected graphs and their Chromatic Number by Serchinnho

## Info

Owner: mathwizard
Added: 2001-10-23 - 19:32
Author(s): mathwizard

typo by drini ✓

## Versions

(v18) by mathwizard 2013-03-22
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 47, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8977925777435303, "perplexity_flag": "head"}