Prerequisite – Mathematics | Algebraic Structure

**Ring –** Let addition (+) and Multiplication (.) be two binary operations defined on a non empty set R. Then R is said to form a ring w.r.t addition (+) and multiplication (.) if the following conditions are satisfied:

- (R, +) is an abelian group ( i.e commutative group)
- (R, .) is a semigroup
- For any three elements a, b, c R the left distributive law a.(b+c) =a.b + a.c and the right distributive property (b + c).a =b.a + c.a holds.

Therefore a non- empty set R is a ring w.r.t to binary operations + and . if the following conditions are satisfied.

- For all a, b R, a+b R,
- For all a, b, c R a+(b+c)=(a+b)+c,
- There exists an element in R, denoted by 0 such that a+0=a for all a R
- For every a R there exists an y R such that a+y=0. y is usually denoted by -a
- a+b=b+a for all a, b R.
- a.b R for all a.b R.
- a.(b.c)=(a.b).c for all a, b R
- For any three elements a, b, c R a.(b+c) =a.b + a.c and (b + c).a =b.a + c.a. And the ring is denoted by (R, +, .).

R is said to be a commutative ring if the multiplication is commutative.

**Some Examples –**

- (, + ) is a commutative group .(, .) is a semigroup. The disrtributive law also holds. So, ((, +, .) is a ring.
**Ring of Integers modulo n:**For a n let be the classes of residues of integers modulo n. i.e ={).

(, +) is a commutative group ere + is addition(mod n).

(, .) is a semi group here . denotes multiplication (mod n).

Also the distriutive laws hold. So ((, +, .) is a ring.

Many other examples also can be given on rings like (, +, .), (, +, .) and so on.

Before discussing further on rings, we define ** Divisor of Zero in A ring**and the concept of **unit**.

**Divisor of Zero in A ring –**

In a ring R a non-zero element is said to be divisor of zero if there exists a non-zero element b in R such that a.b=0 or a non-zero element c in R such that c.a=0 In the first case a is said to be a left divisor of zero and in the later case a is said to be a right divisor of zero . Obviously if R is a commutative ring then if a is a left divisor of zero then a is a right divisor of zero also .

**Example –** In the ring (, +, .) are divisors of zero since

and so on .

On the other hand the rings (, +, .), (, +, .), (, +, .) contains no divisor of zero .

**Units –**

In a non trivial ring R( Ring that contains at least to elements) with unity an element a in R is said to be an unit if there exists an element b in R such that a.b=b.a=I, I being the unity in R. b is said to be multiplicative inverse of a.

Some Important results related to Ring:

- If R is a non-trivial ring(ring containing at least two elements ) withunity I then I 0.
- If I be a multiplicative identity in a ring R then I is unique .
- If a be a unit in a ring R then its multiplicative inverse is unique .
- In a non trivial ring R the zero element has no multiplicative inverse .

Now we introduce a new concept Integral Domain.

**Integral Domain –** A non -trivial ring(ring containing at least two elements) with unity is said to be an integral domain if it is commutative and contains no divisor of zero ..

**Examples –**

The rings (, +, .), (, +, .), (, +, .) are integral domains.

The ring (2, +, .) is a commutative ring but it neither contains unity nor divisors of zero. So it is not an integral domain.

Next we will go to Field .

**Field –** A non-trivial ring R wit unity is a field if it is commutative and each non-zero element of R is a unit . Therefore a non-empty set F forms a field .r.t two binary operations + and . if

- For all a, b F, a+b F,
- For all a, b, c F a+(b+c)=(a+b)+c,
- There exists an element in F, denoted by 0 such that a+0=a for all a F
- For every a R there exists an y R such that a+y=0. y is usually denoted by (-a)
- a+b=b+a for all a, b F.
- a.b F for all a.b F.
- a.(b.c)=(a.b).c for all a, b F
- There exists an element I in F, called the identity element such that a.I=a for all a in F
- For each non-zero element a in F there exists an element, denoted by in F such that =I.
- a.b =b.a for all a, b in F .
- a.(b+c) =a.b + a.c for all a, b, c in F

**Examples –** The rings (, +, .), (, + . .) are familiar examples of fields.

Some important results:

- A field is an integral domain.
- A finite integral domain is a field.
- A non trivial finite commutative ring containing no divisor of zero is an integral domain

Attention reader! Don’t stop learning now. Get hold of all the important CS Theory concepts for SDE interviews with the CS Theory Course at a student-friendly price and become industry ready.

## Recommended Posts:

- Definite Integral | Mathematics
- Difference between private keyword and private fields in TypeScript
- Sort array of objects by object fields in PHP
- Scala | Controlling visibility of constructor fields
- strings.Fields() Function in Golang With Examples
- How to add input fields dynamically on button click in AngularJS ?
- How to Access Interface Fields in Golang?
- How to compare Structs with the Different Values Assigned to Data Fields in Golang?
- How to detect the duplication of values of input fields ?
- Mathematics | Predicates and Quantifiers | Set 1
- Mathematics | Mean, Variance and Standard Deviation
- Mathematics | Sum of squares of even and odd natural numbers
- Mathematics | Eigen Values and Eigen Vectors
- Mathematics | Introduction and types of Relations
- Mathematics | Representations of Matrices and Graphs in Relations
- Mathematics | Covariance and Correlation
- Mathematics | Predicates and Quantifiers | Set 2
- Mathematics | Closure of Relations and Equivalence Relations
- Mathematics | Partial Orders and Lattices
- Mathematics | Graph Isomorphisms and Connectivity

If you like GeeksforGeeks and would like to contribute, you can also write an article using contribute.geeksforgeeks.org or mail your article to contribute@geeksforgeeks.org. See your article appearing on the GeeksforGeeks main page and help other Geeks.

Please Improve this article if you find anything incorrect by clicking on the "Improve Article" button below.