Ring Theory/Integral domains and Fields

Definition 1: A non zero element 'a' of a commutative ring R is called a zero divisor if there exists some non zero element b in R such that ab=0.

For example, in the ring of 2-by-2 matrices, the matrix
 * $$\begin{pmatrix}1&1\\

2&2\end{pmatrix}$$ is a zero divisor because
 * $$\begin{pmatrix}1&1\\

2&2\end{pmatrix}\cdot\begin{pmatrix}1&1\\ -1&-1\end{pmatrix}=\begin{pmatrix}-2&1\\ -2&1\end{pmatrix}\cdot\begin{pmatrix}1&1\\ 2&2\end{pmatrix}=\begin{pmatrix}0&0\\ 0&0\end{pmatrix}.$$

Definition 2: A commutative ring is called an integral domain, if it has no zero divisors. Equivalently, a commutative ring is called an integral domain if $$ab=0\Rightarrow a=0\ or\ b=0$$ or in other words $$a\ne0,b\ne 0\Rightarrow ab\ne 0\forall a,b\in R$$.

For example $$\mathbb{Z}, \mathbb{Q}, \mathbb{R}, \mathbb{C}$$ are all integral domains. $$\mathbb{Z}_6$$ is not an integral domain (2.3=0 here) but $$\mathbb{Z}_5$$ is.

Definition 3: A ring (R,+,.) is called a division ring if it forms a group with respect to the operation '.'. If that group is abelian then the ring is called a field. We will emphasize the properties of a field again:

A field F is a set together with two operations, usually called addition and multiplication, and denoted by + and ·, respectively, such that the following axioms hold:

For all a, b in F, both a + b and a · b are in F (or more formally, + and · are binary operations on F).
 * Closure of F under addition and multiplication

For all a, b, and c in F, the following equalities hold: a + (b + c) = (a + b) + c and a · (b · c) = (a · b) · c.
 * Associativity of addition and multiplication

For all a and b in F, the following equalities hold: a + b = b + a and a · b = b · a.
 * Commutativity of addition and multiplication

There exists an element of F, called the additive identity element and denoted by 0, such that for all a in F, a + 0 = a. Likewise, there is an element, called the multiplicative identity element and denoted by 1, such that for all a in F, a · 1 = a. For technical reasons, the additive identity and the multiplicative identity are required to be distinct.
 * Additive and multiplicative identity

For every a in F, there exists an element −a in F, such that a + (−a) = 0. Similarly, for any a in F other than 0, there exists an element a−1 in F, such that a · a−1 = 1. (The elements a + (−b) and a · b−1 are also denoted a − b and a/b, respectively.) In other words, subtraction and division operations exist.
 * Additive and multiplicative inverses

For all a, b and c in F, the following equality holds: a · (b + c) = (a · b) + (a · c).
 * Distributivity of multiplication over addition

Clearly every field is a division ring. The easiest examples of fields are $$\mathbb{Q},\mathbb{R}$$ and $$\mathbb{C}$$. A division ring which is not a field is the field of quaternions, described as follows:

Consider $$\mathbb{R}^4$$. Let the symbol 1 stand for (1,0,0,0); i for (0,1,0,0); j for (0,0,1,0) and k for (0,0,0,1). Clearly every element of $$\mathbb{R}^4$$ can be represented as $$\alpha_0(1)+\alpha_1(i)+\alpha_2(j)+\alpha_3(k)$$ where $$\alpha_i$$ is some real number. We endow addition and multiplication on $$\mathbb{R}^4$$ according to the following rules: Addition of two elements $$\alpha_0(1)+\alpha_1(i)+\alpha_2(j)+\alpha_3(k)$$ and $$\beta_0(1)+\beta_1(i)+\beta_2(j)+\beta_3(k)$$ is simply $$(\alpha_0+\beta_0)(1)+(\alpha_1+\beta_1)(i)+(\alpha_2+\beta_2)(j)+(\alpha_3+\beta_3)(k)$$. For multiplication note that if we impose the following rules:


 * $$i^2 = j^2 = k^2 = i j k = -1,$$

then these determine all the possible products of i, j, and k.

For example, since
 * $$-1 = i j k,$$

right-multiplying both sides by k gives

\begin{align} -k & = i j k k, \\ -k & = i j (-1), \\ k & = i j. \end{align} $$ All the other possible products can be determined by similar methods, and this gives the following table:
 * $$\begin{alignat}{2}

ij & = k, & \qquad ji & = -k, \\ jk & = i, & kj & = -i, \\ ki & = j, & ik & = -j. \end{alignat}$$

For two elements $$\alpha_0(1)+\alpha_1(i)+\alpha_2(j)+\alpha_3(k)$$ and $$\beta_0(1)+\beta_1(i)+\beta_2(j)+\beta_3(k)$$, their product is determined by the products of the i,j,k's according to the above rules and the distributive law. This gives the following expression:

$$\alpha_0\beta_0-\alpha_1\beta_1-\alpha_2\beta_2-\alpha_3\beta_3)(1)+(\alpha_0\beta_1+\alpha_1\beta_0+\alpha_2\beta_3-\alpha_3\beta_2)(i)+(\alpha_0\beta_2-\alpha_1\beta_3+\alpha_2\beta_0+\alpha_3\beta_1)(j)+(\alpha_0\beta_3-\alpha_1\beta_2-\alpha_2\beta_1+\alpha_3\beta_0)(k)$$

It is left to the reader to verify that the thus obtained algebraic structure is indeed a division ring.

Basic Theorems on Integral domains and fields
Theorem 1.11: Let R be a commutative ring. Then R is an integral domain if and only if $$ab=ac\Rightarrow b=c$$ where $$a,b,c\in R, a\ne 0$$.

Proof: $$\Rightarrow$$: Clearly ab=ac implies a(b-c)=0. As a is non zero and R is an integral domain so b-c=0 or b=c.

$$\Leftarrow$$: Suppose that for some nonzero a we have ab=0. But then ab=a0 and by our hypothesis b=0.$$\Box$$.

Remark: Basically the above theorem means that integral domains are the rings where cancellation laws hold. In rings where cancellation laws do not hold we are bound to have some zero divisors.

Theorem 1.12: Every field is an integral domain.

Proof: Let R be any field. Let ab=ac, where $$a,b,c\in R$$ and $$a\ne 0$$. Then as $$a^{-1}$$ exists so multiplying it on both sides of ab=ac we have b=c, i.e. cancellation laws hold. By the previous theorem R is an integral domain.$$\Box$$

Remark: The converse of the above result may not be true as is evident from $$\mathbb{Z}$$.

Theorem 1.13: Every finite integral domain is a field.

Proof: Let R be a finite integral domain and let $$x\in R$$ where $$x\ne 0,1$$. It suffices to show that x is a unit. Now the list 1,x,x2,x3... can't go on forever as R is finite. Suppose, without losing generality that for some i<j, xi=xj. Then xi-xj=0 and since i<j, so xj-i is a legitimate member of R (in fact so is xj-i-1). We have xi(1-xj-i)=xi-xj=0. As x is non zero and R is an integral domain so xi is non zero. But then 1-xj-i=0 or xj-i=1. It follows that as xj-i-1x=1. Hence x is a unit with inverse xj-i-1.$$\Box$$ Corollary: The ring $$\frac{\mathbb{Z}}{p\mathbb{Z}}$$ is a field iff p is prime.

Proof: $$\Rightarrow$$: We will denote elements of $$\frac{\mathbb{Z}}{p\mathbb{Z}}$$ by numbers 0,1,...p-1. Now suppose p was composite and p=ab where 1<a,b<p. Now ab=0 in $$\frac{\mathbb{Z}}{p\mathbb{Z}}$$ although a,b are themselves nonzero. This contradicts the fact that $$\frac{\mathbb{Z}}{p\mathbb{Z}}$$ is an integral domain.

$$\Leftarrow$$ Suppose p is prime. It suffices to show that $$\frac{\mathbb{Z}}{p\mathbb{Z}}$$ is an integral domain. Let a,b be nonzero elements of $$\frac{\mathbb{Z}}{p\mathbb{Z}}$$ such that ab=0 there. But then p|ab and as p is prime so p|a or p|b. That's just another way of saying that a=0 or b=0 in $$\frac{\mathbb{Z}}{p\mathbb{Z}}$$ and so $$\frac{\mathbb{Z}}{p\mathbb{Z}}$$ is an integral domain.$$\Box$$

Theorem 1.14: Let R be a ring such that the equation ax=b has a solution for all $$a(\ne 0)\in R$$ and for all $$b\in R$$. Then R is a division ring.

Proof: We first show that R has no zero divisors followed by the fact that it has a unity. Let ab=0 where a,b are non zero. Now abx=0 for each x in R. Ler r be any element of R. Now by the hypothesis there exists an x such that bx=r. Using this x we see that ar=0 for any r in R. Now consider ax=a. Clearly there is a c such that ac=a. But ar=0 implies that ac=0=a. This contradicts the fact that a was chosen to be nonzero. So R has no zero divisors. Now let e be the solution of ax=a. Obviously e is nonzero. Then ae=a and a(e-e2)=ae-ae2=a-ae=0 and so e=e2. Then for any x (xe-x)e=xe-xe=0 and as e is nonzero so xe=x following which R has unity. (The fact that ex=x is similarly proved.)

Now if a is non zero, then ax=e has a solution a-1. Also (a-1a-e)a-1=a-1e-ea-1=0 and so as a-1 is non zero we have a-1a-e=0 or a-1a=e. Then aa-1=a-1a=e and so a is a unit. Similarly all non zero elements are units.$$\Box$$