Definition. A ring is an abelian group R with binary operation + ("addition"), together with a second binary operation ("multiplication"). The operations satisfy the following axioms:
Remarks. 1. To say that R is an abelian group under addition means that the following axioms holds:
(a) (Associativity) for all .
(b) (Identity) There is an element such that and for all .
(c) (Inverses) For all , there is an element such that and .
(d) (Commutativity) for all .
2. A ring R has a multiplicative identity if there is an element such that , and such that for all ,
A ring satisfying this axiom is called a ring with 1, or a ring with identity, or a ring with unity.
Warning: Unity refers to the multiplicative identity, if there is one. A unit in a ring, on the other hand, is an element which has a multiplicative inverse.
3. I'll often suppress the multiplication symbol and simply write " " for " ". As usual, means , means , and so on.
However, note that negative powers of elements are not always defined: An element in a ring might not have a multiplicative inverse. This means that you don't always have "division"; you do have "subtraction", since that's the same as adding the additive inverse.
4. Multiplication need not be commutative: It isn't necessarily true that for all . If for all , R is a commutative ring.
Example. ( Some familiar number systems are rings) , , , and are commutative rings with unity under the usual operations.
Example. ( The ring of quaternions is not commutative) Consider the set
is referred to as the ring of quaternions. (The "H" honors William Rowan Hamilton, who discovered the quaternions in the 1840's.)
Multiply elements using the following multiplication table:
(This is the multiplication table for the group of the quaternions Q; in , 1, i, j, and k can be multiplied by real numbers as if they were vectors. In fact, ignoring the multiplication, is just a 4-dimensional vector space over .)
For example,
is a noncommutative ring, since (e.g.) but . In fact, Hamilton apparently was stuck on this point for many years. He knew that complex numbers could be used to represent rotations in two dimensions, and he was trying to construct an algebraic system for representing rotations in three dimensions. The problem is that rotations in three dimensions don't commute, whereas he expected his algebraic system to have a commutative multiplication --- as did all the number systems known up to that time.
Verifying the other ring axioms is routine, but very tedious!
Example. ( The integers mod n as rings) is an abelian group under addition. You can multiply elements of in the obvious way --- multiply them as if they were integers, then reduce mod 3. Here's the multiplication table:
For example, , since as integers , and 4 reduces to 1 mod 3.
With these operations, becomes a commutative ring with 1.
In general, is a commutative ring with 1.
Example. ( A ring without an identity) The set of even integers with the usual operations is a ring without an identity.
Suppose that is an identity. Then for some . Since e is an identity, I must have (for instance)
Since there is no integer n for which this is true, cannot have an identity.
Example. ( A ring of matrices) is the set of matrices with real entries. The operations are the usual matrix addition and multiplication. The additive identity is ; the multiplicative identity is .
is a noncommutative ring; for example,
Example. ( A ring of functions) is the set of continuous functions . Operations are pointwise addition and multiplication:
is a commutative ring. The constant functions 0 and 1 are the additive and multiplicative identities, respectively.
Example. ( Polynomial rings) Let R be a commutative ring. denotes the ring of polynomials in one variable with coefficients in R. Add and multiply polynomials as usual.
For example, consists of all polynomials with real coefficients: things like
The formal, precise way to define is to define it to be the collection of finite ordered n-tuples
(That is, a polynomial is the "vector" of its coefficients.) Now you can define addition and multiplication by writing down some ugly, unenlightening formulas. The point of this pedantry is that there is no flim-flam going on in talking about "formal sums in powers of x" --- the usual way you think of polynomials.
Note that polynomials are not functions in this context. For example, let and look at . This is {\it not} zero as a polynomial, even though and ; i.e., even though it vanishes on every element of the ring.
Definition. Let R be a ring. A zero divisor is a nonzero element such that for some nonzero .
A commutative ring with 1 having no zero divisors is an integral domain (or a domain for short).
Definition. Let R be a ring with 1, and let . A multiplicative inverse of a is an element such that
An element which has a multiplicative inverse is called a unit. (Do not confuse this with the term "ring with unity", where "unity" refers to the multiplicative identity 1.)
A ring with 1 in which every nonzero element has a multiplicative inverse is called a division ring. A commutative ring with 1 in which every nonzero element has a multiplicative inverse is called a field.
Example. ( Some familiar integral domains) , , , and are integral domains --- in fact, , , and are fields. It happens to be true that every field is an integral domain; is an example of an integral domain which is not a field. (The element doesn't have a multiplicative inverse in .)
Example. ( The units in the integers mod n) The units in are the elements of ; that is, the elements of which are relatively prime to n.
Thus, in , the elements 1, 5, 7, and 11 are units. For example, .
The zero divisors in are 2, 3, 4, 6, 8, 9, and 10. For example , even though 2 and 6 are nonzero.
The nonzero elements 1, 2, 3, and 4 in are units. Thus, a field.
I'll show later that is a field if and only if n is prime.
Example. ( The units in a matrix ring) The units in are the invertible matrices --- i.e. the elements of .
Example. ( A ring of function which is not a domain) is not an integral domain. For example, let
Then , but .
Properties of rings. Most elementary algebraic operations work the way you'd expect. Here are some easy ones. Let R be a ring.
Lemma. Let R be a ring.
(a) If , then .
(b) Let , and let denote the additive inverse of r. If R is a ring with identity, then .
(c) Let . Then .
Proof. (a) Let . Note that
Therefore .
(b) Suppose R is a ring with identity, and let . Then
Therefore, is the additive inverse of r, i.e. .
(c) The proof is similar to the proof of (b).
Convention. If R is a ring and n is a positive integer, is short for (n summands). Likewise, if n is a negative integer, is . (This is the usual convention for an abelian group.)
Notice that, for example, makes sense according to this convention: It is 1 added to itself 13 times. However, you should not write " ", since 13 is not an element of .
Lemma. ( Cancellation) Let R be a commutative ring with 1. R is a domain if and only if for all , and implies .
In other words, you can "cancel" nonzero factors in a domain.
Proof. Suppose R is a domain. Let , where , and suppose . Then , so . Since and since R has no zero divisors, . Therefore, .
Conversely, suppose for all , and implies . I will show that R has no zero divisors. Suppose , where . Now , and by cancellation, . This shows that R has no zero divisors, so R is a domain.
Example. ( Domains and solving by factoring) In basic algebra, you often solve polynomial equations by factoring. This technique may not find all the roots if the polynomial has coefficients in a ring which is not an integral domain. For example, has roots 1, 4, 5, 8 in .
Thus, a polynomial of degree n can have more than n roots in a ring. The problem is that is not a domain: does not imply one of the factors must be zero.
Remark. Here is a picture which shows how the various types of rings are related:
Thus, a field is a special case of a division ring, just as a division ring is a special case of a ring.
The objects of mathematics are primarily built up from sets by adding axioms to make more complicated structures. For instance, a group is a set with one binary operation satisfying certain axioms. A ring is a set with two binary operations, satisfying certain axioms. You get special kinds of rings by adding axioms to the basic ring definition.
There are many advantages to doing things this way. For one, if you prove something about a simple structure, you know the result will be true about more complicated structures which are built from the simple structure. For another, by using the smallest number of axioms to prove results, you get a deeper understanding of why the result is true.
Lemma. Fields are integral domains.
Proof. Let F be a field. I must show that F has no zero divisors. Suppose and . Then a has an inverse , so , or . Therefore, F has no zero divisors, and F is a domain.
Example. ( A division ring that is not a field) The ring of quaternions
is a division ring, but not a field (it's not commutative).
Example. ( A field which extends the rationals) Consider
Use the operations inherited from the reals. This is clearly a commutative ring. To show that it's a field, suppose . Then
I must show that .
If and or if and , then . Since , the only other possibility is .
Thus, with . Clearing denominators if necessary, I may assume that a and b are integers --- in fact, positive integers, thanks to the squares. Now 2 divides , so . This forces , so for some integer c. Plugging in gives , or .
Repeat the argument: , so , so . Plugging in gives , or .
I can continue this process indefinitely. Notice that and . This yields infinite descending sequences of positive integers, contradicting well-ordering. Therefore, . (This is called an argument by infinite descent.)
It follows that every nonzero element of is invertible, so is a field.
Proposition. A finite integral domain is a field.
Proof. Let R be a finite domain. Say
I must show that nonzero elements are invertible. Let , .
Consider the products . If , then by cancellation. Therefore, the are distinct. Since there are n of them, they must be exactly all the elements of R:
Then equals for some i, so r is invertible.
For the proposition that follows, I need the following result on greatest common divisors.
Lemma. Let m and n be integers, not both 0. There are integers a and b (not unique) such that
In other words, the greatest common divisor of two numbers can be written as a linear combination of the numbers.
Proposition. is a zero divisor if and only if .
Proof. First, I'll show that if , then m is not a zero divisor. Suppose , so for some . Reducing the equation mod n, for some , where mod n.
Now suppose and . Then
Therefore, m is not a zero divisor.
Conversely, suppose that . Say , where . In particular, I may regard a as a nonzero element of .
The order of m in is . Thus, in , and m is a zero divisor.
Example. ( Zero divisors in the integers mod n) (a) Find the zero divisors in .
The zero divisors are those elements in which are not relatively prime to 15:
For example, shows directly that 5 and 12 are zero divisors.
(b) Find the zero divisors in .
Since 7 is prime, all the elements in are relatively prime to 7. There are no zero divisors in . In fact, is an integral domain; since it's finite, it's also a field by an earlier result.
The last example can be generalized in the following way.
Corollary. is a field if and only if n is prime.
Proof. If n is composite, I may find such that and . Regarding a and b as elements of , I obtain in . Therefore, has zero divisors, and is not a domain. Since fields are domains, is not a field.
Suppose n is prime. The nonzero elements are all relatively prime to n. Hence, they are not zero divisors in , by the preceding result. Therefore, is a domain. Since it's finite, it's a field.
The fields for p prime are examples of fields of finite characteristic.
Definition. The characteristic of a ring R is the smallest positive integer n such that for all . If there is no such integer, the ring has characteristic 0. Denote the characteristic of R by .
Example. ( The characteristic of a ring) , , and are fields of characteristic 0. If p is prime, is a field of characteristic p.
More generally, if F is a field of characteristic , then n is prime. For if n is composite, write , where . Then
But and since . Therefore, F has zero divisors, contradicting the fact that fields are domains.
Note, however, that for p prime is not the only field of characteristic p. In fact, for each , there is a unique field F of characteristic p such that .
Lemma. Let R be a ring with identity.
(a) If there is no positive integer n such that , then .
(b) If for some positive integer n, then the smallest positive integer for which this is true is .
Proof. Suppose there is no positive integer n such that . If n is a positive integer such that for all , then in particular , which is a contradiction. Therefore, there is no positive integer n such that for all , and by definition this means that .
Suppose for some positive integer n. By Well-Ordering, there is a smallest positive integer m such that . If , then
This means that , and in fact, . But if , then , which contradicts the assumption that m is the smallest integer such that . Therefore, .
Example. ( The characteristic of a ring) In , the smallest positive multiple of 1 that's equal to 0 is . Thus, has characteristic 6.
On the other hand, consider
This is an abelian group under addition, and becomes a commutative ring when multiplication is defined componentwise:
For instance,
The identity element is . Note that , but . It follows that has characteristic 2.
Copyright 2008 by Bruce Ikenaga