# Mathematics | Rings, Integral domains and Fields

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

Don’t stop now and take your learning to the next level. Learn all the important concepts of Data Structures and Algorithms with the help of the most trusted course: **DSA Self Paced**. Become industry ready at a student-friendly price.

## Recommended Posts:

- Definite Integral | Mathematics
- How to Access Interface Fields in Golang?
- Scala | Controlling visibility of constructor fields
- Sort array of objects by object fields in PHP
- strings.Fields() Function in Golang With Examples
- How to detect the duplication of values of input fields ?
- How to add input fields dynamically on button click in AngularJS ?
- How to compare Structs with the Different Values Assigned to Data Fields in Golang?
- Difference between private keyword and private fields in TypeScript
- Mathematics | Generalized PnC Set 1
- Mathematics | Generalized PnC Set 2
- Mathematics | Probability
- Mathematics | Combinatorics Basics
- Mathematics | PnC and Binomial Coefficients
- Mathematics | Power Set and its Properties
- Mathematics | Indefinite Integrals
- Mathematics | Rolle's Mean Value Theorem
- Mathematics | Conditional Probability
- Mathematics | Law of total probability
- Mathematics | Introduction of Set theory

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.