Source: /cirosantilli/ring-mathematics

= Ring
{disambiguate=mathematics}
{wiki}

A <Ring (mathematics)> can be seen as a generalization of a <field (mathematics)> where:
* multiplication is not necessarily <commutative>. If this is satisfied, we can call it a <commutative ring>.
* multiplication may not have <inverse elements>. If this is satisfied, we can call it a <division ring>.

Addition however has to be <commutative> and have inverses, i.e. it is an <Abelian group>.

The simplest example of a ring which is not a full fledged <field (mathematics)> and with <commutative> multiplication are the <integers>. Notably, no inverses exist except for the identity itself and -1. E.g. the inverse of 2 would be 1/2 which is not in the <set (mathematics)>.

A <polynomial ring> is another example with the same properties as the <integers>.

The simplest non-commutative ring that is not a <field (mathematics)> is the set of all 2x2 <matrices> of <real numbers>:
* we know that 2x2 matrix multiplication is non-commutative in general
* some 2x2 matrices have a multiplicative inverse, but others don't
Note that <GL(n)> is not a ring because you can by addition reach the zero matrix.