Skip to main content

Section 1.1 Definition

Definition 1.1.1. (Ring with unity).

A ring \(R\) with unity is a nonempty set with two binary operations addition, denoted by ‘\(+\)’ and multiplication, denoted by ‘\(\cdot\)’ satisfying following conditions.
  1. [Group under addition].
    \((R,+)\) is an abelian group. We denote by \(0\) the identity of this group.
  2. [Associativity under multiplication].
    For any \(r,s,t\in R\) we have \(r\cdot(s\cdot t)=(r\cdot s)\cdot t\text{.}\)
  3. [Existence of Unity].
    There is an element \(1\in R\text{,}\) called the unity of \(R\), such that for every \(r\in R\) we have
    \begin{equation*} r\cdot 1=1\cdot r=r. \end{equation*}
  4. [Distributive Laws].
    For any \(r,s,t\in R\) we have
    \begin{equation*} r\cdot(s+t)=r\cdot s+r\cdot t\quad\text{and}\quad(s+t)\cdot r=s\cdot r+t\cdot r. \end{equation*}

Observation 1.1.2.

In Definition 1.1.1(1) assume that \((R,+)\) is a group, not necessarily abelian. If we assume all other axioms of Definition 1.1.1 then we get that \((R,+)\) is abelian. Indeed for any \(r,s\in R\text{,}\) using distributive laws, we have the following.
\begin{align*} (1+1)(r+s)\amp=1\cdot(r+s)+1\cdot(r+s)\\ \amp=r+s+r+s \end{align*}
\begin{align*} (1+1)(r+s)\amp=(1+1)\cdot r+(1+1)\cdot s\\ \amp=r+r+s+s \end{align*}
Therefore, \(r+s+r+s=r+r+s+s\text{.}\) Since \((R,+)\) is a group we have \(r+s=s+r\text{.}\)

Remark 1.1.3.

There is a concept of a ring without unity, see Section 2.17 of ‘Basic Algebra-I’ by N. Jacobson. Rings without unity are called, following Jacobson, rngs (word ‘ring’ without ‘i’).

Convention 1.1.4.

In this course we always consider rings with unity.

Remark 1.1.5.

A nonempty set with a binary operation satisfying conditions \(2\) and \(3\) above is called a monoid. Thus a ring with unity is a monoid under multiplication and an abelian group under addition. The group structure and monoid structure of a ring are tied together by distributive laws.
We give examples of rings in the next sections. We first deduce some properties of rings with unity.

Convention 1.1.7.

  1. When the multiplication operation is clear from the context we often write \(rs\) instead of \(r\cdot s\text{.}\)
  2. For \(r\in R\) the additive inverse of \(r\) is denoted by \(-r\text{.}\) The subtraction of two elements \(r,s\) of a ring is written as \(r-s\text{,}\) where
    \begin{equation*} r-s=r+(-s). \end{equation*}