7-29-2022
Rings
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:
    1. Multiplication is associative: For all a, b, c ∈ R,
                                               (a · b) · c = a · (b · c).
    2. The Distributive Law holds: For all a, b, c ∈ R,
                           a · (b + c) = a · b + a · c    and (a + b) · c = a · c + b · c.
Remark. 1. To say that R is an abelian group under addition means that the following axioms hold:
    (a) (Associativity) (a + b) + c = a + (b + c) for all a, b, c ∈ R.
    (b) (Identity) There is an element 0 ∈ R such that a + 0 = a and 0 + a = a for all a ∈ R.
    (c) (Inverses) For all a ∈ R, there is an element −a ∈ R such that a + (−a) = 0 and (−a) + a = 0.
    (d) (Commutativity) a + b = b + a for all a, b ∈ R.
Definition. A ring R has a multiplicative identity if there is an element 1 ∈ R such that 1 6= 0, and
such that for all a ∈ R,
                                     1 · a = a and a · 1 = a.
    A ring satisfying this axiom is called a ring with 1, or a ring with identity.
     Note that in the term “ring with identity”, the word “identity” refers to a multiplicative identity. Every
ring has an additive identity (“0”) by definition.
Remark. I’ll often suppress the multiplication symbol and simply write “ab” for “a · b”. As usual, a2 means
a · a, a3 means a · a · a, 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.
    Many elementary algebraic operations work the way you’d expect. (There will be some surprises later,
however.)
Proposition. Let R be a ring.
    (a) If r ∈ R, then r · 0 = 0 = 0 · r.
    (b) Let r ∈ R, and let −r denote the additive inverse of r. If R is a ring with identity, then (−1)·r = −r.
    (c) Let r, s ∈ R. Then (−r) · s = −(rs) = r · (−s).
Proof. (a) Let r ∈ R. Note that
                                        r · 0 = r · (0 + 0) = r · 0 + r · 0.
    Therefore 0 = r · 0.
(b) Suppose R is a ring with identity, and let r ∈ R. Then
                           (−1) · r + r = (−1) · r + 1 · r = (−1 + 1) · r = 0 · r = 0.
                                                           1
    Therefore, (−1) · r is the additive inverse of r, i.e. (−1) · r = −r.
(c) The proof is similar to the proof of (b).
Notation. If R is a ring and n is a positive integer, nr is short for r + r + · · · r (n summands). Likewise, if
n is a negative integer, nr is (−n)r. (This is the usual convention for an abelian group.)
     Notice that, for example, 13 · 1 ∈ Z6 makes sense according to this convention: It is 1 added to itself 13
times. However, you should not write “13 ∈ Z6 ”, since 13 is not an element of Z6 .
Definition. If R is a ring and ab = ba for all a, b ∈ R, R is a commutative ring.
     Note that the adjective “commutative” applies to the multiplication operation; the addition operation
is always commutative by definition.
Example. Which of the following sets are rings under the usual operations? Are they commutative? Do
they have an identity element?
                                   Z, 2Z, Q, Q+ , R, C.
Z is a commutative ring with identity.
     2Z is a commutative ring, but it does not have an identity.
     Q is a commutative ring with identity.
     Q+ , the set of positive rationals, is not a ring. It does not contain an identity for addition.
     R is a commutative ring with identity.
     C is a commutative ring with identity.
The ring of quaternions.
    The ring of quaternions is the set
                                   H = {w + xi + yj + zk | w, x, y, z ∈ R}.
    The “H” honors William Rowan Hamilton, who discovered the quaternions in the 1840’s.
    You add elements in the obvious way, e.g.
                       (2 + 4i − 9j + 11k) + (13 − i + 5j + 17k) = 15 + 3i − 4j + 28k.
    Multiply elements using the following multiplication table:
                ×         1       −1            i     −i         j          −j      k        −k
                1         1       −1            i     −i         j          −j      k        −k
               −1        −1        1        −i         i        −j          j      −k         k
                i         i        −i       −1         1         k          −k     −j         j
               −i        −i         i           1     −1        −k          k       j        −j
                j         j       −j        −k         k        −1          1       i        −i
               −j        −j        j            k     −k         1          −1     −i         i
                k         k       −k            j     −j        −i          i      −1         1
               −k        −k        k        −j         j         i          −i      1        −1
     (This is the multiplication table for the group of the quaternions Q; in H, 1, i, j, and k can be multiplied
by real numbers as if they were vectors. In fact, ignoring the multiplication, H is just a 4-dimensional vector
space over R.)
                                                        2
    For example,
                                              (3i − 2k) · (3 + 2j) = 15i.
    H is a noncommutative ring, since (e.g.) ij = k but ji = −k. 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! We’ll add H to our collection of common
number systems, along with the integers, the rationals, the real numbers, and the complex numbers.
Example. (The integers mod n as rings) Construct a multiplication table for Z3 . What kind of ring is
it?
                                              *         0         1            2
                                              0         0         0            0
                                              1         0         1            2
                                              2         0         2            1
    For example, 2 · 2 = 1, since as integers 2 · 2 = 4, and 4 reduces to 1 mod 3.
    With these operations, Z3 becomes a commutative ring with 1.
    In general, Zn is a commutative ring with 1.
Example. (A ring without an identity) Prove that the set of even integers 2Z with the usual operations
is a ring without an identity.
     Suppose that e ∈ 2Z is an identity. Then e = 2n for some n ∈ Z. Since e is an identity, I must have (for
instance)
                                                  e·6=6
                                                        2n · 6 = 6
                                                           2n = 1
    Since there is no integer n for which this is true, 2Z cannot have an identity.
Example. (A ring of matrices) M (2, R) is the set of 2 × 2 matriceswith real
                                                                            entries. The operations are
                                                                       0 0
the usual matrix addition and multiplication. The additive identity is      ; the multiplicative identity is
                                                                     0 0
  1 0
        .
  0 1
     Show by example that M (2, R) is a noncommutative ring.
                                                                                        
                       1 2         2   1     10 3                      2   1        1 2      5   3
                                          =         ,       but                           =          .
                       3 −1        4   1     2 2                       4   1        3 −1     7   7
Example. (A ring of functions) C[0, 1] is the set of continuous functions f : [0, 1] → R. Operations are
pointwise addition and multiplication:
                              (f + g)(x) = f (x) + g(x)          and (f g)(x) = f (x)g(x).
                                                             3
    Is C[0, 1] a commututative ring? What are the additive and multiplicative identities?
    C[0, 1] is a commutative ring, since by commutativity of real number multiplication,
                                  (f g)(x) = f (x)g(x) = g(x)f (x) = (gf )(x).
The constant functions 0 and 1 are the additive and multiplicative identities, respectively.
Polynomial rings.
    Let R be a commutative ring. R[x] denotes the ring of polynomials in one variable with coefficients
in R. Add and multiply polynomials as usual.
    For example, R[x] consists of all polynomials with real coefficients: things like
                                     x + 2,     3 − 7x2 + 54x17 ,        42, . . . .
    The formal, precise way to define R[x] is to define it to be the collection of finite ordered n-tuples
                                       {(r0 , r1 , . . . , rn ) | n ≥ 0, ri ∈ R}.
     (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 mentioning this is to show that we’re not
doing something invalid by thinking of polynomials as “formal sums in powers of x” — you could do things
in a perfectly rigorous way if you chose.
     Note that polynomials are not functions in this context. For example, let R = Z2 and look at f (x) =
x2 + x. This is not zero as a polynomial, even though f (0) = 0 and f (1) = 0; i.e., even though it vanishes
on every element of the ring.
c 2022 by Bruce Ikenaga                                                  4