logo

Rings in Abstract Algebra 📂Abstract Algebra

Rings in Abstract Algebra

Definition 1

A set RR satisfying the following rules for two binary operations, addition++ and multiplication\cdot, is defined as a Ring.


When aa, bb, cc are elements of RR,

  1. Commutative law holds for addition. a+b=b+aa+b=b+a
  2. Associative law holds for addition. (a+b)+c=a+(b+c)(a+b)+c=a+(b+c)
  3. There exists an identity element for addition. a 0  s.t a+0=a\forall a \ \exists 0\ \ \mathrm{s.t} \ a+0=a
  4. There exists an additive inverse for every element. a a  s.t a+(a)=0\forall a \ \exists -a\ \ \mathrm{s.t}\ a+(-a)=0
  5. Associative law holds for multiplication. (ab)c=a(bc)(ab)c=a(bc)
  6. Distributive law holds for addition and multiplication. a(b+c)=ab+ac and (b+c)a=ba+caa(b+c)=ab+ac\ \mathrm{and} \ (b+c)a=ba+ca

Description

In summary, a set RR is called a ring when it is an Abelian group under addition and a semigroup under multiplication, and the distributive law is applicable for both operations.

Specifically, if the commutative law also holds for multiplication, it is called a commutative ring or Abelian ring. Moreover, according to the definition of a ring, there’s no need for the existence of an identity or an inverse for multiplication. Even if an identity exists, an inverse is not necessary. A set is considered a ring if it satisfies the six conditions mentioned above.

When dealing with groups, we denote the identity element for an operation as ee. Since there are two operations in a ring, different symbols are used to easily identify the identity for each operation. The identity for addition is denoted as 00 and called the identity. If an identity for multiplication exists, it is denoted as 11 and called unity. An element aa with an existing multiplicative inverse in the ring RR is referred to as a unit.

Similar to groups, the existence of a multiplicative identity in a ring, if it exists, is unique. Likewise, if an element’s inverse exists, it is also unique. The proof of this is identical to that used for groups, so it will not be reiterated here. Please refer to this link for more details.

Example

Consider the set of integers Z\mathbb{Z}. It satisfies the six conditions mentioned, making it a ring under addition and multiplication. It is also a commutative ring since the commutative law is satisfied for multiplication. The unity 11 exists, and its element is the integer 1, with units being 1 and -1 (each having 1 and -1 as their inverses, respectively).

Note

In a ring, the existence of a multiplicative identity and inverse is not ’necessary’. Hence, one cannot indiscriminately cancel like in a group. What this means is when a, b, ca,\ b,\ c is an element of the ring RR, just because ab=acab=ac, one cannot hastily conclude that b=cb=c. This is because the inverse for aa does not necessarily exist.

Likewise, a2=aa^2=a does not warrant hastily drawing the conclusions that a=0a=0 or a=1a=1. This is an important consideration when dealing with rings.


  1. Fraleigh. (2003). A first course in abstract algebra(7th Edition): p167. ↩︎