Group, Rings, and Fields Rahul Pandharipande. I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S,

Transcription

1 Group, Rings, and Fields Rahul Pandharipande I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S, A binary operation φ is a function, S S = {(x, y) x, y S}. φ : S S S. A binary operation φ is commutative if φ(x, y) = φ(y, x) for all x, y S. A binary operation is associative if for all x, y, z S. φ(φ(x, y), z) = φ(x, φ(y, z)) For example, let S = {1, 2, 3,... } be the set of positive integers. Then, φ(x, y) = x + y is a binary operation which is both commutative and associative, φ(x, y) = (x + y) 2 is a binary operation which is commutative, but not associative, and φ(x, y) = x y, is a binary operation which is neither commutative nor associative. These operations are defined using the familiar operations of addition and multiplication on the positive integers. Later, we will see examples of binary operations which are associative, but not commutative. It will often be convenient to name binary operations on a set S by the symbols + or familiar from arithmetic. The operations on S may have little or nothing to do with addition or multiplication on the integers the symbols + and are used simply as names. One immediate convenience: we may write x + y and x y instead of the cumbersome +(x, y) and (x, y). 1

2 2 II. Groups A group (G, +, 0) consists of a set G together with a binary operation + and a distinguished element 0 G satisfying the following properties: (i) + : G G G is associative, (ii) for all x G, x + 0 = x and 0 + x = x, (iii) for each x G, there exists an element y G satisfying x + y = 0 and y + x = 0. We may easily prove for each x G, the inverse element y guaranteed by (iii) is unique. If y and y are inverses for x, then y = (y + x) + y = y + (x + y ) = y. Properties (i) and (ii) are used in the above deduction. The inverse of x is usually denoted by x. The group axioms imply a useful left cancellation property: if z + x = z + y, then x = y. The cancellation property is derived as follows. Let z the inverse of z. Then, z + x = z + y implies By associativity, Hence, z + (z + x) = z + (z + y). ( z + z) + x = ( z + z) + y. 0 + x = 0 + y. We then conclude x = y by (ii). A similar right cancellation property holds (and is proven in the same way). Let Z = {..., 2, 1, 0, 1, 2,... } be the set of integers. Then, (Z, +, 0) is a group where + is the usual addition. However, (Z,, 1), where is the usual multiplication,is not a group: multiplicative inverses can not always be found in the integers, violating property (iii). Let Q be the set of rational numbers. Then, (Q, +, 0) is a group. Let Q be the set of non-zero rational numbers. Then, (Q,, 1) is a group. You should check the problems with the (failed) example of a multiplicative group structure on the integers are fixed in (Q,, 1).

3 The real numbers R and the complex numbers C also provide examples of groups: (R, +, 0), (R,, 1), (C, +, 0), (C,, 1), where the superscripted denotes the non-zero elements as before. Let n be a positive integer. Let Z/nZ = {0, 1, 2,..., n 1} be the set of remainders modulo n. We can define a binary operation + on Z/nZ by usual addition followed by taking the remainder modulo n. For example, = 2 Z/6Z. The bar above the elements of Z/nZ indicates the elements are not integers, but remainder classes modulo n. You should check (Z/nZ, +, 0) is a group with n elements. A group is abelian if the binary operation is commutative. All the above examples are abelian groups. There are many non-abelian groups. Let GL n (R) be the set of invertible n n matrices with real entries. Let denote matrix multiplication, and let I n denote the n n identity matrix. You should check (GL n (R),, I n ) is a group. For n 2, (GL n (R),, I n ) is not abelian. The binary operation in a non-abelian group is associative, but not commutative. Group theory is an old and very well developed subject. 3 III. Rings A ring (R, +,, 0, 1) consists of a set R together with two binary operations + and and two distinguished elements 0, 1 R satisfying the following properties: (i) (R, +, 0) is an abelian group, (ii) : R R R is associative, (iii) for all x R, (iv) for all x, y, z R, x 1 = x and 1 x = x, x (y + z) = x y + x z and (x + y) z = x z + y z.

4 4 Property (iv) consists of the left and right distributive laws. The first binary operation + of a ring is called addition and second is called multiplication. Unless we wish to emphasize the multiplicative operation, we will often follow the usual convention of abbreviating x y by xy. Sometimes rings defined by (i)-(iv) are called unital rings since the existence of a multiplicative unit 1 is stipulated. The standard number systems all define rings: (Z, +,, 0, 1), (Q, +,, 0, 1), (R, +,, 0, 1), (C, +,, 0, 1). We can define multiplication on the set Z/nZ by the usual multiplication followed by taking the remainder modulo n. For example, 2 5 = 4, 2 3 = 0 Z/6Z. Then, (Z/nZ, +,, 0, 1) is a ring with finitely many elements. The ring (Z/1Z, +,, 0, 1) is degenerate since 0 = 1. You may ask why the addition of a ring is required to be commutative. In fact, we can deduce the commutativity of addition from the repeated use of properties (iii) and (iv) and the group laws for +. The deduction of commutativity is as follows. First, by (iii) and (iv). Next, (x + y) (1 + 1) = x (1 + 1) + y (1 + 1) = x 1 + x 1 + y 1 + y 1 = x + x + y + y, (x + y) (1 + 1) = (x + y) 1 + (x + y) 1 by (iii) and (iv). We have proven, = x 1 + y 1 + x 1 + y 1 = x + y + x + y, x + x + y + y = x + y + x + y. Finally, using the cancellation property of the additive group, we can cancel the first and last terms to conclude x + y = y + x. So, the commutation of addition is implied by the other axioms. Hence, we may as well assume + is commutative from the beginning.

5 However, the multiplication of a ring is not required to be commutative. A ring is called commutative if multiplication commutes. All the rings above are commutative rings. Let M n (R) be the set of all n n matrices with real coefficients. Then, (M n (R), +,, 0, I n ) is ring. If n 2, the multiplication of (M n (R), +,, 0, I n ) is not commutative. 5 IV. Fields A field (F, +,, 0, 1) consists of a set F together with two binary operations + and and two distinguished elements 0, 1 F satisfying the following properties: (i) (F, +, 0) is an abelian group, (ii) : F F F is associative and commutative, (iii) for all x F, x 1 = x and 1 x = x, (iv) for each 0 x F, there exists an element y F satisfying (v) for all x, y, z F, x y = 1 and y x = 1. x (y + z) = x y + x z and (x + y) z = x z + y z. We will always assume 0 1 in F. We can deduce many familiar properties from the field axioms. For example, for all x F, The first step of the derivation is: x 0 = 0. (1) x 0 + x 0 = x (0 + 0) = x 0, using (v) and the group properties for +. Then, cancelling x 0 from both sides using the group properties for +, we find x 0 = 0.

6 6 Let F denote the non-zero elements of a field F. If x F and x z = 0, then z = 0. The proof is as follows. Let y be the multiplicative inverse of x guaranteed by (iv). Then, using property (1). Also, y (x z) = y 0 = 0, y (x z) = (y x) z = 1 z = z, using associativity and (iii). We conclude z = 0. As a consequence, we find the set F is closed under multiplication: for all x, y F, x y F. Also, 1 F. The field axioms imply (F,, 1) is an abelian group. The field axioms (i)-(iv) above may be rewritten in a simpler form: (i) (F, +, 0) is an abelian group, (ii) (F,, 1) is an abelian group, (iii) the distributive laws hold. The standard number systems with the exception of (Z, +,, 0, 1) all define fields: (Q, +,, 0, 1), (R, +,, 0, 1), (C, +,, 0, 1). The integers fail the field axioms since multiplicative inverses do not always exist. Suppose n is not a prime number. Then, pq = n where p and q are positive integers less than n. Hence, p q = 0 Z/nZ since the product leaves 0 remainder modulo n. Since the non-zero elements are not closed under multiplication, (Z/nZ, +,, 0, 1) is not a field if n is not prime. If p is a prime number, then (Z/pZ, +,, 0, 1) is a field. The main property to verify is the existence of multiplicative inverses for non-zero elements. Let x be a positive integer less than p corresponding to a non-zero element x of Z/pZ. Then, x and p are relatively prime (that is, they have no common factor greater than 1). Since x and p are relatively prime, there exist integers a, b Z for which xa + pb = 1 Z. (2)

7 Can you prove this? A proof is provided below, but you may wish to find an argument yourself. We now establish the existence of a, b Z satisfying (2). Let I Z denote the set of integers of the form xs + pt for s, t Z, I = {xs + pt s, t Z}. Since I contains both x and p, I certainly contains positive integers. The well-ordering property of the integers states: every non-empty set of positive integers has a smallest element. The well-ordering property is equivalent to the principle of induction. Let d be the smallest positive integer in I. Certainly d x, p. Since d I, we see there exist a, b Z satisfying xa + yb = d. We prove by contradiction that d divides x. If not, we may write x = md + r, where m Z and r is the remainder 0 < r < d. We see then r I since r = x(1 ma) + y( mb). But r I contradicts the fact that d is the smallest positive integer in I. Hence, d must divide x. Similarly, d must divide p. Since x and p are relatively prime, the only positive integer which divides both x and p is 1. Thus, d = 1. We have proven the existence of (2). Let y be the remainder of a mod p. We see (2) implies x y = 1 Z/pZ. Hence, we have established the existence of multiplicative inverses of non-zero elements in (Z/pZ, +,, 0, 1). All of the other field axioms are easy to check. We can consider linear algebra over an arbitrary field F. That is, we may study systems of linear equations α 11 x 1 + α 12 x α 1n x n = y 1 α 21 x 1 + α 22 x α 2n x n = y α m1 x 1 + α 12 x α mn x n = y m

8 8 where the elements α ij, y i lie in F. And, we may seek solutions x 1,..., x n F. The method of elimination via row operations works without modification for any field F. For example, we may solve the following system of equations in the field Z/11Z: 2x 1 + 1x 2 = 3 4x 1 + 4x 2 = 5 The multiplicative inverse of 2 in Z/11Z is 6. The additive inverse of 4 is 7. After adding a multiple of 7 6 of the first equation to the second, we obtain: 2x 2 = 10. Using the multiplicative inverse of 2 again, we find: x 2 = 5. Then, using the original system, we find: x 1 = 10. V. Skew-fields By the field axioms, the multiplication of a field is required to be commutative. However, we may consider algebraic structures satisfying all the field axioms except for the commutativity of multiplication. A skew-field (F, +,, 0, 1) consists of a set F together with two binary operations + and and two distinguished elements 0, 1 F satisfying the following properties: (i) (F, +, 0) is an abelian group, (ii) (F,, 1) is a group, (iii) the distributive laws hold. The multiplication of a skew-field is allowed to be non-abelian. Sometimes skew-fields are called division rings. Certainly, every field is a skew-field. It is quite difficult to find skewfields which are not fields. In 1905, Wedderburn proved all skew-fields with only finitely many elements are actually fields (their multiplication

9 is actually abelian). You can find the proof in most good algebra books in the library, but some knowledge of group theory is required. To find an example of a true skew-field, we must look for a candidate with infinitely many elements. The most fundamental example is the skew-field of quaternions discovered by Hamilton in We will first discuss the complex numbers. Given the real numbers (R, +,, 0, 1), we can construct the complex numbers (C, +,, 0, 1) in the following way. As a set, C = R R, C = {(x, y) x, y R}. Addition in C is defined by addition of real components: (x, y) + (z, w) = (x + z, y + w). (3) Multiplication in C is defined in terms of multiplication in R by: (x, y) (z, w) = (xz yw, xw + yz). (4) Let 0 C be (0, 0), and let 1 C be (1, 0). Then, (C, +,, 0, 1) is a field. From the above definition, checking the field axioms for the complex numbers takes some work. The usual representation of complex numbers is as follows. Let i C be the element i = (0, 1). Then, by the definition of multiplication, i 2 = (0, 1) (0, 1) = ( 1, 0) = 1. Complex numbers can be written as x + yi where x, y R. You can check the definitions of addition (3) and multiplication (4) coincide with the familiar operations for complex numbers. The complex numbers have a norm defined by x + yi 2 = x 2 + y 2 which satisfies a multiplicative property: for all µ, ν C. µ ν 2 = µ 2 ν 2, We are now prepared to describe Hamilton s quaternions (H, +,, 0, 1). Introduce the elements i, j, k with the multiplicative properties: i 2 = 1, j 2 = 1, k 2 = 1, ij = k, ji = k, (5) 9

10 10 jk = i, kj = i, ki = j, ik = j. Let H be set of linear combinations, H = {w + xi + yj + zk w, x, y, z R}. Addition is defined on H by addition of the components, (w + xi + yj + zk) + (w + x i + y j + z k) = (w + w ) + (x + x ) i + (y + y ) j + (z + z ) k. The element 0 H is 0 + 0i + 0j + 0k. Multiplication in the quaternions is defined by the rules (5): (w + xi + yj + zk) (w + x i + y j + z k) = (ww xx yy zz ) + (wx + xw + yz zy ) i + (wy xz + yw + zx ) j + (wz + xy yx + zw ) k. Certainly, multiplication in the quaternions is not commutative. The element 1 H is 1 + 0i + 0j + 0k. Again, some work is required to check the quaternions satisfy the axioms of a skew-field. You might try to verify the axioms. Hamilton found the multiplication rules for the quaternions only after searching for 10 years. The name quaternion comes from the fact that i, j, and k are fourth roots of unity: i 4 = j 4 = k 4 = 1. The quaternions have a norm defined by w + xi + yj + zk 2 = w 2 + x 2 + y 2 + z 2 which satisfies a multiplicative property: for all µ, ν H. µ ν 2 = µ 2 ν 2, A remarkable result due to Frobenius states: the only skew-fields which are finite dimensional over the real numbers are: R, C, and H. Many aspects of linear algebra are valid for skew-fields, but some require modification. The quaternions play an important role in modern algebra and geometry, and you will likely encounter them again.