< back to index

Ring

Definition

A ring $(R,\times,+)$ is a set equipped with two binary operations such that.

• $(R,+)$ is an abelian group.
• $\times$ is associative.
• There is a multiplicative identity $1 \in R$ s.t. $r \times 1 = r = 1 \times r \forall r \in R$.
• Multiplication is distributive over addition, i.e. $a\times(b+c)=a\times b + a \times c$ and $(a+b)\times c=a\times c + b \times c$ for all $a,b,c \in R$.

Element types

If $r, s \in R\setminus\{0\}$ s.t. $sr=0$ then we say $r,s$ are zero-divisors.

Types

If multiplication is commutative, we say R is commutative.

If R is commutative and has no zero-divisors, we say R is an integral domain.

If all ideals of $R$ are principal, we say R is a principal ideal domain.

Fields are Euclidean domains are principal ideal domains are unique factorisation domains are integral domains are commutative rings are rings.

Examples

$\mathbb{Z}, \mathbb{F}[t]$ are a Euclidean domains.

The set of linear transformations $T: V \to V$, and more generally the set of endomorphisms of a module, is a non-commutative ring.

all these pages adapted with probably insufficient credit from my university's lecture notes