Category:Definitions/Division Rings

This category contains definitions related to Division Rings.
Related results can be found in Category:Division Rings.

A division ring is a ring with unity $\struct {R, +, \circ}$ with one of the following equivalent properties:

$\forall x \in R_{\ne 0_R}: \exists! x^{-1} \in R_{\ne 0_R}: x^{-1} \circ x = x \circ x^{-1} = 1_R$

where $R^*$ denotes the set of elements of $R$ without the ring zero $0_R$:

$R_{\ne 0_R} = R \setminus \set {0_R}$

That is, every non-zero element of $R$ has a (unique) non-zero product inverse.

Every non-zero element of $R$ is a unit.

Subcategories

This category has only the following subcategory.

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