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
is a zero divisor because
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 or in other words .
For example are all integral domains. is not an integral domain (2.3=0 here) but 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:
- Closure of F under addition and multiplication
For all a, b in F, both a + b and a · b are in F (or more formally, + and · are binary operations on F).
- Associativity of 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.
- Commutativity of addition and multiplication
For all a and b in F, the following equalities hold: a + b = b + a and a · b = b · a.
- Additive and multiplicative identity
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 inverses
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.
- Distributivity of multiplication over addition
For all a, b and c in F, the following equality holds: a · (b + c) = (a · b) + (a · c).
Clearly every field is a division ring. The easiest examples of fields are and . A division ring which is not a field is the field of quaternions, described as follows:
Consider . 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 can be represented as where is some real number. We endow addition and multiplication on according to the following rules: Addition of two elements and is simply . For multiplication note that if we impose the following rules:
then these determine all the possible products of i, j, and k.
For example, since
right-multiplying both sides by k gives
All the other possible products can be determined by similar methods, and this gives the following table:
For two elements and , 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:
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 where .
Proof: : 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.
: Suppose that for some nonzero a we have ab=0. But then ab=a0 and by our hypothesis b=0..
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 and . Then as 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.
Remark: The converse of the above result may not be true as is evident from .
Theorem 1.13: Every finite integral domain is a field.
Proof: Let R be a finite integral domain and let where . 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.
Corollary: The ring is a field iff p is prime.
Proof: : We will denote elements of by numbers 0,1,...p-1. Now suppose p was composite and p=ab where 1<a,b<p. Now ab=0 in although a,b are themselves nonzero. This contradicts the fact that is an integral domain.
Suppose p is prime. It suffices to show that is an integral domain. Let a,b be nonzero elements of 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 and so is an integral domain.
Theorem 1.14: Let R be a ring such that the equation ax=b has a solution for all and for all . 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.