112
Deļ¬nitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013

Definitions, Theorems and Exercises Abstract Algebra Math 332

  • Upload
    others

  • View
    3

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Definitions, Theorems and Exercises Abstract Algebra Math 332

Definitions, Theorems and Exercises

Abstract AlgebraMath 332

Ethan D. Bloch

December 26, 2013

Page 2: Definitions, Theorems and Exercises Abstract Algebra Math 332

ii

Page 3: Definitions, Theorems and Exercises Abstract Algebra Math 332

Contents

1 Binary Operations 31.1 Binary Operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41.2 Isomorphic Binary Operations . . . . . . . . . . . . . . . . . . . . . . . . 8

2 Groups 92.1 Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102.2 Isomorphic Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152.3 Basic Properties of Groups . . . . . . . . . . . . . . . . . . . . . . . . . . 172.4 Subgroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

3 Various Types of Groups 253.1 Cyclic Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263.2 Finitely Generated Groups . . . . . . . . . . . . . . . . . . . . . . . . . . 293.3 Dihedral Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 303.4 Permutations and Permutation Groups . . . . . . . . . . . . . . . . . . . . 313.5 Permutations Part II and Alternating Groups . . . . . . . . . . . . . . . . . 33

4 Basic Constructions 354.1 Direct Products . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 364.2 Finitely Generated Abelian Groups . . . . . . . . . . . . . . . . . . . . . . 384.3 Infinite Products of Groups . . . . . . . . . . . . . . . . . . . . . . . . . . 394.4 Cosets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 404.5 Quotient Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42

Page 4: Definitions, Theorems and Exercises Abstract Algebra Math 332

2 Contents

5 Homomorphisms 455.1 Homomorphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 465.2 Kernel and Image . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48

6 Applications of Groups 516.1 Group Actions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

7 Rings and Fields 557.1 Rings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 567.2 Polynomials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

8 Vector Spaces 618.1 Fields . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 628.2 Vector Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 638.3 Subspaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 668.4 Linear Combinations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 688.5 Linear Independence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 708.6 Bases and Dimension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 738.7 Bases for Arbitrary Vector Spaces . . . . . . . . . . . . . . . . . . . . . . 79

9 Linear Maps 819.1 Linear Maps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 829.2 Kernel and Image . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 859.3 Rank-Nullity Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . 879.4 Isomorphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 899.5 Spaces of Linear Maps . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91

10 Linear Maps and Matrices 9510.1 Review of Matricesā€”Multiplication . . . . . . . . . . . . . . . . . . . . . 9610.2 Linear Maps Given by Matrix Multiplication . . . . . . . . . . . . . . . . . 9810.3 All Linear Maps Fnā†’ Fm . . . . . . . . . . . . . . . . . . . . . . . . . . 10010.4 Coordinate Vectors with respect to a Basis . . . . . . . . . . . . . . . . . . 10110.5 Matrix Representation of Linear Mapsā€”Basics . . . . . . . . . . . . . . . 10210.6 Matrix Representation of Linear Mapsā€”Composition . . . . . . . . . . . . 10410.7 Matrix Representation of Linear Mapsā€”Isomorphisms . . . . . . . . . . . 10610.8 Matrix Representation of Linear Mapsā€”The Big Picture . . . . . . . . . . 10810.9 Matrix Representation of Linear Mapsā€”Change of Basis . . . . . . . . . . 109

Page 5: Definitions, Theorems and Exercises Abstract Algebra Math 332

1

Binary Operations

Page 6: Definitions, Theorems and Exercises Abstract Algebra Math 332

4 1. Binary Operations

1.1 Binary Operations

Fraleigh, 7th ed. ā€“ Section 2Gallian, 8th ed. ā€“ Section 2Judson, 2013 ā€“ Section 3.2

Definition 1.1.1. Let A be a set. A binary operation on A is a function AƗAā†’ A. Aunary operation on A is a function Aā†’ A. 4

Definition 1.1.2. Let A be a set, let āˆ— be a binary operation on A and let H āŠ† A. The subsetH is closed under āˆ— if aāˆ—b āˆˆ H for all a,b āˆˆ H. 4

Definition 1.1.3. Let A be a set, and let āˆ— be a binary operation on A. The binary operationāˆ— satisfies the Commutative Law (an alternative expression is that āˆ— is commutative) ifaāˆ—b = bāˆ—a for all a,b āˆˆ A. 4

Definition 1.1.4. Let A be a set, and let āˆ— be a binary operation on A. The binary operationāˆ— satisfies the Associative Law (an alternative expression is that āˆ— is associative) if (a āˆ—b)āˆ— c = aāˆ— (bāˆ— c) for all a,b,c āˆˆ A. 4

Definition 1.1.5. Let A be a set, and let āˆ— be a binary operation on A.

1. Let eāˆˆ A. The element e is an identity element for āˆ— if aāˆ—e = a = eāˆ—a for all aāˆˆ A.

2. If āˆ— has an identity element, the binary operation āˆ— satisfies the Identity Law. 4

Lemma 1.1.6. Let A be a set, and let āˆ— be a binary operation on A. If āˆ— has an identityelement, the identity element is unique.

Proof. Let e, e āˆˆ A. Suppose that e and e are both identity elements for āˆ—. Then e = e āˆ—e = e, where in the first equality we are thinking of e as an identity element, and in thesecond equality we are thinking of e as an identity element. Therefore the identity elementis unique.

Definition 1.1.7. Let A be a set, and let āˆ— be a binary operation of A. Let e āˆˆ A. Supposethat e is an identity element for āˆ—.

1. Let a āˆˆ A. An inverse for a is an element a ā€² āˆˆ A such that aāˆ—a ā€² = e and a ā€² āˆ—a = e.

2. If every element in A has an inverse, the binary operation āˆ— satisfies the InversesLaw. 4

Exercises

Exercise 1.1.1. Which of the following formulas defines a binary operation on the givenset?

Page 7: Definitions, Theorems and Exercises Abstract Algebra Math 332

1.1 Binary Operations 5

(1) Let āˆ— be defined by xāˆ— y = xy for all x,y āˆˆ {āˆ’,āˆ’,āˆ’, . . .}.

(2) Let ļæ½ be defined by xļæ½ y =āˆš

xy for all x,y āˆˆ [,āˆž).

(3) Let āŠ• be defined by xāŠ• y = xāˆ’ y for all x,y āˆˆQ.

(4) Let ā—¦ be defined by (x,y)ā—¦(z,w) = (x+ z,y+w) for all (x,y),(z,w) āˆˆ Rāˆ’ {(,)}.

(5) Let ļæ½ be defined by xļæ½ y = |x+ y| for all x,y āˆˆ N.

(6) Let āŠ— be defined by xāŠ— y = ln(|xy|āˆ’ e) for all x,y āˆˆ N.

Exercise 1.1.2. For each of the following binary operations, state whether the binary oper-ation is associative, whether it is commutative, whether there is an identity element and, ifthere is an identity element, which elements have inverses.

(1) The binary operation āŠ• on Z defined by xāŠ• y =āˆ’xy for all x,y āˆˆ Z.

(2) The binary operation ? on R defined by x? y = x+y for all x,y āˆˆ R.

(3) The binary operation āŠ— on R defined by xāŠ— y = x+ yāˆ’ for all x,y āˆˆ R.

(4) The binary operation āˆ— on Q defined by xāˆ— y = (x+ y) for all x,y āˆˆQ.

(5) The binary operation ā—¦ on R defined by xā—¦y = x for all x,y āˆˆ R.

(6) The binary operation ļæ½ on Q defined by xļæ½ y = x+ y+ xy for all x,y āˆˆQ.

(7) The binary operation ļæ½ on R defined by (x,y)ļæ½ (z,w) = (xz,y + w) for all(x,y),(z,w) āˆˆ R.

Exercise 1.1.3. For each of the following binary operations given by operation tables, statewhether the binary operation is commutative, whether there is an identity element and, ifthere is an identity element, which elements have inverses. (Do not check for associativity.)

(1)

āŠ— .

(2)

ļæ½ j k l mj k j m jk j k l ml k l j lm j m l m .

(3)

āˆ— x y z wx x z w yy z w y xz w y x zw y x z w .

Page 8: Definitions, Theorems and Exercises Abstract Algebra Math 332

6 1. Binary Operations

(4)

? a b c d ea d e a b bb e a b a dc a b c d ed b a d e ce b d e c a .

(5)

ļæ½ i r s a b ci i r s a b cr r s i c a bs s i r b c aa a b c i s rb b c a r i sc c a b s r i

.

Exercise 1.1.4. Find an example of a set and a binary operation on the set such that thebinary operation satisfies the Identity Law and Inverses Law, but not the Associative Law,and for which at least one element of the set has more than one inverse. The simplest wayto solve this problem is by constructing an appropriate operation table.

Exercise 1.1.5. Let n āˆˆ N. Recall the definition of the set Zn and the binary operation Ā· onZn. Observe that [] is the identity element for Zn with respect to multiplication. Let a āˆˆ Z.Prove that the following are equivalent.

a. The element [a] āˆˆ Zn has an inverse with respect to multiplication.

b. The equation axā‰” (mod n) has a solution.

c. There exist p,q āˆˆ Z such that ap+nq = .

(It turns out that the three conditions listed above are equivalent to the fact that a and n arerelatively prime.)

Exercise 1.1.6. Let A be a set. A ternary operation on A is a function AƗAƗAā†’ A. Aternary operation ? : AƗAƗAā†’ A is left-induced by a binary operation ļæ½ : AƗAā†’ A if?((a,b,c)) = (aļæ½b)ļæ½ c for all a,b,c āˆˆ A.

Is every ternary operation on a set left-induced by a binary operation? Give a proof or acounterexample.

Exercise 1.1.7. Let A be a set, and let āˆ— be a binary operation on A. Suppose that āˆ— satisfiesthe Associative Law and the Commutative Law. Prove that (aāˆ—b)āˆ— (cāˆ—d) = bāˆ— [(d āˆ—a)āˆ—c]for all a,b,c,d āˆˆ A.

Exercise 1.1.8. Let B be a set, and let ļæ½ be a binary operation on B. Suppose that ļæ½ satisfiesthe Associative Law. Let

P = {b āˆˆ B | bļæ½w = wļæ½b for all w āˆˆ B}.

Prove that P is closed under ļæ½.Exercise 1.1.9. Let C be a set, and let ? be a binary operation on C. Suppose that ? satisfiesthe Associative Law and the Commutative Law. Let

Q = {c āˆˆC | c? c = c}.

Page 9: Definitions, Theorems and Exercises Abstract Algebra Math 332

1.1 Binary Operations 7

Prove that Q is closed under ?.

Exercise 1.1.10. Let A be a set, and let āˆ— be a binary operation on A. An element c āˆˆ A isa left identity element for āˆ— if cāˆ—a = a for all a āˆˆ A. An element d āˆˆ A is a right identityelement for āˆ— if aāˆ—d = a for all a āˆˆ A.

(1) If A has a left identity element, is it unique? Give a proof or a counterexample.

(2) If A has a right identity element, is it unique? Give a proof or a counterexample.

(3) If A has a left identity element and a right identity element, do these elements haveto be equal? Give a proof or a counterexample.

Page 10: Definitions, Theorems and Exercises Abstract Algebra Math 332

8 1. Binary Operations

1.2 Isomorphic Binary Operations

Fraleigh, 7th ed. ā€“ Section 3Gallian, 8th ed. ā€“ Section 6

Definition 1.2.1. Let (G,āˆ—) and (H,ļæ½) be sets with binary operations, and let f : Gā†’ Hbe a function. The function f is an isomorphism of the binary operations if f is bijectiveand if f (aāˆ—b) = f (a)ļæ½ f (b) for all a,b āˆˆ G. 4Definition 1.2.2. Let (G,āˆ—) and (H,ļæ½) be sets with binary operations. The binary opera-tions āˆ— and ļæ½ are isomorphic if there is an isomorphism Gā†’ H. 4Theorem 1.2.3. Let (G,āˆ—) and (H,ļæ½) be sets with binary operations. Suppose that (G,āˆ—)and (H,ļæ½) are isomorphic.

1. (G,āˆ—) satisfies the Commutative Law if and only if (H,ļæ½) satisfies the CommutativeLaw.

2. (G,āˆ—) satisfies the Associative Law if and only if (H,ļæ½) satisfies the Associative Law.

3. (G,āˆ—) satisfies the Identity Law if and only if (H,ļæ½) satisfies the Identity Law. Iff : Gā†’ H is an isomorphism, then f (eG) = eH .

4. (G,āˆ—) satisfies the Inverses Law if and only if (H,ļæ½) satisfies the Inverses Law.

Exercises

Exercise 1.2.1. Prove that the two sets with binary operations in each of the following pairsare isomorphic.

(1) (Z,+) and (Z,+), where Z= {n | n āˆˆ Z}.

(2) (Rāˆ’ {}, Ā·) and (Rāˆ’ {āˆ’},āˆ—), where xāˆ— y = x+ y+ xy for all x,y āˆˆ Rāˆ’ {āˆ’}.

(3) (R,+) and (MƗ(R),+), where MƗ(R) is the set of all Ɨ matrices with realentries.

Exercise 1.2.2. Let f : Zā†’ Z be defined by f (n) = n+ for all n āˆˆ Z.

(1) Define a binary operation āˆ— on Z so that f is an isomorphism of (Z,+) and (Z,āˆ—),in that order.

(2) Define a binary operation ļæ½ on Z so that f is an isomorphism of (Z,ļæ½) and (Z,+),in that order.

Exercise 1.2.3. Prove Theorem 1.2.3 (2).

Exercise 1.2.4. Prove Theorem 1.2.3 (3).

Exercise 1.2.5. Prove Theorem 1.2.3 (4).

Page 11: Definitions, Theorems and Exercises Abstract Algebra Math 332

2

Groups

Page 12: Definitions, Theorems and Exercises Abstract Algebra Math 332

10 2. Groups

2.1 Groups

Fraleigh, 7th ed. ā€“ Section 4Gallian, 8th ed. ā€“ Section 2Judson, 2013 ā€“ Section 3.2

Definition 2.1.1. Let G be a non-empty set, and let āˆ— be a binary operation on G. Thepair (G,āˆ—) is a group if āˆ— satisfies the Associative Law, the Identity Law and the InversesLaw. 4Definition 2.1.2. Let (G,āˆ—) be a group. The group (G,āˆ—) is abelian if āˆ— satisfies the Com-mutative Law. 4Lemma 2.1.3. Let G be a group. If g āˆˆ G, then g has a unique inverse.

Definition 2.1.4. Let G be a group. If G is a finite set, then the order of the group, denoted|G|, is the cardinality of the set G. 4Definition 2.1.5. Let n āˆˆ N, and let a,b āˆˆ Z. The number a is congruent to the number bmodulo n, denoted aā‰” b (mod n), if aāˆ’b = kn for some k āˆˆ Z. 4Theorem 2.1.6. Let n āˆˆN, and let a āˆˆ Z. Then there is a unique r āˆˆ {, . . . ,nāˆ’} such thataā‰” r (mod n).

Theorem 2.1.7. Let n āˆˆ N.

1. Let a,b āˆˆ Z. If aā‰” b (mod n), then [a] = [b]. If a 6ā‰” b (mod n), then [a]āˆ© [b] = /0.

2. []āˆŖ []āˆŖ . . .āˆŖ [nāˆ’] = Z.

Definition 2.1.8. Let n āˆˆ N. The set of integers modulo n, denoted Zn, is the set definedby Zn = {[], [], . . . , [nāˆ’]}, where the relation classes are for congruence modulo n. 4Definition 2.1.9. Let n āˆˆ N. Let + and Ā· be the binary operations on Zn defined by [a] +[b] = [a+b] and [a] Ā· [b] = [ab] for all [a], [b] āˆˆ Zn. 4Lemma 2.1.10. Let n āˆˆ N, and let a,b,c,d āˆˆ Z. Suppose that a ā‰” c (mod n) and b ā‰” d(mod n). Then a+bā‰” c+d (mod n) and abā‰” cd (mod n).

Proof. There exist k, j āˆˆ Z such that a āˆ’ c = kn and b āˆ’ d = jn. Then a = c + kn andb = d + jn, and therefore

a+b = (c+ kn)+(d + jn) = c+d +(k+ j)n,ab = (c+ kn)(d + jn) = cd +(c j+dk+ k jn)n.

The desired result now follows.

Corollary 2.1.11. Let nāˆˆN, and let [a], [b], [c], [d]āˆˆZn. Suppose that [a] = [c] and [b] = [d].Then [a+b] = [c+d] and [ab] = [cd].

Page 13: Definitions, Theorems and Exercises Abstract Algebra Math 332

2.1 Groups 11

Lemma 2.1.12. Let n āˆˆ N. Then (Zn,+) is an abelian group.

Example 2.1.1. We wish to list all possible symmetries of an equilateral triangle.Such a triangle is shown in Figure 2.1.1. The letters A, B and C are not part of the triangle,but are added for our convenience. Mathematically, a symmetry of an object in the planeis an isometry of the plane (that is, a motion that does not change lengths between points)that take the object onto itself. In other words, a symmetry of an object in the plane is anisometry of the plane that leaves the appearance of the object unchanged.

Because the letters A, B and C in Figure 2.1.1 are not part of the triangle, a symmetryof the triangle may interchange these letters; we use the letters to keep track of what theisometry did. There are only two types of isometries that will leave the triangle lookingunchanged: reflections (that is, flips) of the plane in certain lines, and rotations of the planeby certain angles about the center of the triangle. (This fact takes a proof, but is beyond thescope of this course.) In Figure 2.1.2 we see the three possible lines in which the plane canbe reflected without changing the appearance of the triangle. Let M, M and M denotethe reflections of the planes in these lines. For example, if we apply reflection M to theplane, we see that the vertex labeled B is unmoved, and that the vertices labeled A and Care interchanged, as seen in Figure 2.1.3. The only two possible non-trivial rotations of theplane about the center of the triangle that leave the appearance of the triangle unchanged arerotation by ā—¦ clockwise and rotation by ā—¦ clockwise, denoted R and R. We donot need rotation by ā—¦ counterclockwise and rotation by ā—¦ counterclockwise, eventhough they also leave the appearance of the triangle unchanged, because they have thesame net effect as rotation by ā—¦ clockwise and rotation by ā—¦ clockwise, respectively,and it is only the net effect of isometries that is relevant to the study of symmetry. Let Idenote the identity map of the plane, which is an isometry, and which can be thought of asrotation by ā—¦.

A

C B

Figure 2.1.1.

The set G = {I,R,R,M,M,M} is the collection of all isometries of the planethat take the equilateral triangle onto itself. Each of these isometries can be thought ofas a function R ā†’ R, and as such we can combine these isometries by composition offunctions. It can be proved that the composition of isometries is an isometry, and therefore

Page 14: Definitions, Theorems and Exercises Abstract Algebra Math 332

12 2. Groups

L1

L3

L2

Figure 2.1.2.

A

C B

C

A B

M2

Figure 2.1.3.

Page 15: Definitions, Theorems and Exercises Abstract Algebra Math 332

2.1 Groups 13

composition becomes a binary operation on the set G; the details are omitted. We can thenform the operation table for this binary operation:

ā—¦ I R R M M M

I I R R M M M

R R R I M M M

R R I R M M M

M M M M I R R

M M M M R I R

M M M M R R I .

Composition of functions is associative, and hence this binary operation on G is associa-tive. Observe that I is an identity element. It is seen that I, M, M and M are their owninverses, and that R and R are inverses of each other. Therefore (G,ā—¦) is a group. Thisgroup is not abelian, however. For example, we see that R ā—¦M 6= M ā—¦R.

The group G is called the symmetry group of the equilateral triangle. ā™¦

Exercises

Exercise 2.1.1. For each of the following sets with binary operations, state whether the setwith binary operation is a group, and whether it is an abelian group.

(1) The set (,], and the binary operation multiplication.

(2) The set of positive rational numbers, and the binary operation multiplication.

(3) The set of even integers, and the binary operation addition.

(4) The set of even integers, and the binary operation multiplication.

(5) The set Z, and the binary operation āˆ— on Z defined by aāˆ—b = aāˆ’b for all a,b āˆˆ Z.

(6) The set Z, and the binary operation ? on Z defined by a?b = ab+a for all a,b āˆˆ Z.

(7) The set Z, and the binary operation ļæ½ on Z defined by aļæ½b= a+b+ for all a,bāˆˆZ.

(8) The set Rāˆ’ {āˆ’}, and the binary operation ļæ½ on Rāˆ’ {āˆ’} defined by aļæ½ b = a+b+ab for all a,b āˆˆ Rāˆ’ {āˆ’}.

Exercise 2.1.2. Let P = {a,b,c,d,e}. Find a binary operation āˆ— on P given by an operationtable such that (P,āˆ—) is a group.

Exercise 2.1.3. Find an example of a set and a binary operation on the set given by anoperation table such that each element of the set appears once and only once in each rowof the operation table and once and only once in each column, but the set together with thisbinary operation is not a group.

Page 16: Definitions, Theorems and Exercises Abstract Algebra Math 332

14 2. Groups

Exercise 2.1.4. Let A be a set. Let P(A) denote the power set of A. Define the binaryoperation 4 on P(A) by X 4 Y = (X āˆ’Y )āˆŖ (Y āˆ’X) for all X ,Y āˆˆP(A). (This binaryoperation is called symmetric difference. Prove that (P(A),4) is an abelian group.

Exercise 2.1.5. Let (G,āˆ—) be a group. Prove that if x ā€² = x for all x āˆˆ G, then G is abelian.Is the converse to this statement true?

Exercise 2.1.6. Let (H,?) be a group. Suppose that H is finite, and has an even number ofelements. Prove that there is some h āˆˆ H such that h 6= eH and h?h = eH .

Page 17: Definitions, Theorems and Exercises Abstract Algebra Math 332

2.2 Isomorphic Groups 15

2.2 Isomorphic Groups

Fraleigh, 7th ed. ā€“ Section 3Gallian, 8th ed. ā€“ Section 6Judson, 2013 ā€“ Section 9.1

Definition 2.2.1. Let (G,āˆ—) and (H,ļæ½) be groups, and let f : Gā†’ H be a function. Thefunction f is an isomorphism (sometimes called a group isomorphism) if f is bijectiveand if f (aāˆ—b) = f (a)ļæ½ f (b) for all a,b āˆˆ G. 4

Definition 2.2.2. Let (G,āˆ—) and (H,ļæ½) be groups. The groups G and H are isomorphic ifthere is an isomorphism Gā†’ H. If G and H are isomorphic, it is denoted G āˆ¼= H. 4

Theorem 2.2.3. Let G, H be groups, and let f : Gā†’ H be an isomorphism.

1. f (eG) = eH .

2. If a āˆˆG, then f (a ā€²) = [ f (a)] ā€², where the first inverse is in G, and the second is in H.

Proof. We will prove Part (2), leaving the rest to the reader.Let āˆ— and ļæ½ be the binary operations of G and H, respectively.

(2). Let a āˆˆG. Then f (a)ļæ½ f (a ā€²) = f (aāˆ—a ā€²) = f (eG) = eH , where the last equality usesPart (1) of this theorem, and the other two equalities use the fact that f is a isomorphismand that G is a group. A similar calculation shows that f (a ā€²)ļæ½ f (a) = eH . By Lemma 2.1.3,it follows that [ f (a)] ā€² = f (a ā€²).

Theorem 2.2.4. Let G, H and K be groups, and let f : Gā†’ H and j : H ā†’ K be isomor-phisms.

1. The identity map G : Gā†’ G is an isomorphism.

2. The function fāˆ’ is an isomorphism.

3. The function jā—¦ f is an isomorphism.

Lemma 2.2.5. Let G and H be groups. Suppose that G and H are isomorphic. Then G isabelian if and only if H is abelian.

Proof. This lemma follows immediately from Theorem 1.2.3 (1).

Lemma 2.2.6. Let (G,āˆ—) be a group, let A be a set, and let f : Aā†’ G be a bijective map.Then there is a unique binary operation ļæ½ on A such that (A,ļæ½) is a group and f is anisomorphism.

Page 18: Definitions, Theorems and Exercises Abstract Algebra Math 332

16 2. Groups

Exercises

Exercise 2.2.1. Which of the following functions are isomorphisms? The groups underconsideration are (R,+), and (Q,+), and ((,āˆž), Ā·).

(1) Let f : Qā†’ (,āˆž) be defined by f (x) = x for all x āˆˆQ.

(2) Let k : (,āˆž)ā†’ (,āˆž) be defined by k(x) = xāˆ’ for all x āˆˆ (,āˆž).

(3) Let m : Rā†’ R be defined by m(x) = x+ for all x āˆˆ R.

(4) Let g : (,āˆž)ā†’ R be defined by g(x) = lnx for all x āˆˆ (,āˆž).

Exercise 2.2.2. Prove Theorem 2.2.3 (1).

Exercise 2.2.3. Prove Theorem 2.2.4 (1) and (2).

Exercise 2.2.4. Prove that up to isomorphism, the only two groups with four elements areZ and the Klein -group K. Consider all possible operation tables for the binary operationof a group with four elements; use the fact that each element of a group appears once ineach row and once in each column of the operation table for the binary operation of thegroup, as stated in Remark 2.3.2.

Exercise 2.2.5. Let G be a group, and let gāˆˆG. Let ig : Gā†’G be defined by ig(x) = gxgāˆ’

for all x āˆˆ G. Prove that ig is an isomorphism.

Page 19: Definitions, Theorems and Exercises Abstract Algebra Math 332

2.3 Basic Properties of Groups 17

2.3 Basic Properties of Groups

Fraleigh, 7th ed. ā€“ Section 4Gallian, 8th ed. ā€“ Section 2Judson, 2013 ā€“ Section 3.2

Theorem 2.3.1. Let G be a group, and let a,b,c āˆˆ G.

1. eāˆ’ = e.

2. If ac = bc, then a = b (Cancellation Law).

3. If ca = cb, then a = b (Cancellation Law).

4. (aāˆ’)āˆ’ = a.

5. (ab)āˆ’ = bāˆ’aāˆ’.

6. If ba = e, then b = aāˆ’.

7. If ab = e, then b = aāˆ’.

Proof. We prove Part (5), leaving the rest to the reader.

(5). By Lemma 2.1.3 we know that ab has a unique inverse. If we can show that(ab)(bāˆ’aāˆ’) = e and (bāˆ’aāˆ’)(ab) = e, then it will follow that aāˆ’bāˆ’ is the uniqueinverse for ab, which means that (ab)āˆ’ = bāˆ’aāˆ’. Using the definition of a group we seethat

(ab)(bāˆ’aāˆ’) = [(ab)bāˆ’]aāˆ’ = [a(bbāˆ’)]aāˆ’ = [ae]aāˆ’ = aaāˆ’ = e.

A similar computation shows that (bāˆ’aāˆ’)(ab) = e.

Remark 2.3.2. A useful consequence of Theorem 2.3.1 (2) and (3) is that if the binaryoperation of a group with finitely many elements is given by an operation table, then eachelement of the group appears once and only once in each row of the operation table andonce and only once in each column (consider what would happen otherwise). On the otherhand, just because an operation table does have each element once and only once in eachrow and once and only once in each column does not guarantee that the operation yields agroup; the reader is asked to find such an operation table in Exercise 2.1.3. ā™¦

Theorem 2.3.3. Let G be a group. The following are equivalent.

a. G is abelian.

b. (ab)āˆ’ = aāˆ’bāˆ’ for all a,b āˆˆ G.

Page 20: Definitions, Theorems and Exercises Abstract Algebra Math 332

18 2. Groups

c. abaāˆ’bāˆ’ = e for all a,b āˆˆ G.

d. (ab) = ab for all a,b āˆˆ G.

Theorem 2.3.4 (Definition by Recursion). Let H be a set, let e āˆˆ H and let k : H ā†’ Hbe a function. Then there is a unique function f : Nā†’ H such that f () = e, and thatf (n+) = k( f (n)) for all n āˆˆ N.

Definition 2.3.5. Let G be a group and let a āˆˆ G.

1. The element an āˆˆ G is defined for all n āˆˆ N by letting a = a, and an+ = a Ā·an forall n āˆˆ N.

2. The element a āˆˆG is defined by a = e. For each n āˆˆN, the element aāˆ’n is definedby aāˆ’n = (an)āˆ’. 4

Lemma 2.3.6. Let G be a group, let a āˆˆ G and let n,m āˆˆ Z.

1. anam = an+m.

2. (an) ā€² = aāˆ’n.

Lemma 2.3.7. Let G be a group, let a āˆˆ G and let n,m āˆˆ Z.

1. anam = an+m.

2. (an)āˆ’ = aāˆ’n.

Proof. First, we prove Part (1) in the case where n āˆˆ N and m = āˆ’n. Using the definitionof aāˆ’n we see that anam = anaāˆ’n = an(an)āˆ’ = e = a = an+m.

We now prove Part (2). There are three cases. First, suppose n > . Then n āˆˆ N. Thenthe result is true by definition. Second, suppose n = . Then (an)āˆ’ = (a)āˆ’ = eāˆ’ = e =a = aāˆ’ = aāˆ’n. Third, suppose n < . Then āˆ’n āˆˆ N. We then have e = eāˆ’ = (a)āˆ’ =(anaāˆ’n)āˆ’ = (aāˆ’n)āˆ’(an)āˆ’, and similarly e = (an)āˆ’(aāˆ’n)āˆ’. By the uniqueness of in-verses we deduce that [(aāˆ’n)āˆ’]āˆ’ = (an)āˆ’, and hence aāˆ’n = (an)āˆ’.

We now prove Part (1) in general. There are five cases. First, suppose that n > andm > . Then n,m āˆˆ N. This part of the proof is by induction. We will use induction on k toprove that for each k āˆˆ N, the formula akap = ak+p holds for all p āˆˆ N.

Let k = . Let p āˆˆ N. Then by the definition of ap we see that akap = a Ā·ap = a Ā·ap =ap+ = a+p = ak+p. Hence the result is true for k = .

Now let k āˆˆ N. Suppose that the result is true for k. Let p āˆˆ N. Then by the definition ofak we see that ak+ap = (a Ā·ak) Ā·ap = a Ā· (ak Ā·ap) = a Ā·ak+p = a(k+p)+ = a(k+)+p. Hencethe result is true for k+ . It follows by induction that akap = ak+p for all p āˆˆ N, for allk āˆˆ N.

Second, suppose that n = or m = . Without loss of generality, assume that n = . Thenby the definition of am we see that anam = aam = e Ā·am = am = a+m = an+m.

Page 21: Definitions, Theorems and Exercises Abstract Algebra Math 332

2.3 Basic Properties of Groups 19

Third, suppose that n > and m < . Then āˆ’m > , and hence nāˆˆN and āˆ’māˆˆN. Thereare now three subcases.

For the first subcase, suppose that n + m > . Therefore n + m āˆˆ N. Let r = n + m.Then n = r + (āˆ’m). Because r > and āˆ’m > , then by the first case in this proof, to-gether with the definition of aāˆ’(āˆ’m), we see that anam = ar+(āˆ’m)am = (araāˆ’m)aāˆ’(āˆ’m) =ar(aāˆ’maāˆ’(āˆ’m)) = ar(aāˆ’m(aāˆ’m)āˆ’) = ar Ā· e = ar = an+m.

For the second subcase, suppose that n+m = . Then m = āˆ’n. Using the definition ofaāˆ’n we see that anam = anaāˆ’n = an(an)āˆ’ = e = a = an+m.

For the third subcase, suppose that n + m < . Then (āˆ’n) + (āˆ’m) = āˆ’(n + m) > .Because āˆ’m > and āˆ’n < , we can use the first of our three subcases, together withthe definition of aāˆ’n, to see that anam = ((an)āˆ’)āˆ’((am)āˆ’)āˆ’ = (aāˆ’n)āˆ’(aāˆ’m)āˆ’ =[aāˆ’maāˆ’n]āˆ’ = [a(āˆ’m)+(āˆ’n)]āˆ’ = [aāˆ’(n+m)]āˆ’ = [(an+m)āˆ’]āˆ’ = an+m. We have now com-pleted the proof in the case where n > and m < .

Fourth, suppose that n < and m > . This case is similar to the previous case, and weomit the details.

Fifth, suppose that n < and m < . Then āˆ’n > and āˆ’m > , and we can proceedsimilarly to the third subcase of the third case of this proof; we omit the details.

Definition 2.3.8. Let A be a set, and let āˆ— be a binary operation on A. An element e āˆˆ A isa left identity element for āˆ— if e āˆ— a = a for all a āˆˆ A. If āˆ— has a left identity element, thebinary operation āˆ— satisfies the Left Identity Law. 4Definition 2.3.9. Let A be a set, and let āˆ— be a binary operation of A. Let e āˆˆ A. Supposethat e is a left identity element for āˆ—. If a āˆˆ A, a left inverse for a is an element a ā€² āˆˆ A suchthat a ā€² āˆ— a = e. If every element in A has a left inverse, the binary operation āˆ— satisfies theLeft Inverses Law. 4Theorem 2.3.10. Let G be a set, and let āˆ— be a binary operation of A. If the pair (G,āˆ—)satisfies the Associative Law, the Left Identity Law and the Left Inverses Law, then (G,āˆ—) isa group.

Exercises

Exercise 2.3.1. Let H be a group, and let a,b,cāˆˆH. Prove that if abc = eH , then bca = eH .

Exercise 2.3.2. Let G be a group. An element g āˆˆG is idempotent if g = g. Prove that Ghas precisely one idempotent element.

Exercise 2.3.3. Let H be a group. Suppose that h = eH for all h āˆˆ H. Prove that H isabelian.

Exercise 2.3.4. Let G be a group, and let a,b āˆˆ G. Prove that (ab) = ab if and only ifab = ba.

Exercise 2.3.5. Let G be a group, and let a,b āˆˆG. Prove that (ab)āˆ’ = aāˆ’bāˆ’ if and onlyif ab = ba. (Do not use Theorem 2.3.3.)

Page 22: Definitions, Theorems and Exercises Abstract Algebra Math 332

20 2. Groups

Exercise 2.3.6. Find an example of a group G, and elements a,b āˆˆ G, such that (ab)āˆ’ 6=aāˆ’bāˆ’.

Exercise 2.3.7. Let (H,āˆ—) be a group. Let ļæ½ be the binary operation on H defined byaļæ½b = bāˆ—a for all a,b āˆˆ H.

(1) Prove that (H,ļæ½) is a group.

(2) Prove that (H,āˆ—) and (H,ļæ½) are isomorphic.

Exercise 2.3.8. Let G be a group, and let g āˆˆ G. Let ig : Gā†’ G be defined by ig(x) = gxg ā€²

for all x āˆˆ G. Prove that ig is an isomorphism.

Exercise 2.3.9. Let G be a group, and let g āˆˆ G. Suppose that G is finite. Prove that thereis some n āˆˆ N such that gn = eG.

Page 23: Definitions, Theorems and Exercises Abstract Algebra Math 332

2.4 Subgroups 21

2.4 Subgroups

Fraleigh, 7th ed. ā€“ Section 5Gallian, 8th ed. ā€“ Section 3Judson, 2013 ā€“ Section 3.3

Definition 2.4.1. Let G be a group, and let H āŠ†G be a subset. The subset H is a subgroupof G if the following two conditions hold.

(a) H is closed under āˆ—.

(b) (H,āˆ—) is a group.

If H is a subgroup of G, it is denoted H ā‰¤ G. 4

Lemma 2.4.2. Let G be a group, and let H ā‰¤ G.

1. The identity element of G is in H, and it is the identity element of H.

2. The inverse operation in H is the same as the inverse operation in G.

Proof.

(1). Let eG be the identity element of G. Because (H,āˆ—) is a group, it has an identityelement, say eH . (We cannot assume, until we prove it, that eH is the same as eG.) TheneH āˆ— eH = eH thinking of eH as being in H, and eG āˆ— eH = eH thinking of eH as being in G.Hence eH āˆ— eH = eG āˆ— eH . Because both eH and eG are in G, we can use Theorem 2.3.1 (2)to deduce that eH = eG. Hence eG āˆˆ H, and eG is the identity element of H.

(2). Now let a āˆˆH. Because (G,āˆ—) is a group, the element a has an inverse aāˆ’ āˆˆG. Wewill show that aāˆ’ āˆˆH. Because (H,āˆ—) is a group, then a has an inverse a āˆˆH. (Again, wecannot assume, until we prove it, that a is the same as aāˆ’.) Using the definition of inverses,and what we saw in the previous paragraph, we know that aāˆ’āˆ—a= eG and aāˆ—a= eG. Henceaāˆ—a = aāˆ’ āˆ—a. Using Theorem 2.3.1 (2) again, we deduce that aāˆ’ = a.

Theorem 2.4.3. Let G be a group, and let H āŠ† G. Then H ā‰¤ G if and only if the followingthree conditions hold.

(i) e āˆˆ H.

(ii) If a,b āˆˆ H, then aāˆ—b āˆˆ H.

(iii) If a āˆˆ H, then aāˆ’ āˆˆ H.

Page 24: Definitions, Theorems and Exercises Abstract Algebra Math 332

22 2. Groups

Proof. First suppose that H is a subgroup. Then Property (ii) holds by the definition of asubgroup, and Properties (i) and (iii) hold by Lemma 2.4.2.

Now suppose that Properties (i), (ii) and (iii) hold. To show that H is a subgroup, weneed to show that (H,āˆ—) is a group. We know that āˆ— is associative with respect to all theelements of G, so it certainly is associative with respect to the elements of H. The otherproperties of a group follow from what is being assumed.

Theorem 2.4.4. Let G be a group, and let H āŠ† G. Then H ā‰¤ G if and only if the followingthree conditions hold.

(i) H 6= /0.

(ii) If a,b āˆˆ H, then aāˆ—b āˆˆ H.

(iii) If a āˆˆ H, then aāˆ’ āˆˆ H.

Proof. First, suppose that H is a subgroup. Then Properties (i), (ii) and (iii) hold byLemma 2.4.3.

Second, suppose that Properties (i), (ii) and (iii) hold. Because H 6= /0, there is somebāˆˆH. By Property (iii) we know that bāˆ’ āˆˆH. By Property (ii) we deduce that bāˆ’āˆ—bāˆˆH,and hence e āˆˆ H. We now use Lemma 2.4.3 to deduce that H is a subgroup.

Lemma 2.4.5. Let G be a group, and let K āŠ† H āŠ† G. If K ā‰¤ H and H ā‰¤ G, then K ā‰¤ G.

Lemma 2.4.6. Let G be a group, and let {Hi}iāˆˆI be a family of subgroups of G indexed byI. Then

ā‹‚iāˆˆI Hi ā‰¤ G.

Theorem 2.4.7. Let G, H be groups, and let f : Gā†’ H be an isomorphism.

1. If Aā‰¤ G, then f (A)ā‰¤ H.

2. If Bā‰¤ H, then fāˆ’(B)ā‰¤ G.

Proof. We will prove Part (1), leaving the rest to the reader.Let āˆ— and ļæ½ be the binary operations of G and H, respectively.

(1). Let A ā‰¤ G. By Lemma 2.4.2 (1) we know that eG āˆˆ A, and by Theorem 2.2.3 (1)we know that eH = f (eG) āˆˆ f (A). Hence f (A) is non-empty. We can therefore use Theo-rem 2.4.4 to show that f (A) is a subgroup of H. Let x,y āˆˆ f (A). Then there are a,b āˆˆ Asuch that x = f (a) and y = f (b). Hence x ļæ½ y = f (a)ļæ½ f (b) = f (a āˆ— b), because f is a iso-morphism. Because A is a subgroup of G we know that a āˆ— b āˆˆ A, and hence x ļæ½ y āˆˆ f (A).Using Theorem 2.2.3 (2) we see that xāˆ’ = [ f (a)]āˆ’ = f (aāˆ’). Because A is a subgroup ofG, it follows from Theorem 2.4.4 (iii) that aāˆ’ āˆˆ A. We now use Theorem 2.4.4 to deducethat f (A) is a subgroup of H.

Page 25: Definitions, Theorems and Exercises Abstract Algebra Math 332

2.4 Subgroups 23

Lemma 2.4.8. Let (G,āˆ—) and (H,ļæ½) be groups, and let f : Gā†’ H be a function. Supposethat f is injective, and that f (aāˆ—b) = f (a)ļæ½ f (b) for all a,b āˆˆ G.

1. f (G)ā‰¤ H.

2. The map f : Gā†’ f (G) is an isomorphism.

Proof. Part (1) is proved using the same proof as Theorem 2.4.7 (1), and Part (2) is trivial.

Exercises

Exercise 2.4.1. Let GL(R) denote the set of invertible Ɨ matrices with real numberentries, and let SL(R) denote the set of all Ɨ matrices with real number entries thathave determinant . Prove that SL(R) is a subgroup of GL(R). (This exercise requiresfamiliarity with basic properties of determinants.)

Exercise 2.4.2. Let n āˆˆ N.

(1) Prove that (Zn,+) is an abelian group.

(2) Suppose that n is not a prime number. Then n = ab for some a,b āˆˆ N such that < a < n and < b < n. Prove that the set {[], [a], [a], . . . , [(bāˆ’)a]} is a subgroupof Zn.

(3) Is (Znāˆ’ {[]}, Ā·) a group for all n? If not, can you find any conditions on n that wouldguarantee that (Zn āˆ’ {[]}, Ā·) is a group?

Exercise 2.4.3. Find all the subgroups of the symmetry group of the square.

Exercise 2.4.4. Let G be a group, and let A,B āŠ† G. Suppose that G is abelian. Let ABdenote the subset

AB = {ab | a āˆˆ A and b āˆˆ B}.

Prove that if A,Bā‰¤ G, then ABā‰¤ G.

Exercise 2.4.5. Let G be a group, and let H āŠ† G. Prove that H ā‰¤ G if and only if thefollowing two conditions hold.

(i) H 6= /0.

(ii) If a,b āˆˆ H, then aāˆ—bāˆ’ āˆˆ H.

Exercise 2.4.6. Let G be a group. Suppose that G is abelian. Let I denote the subset

I = {g āˆˆ G | g = eG}.

Prove that I ā‰¤ G.

Page 26: Definitions, Theorems and Exercises Abstract Algebra Math 332

24 2. Groups

Exercise 2.4.7. Let G be a group, and let H āŠ† G. Suppose that the following three condi-tions hold.

(i) H 6= /0.

(ii) H is finite.

(iii) H is closed under āˆ—.

Prove that H ā‰¤ G.

Exercise 2.4.8. Let G be a group, and let s āˆˆ G. Let Cs denote the subset

Cs = {g āˆˆ G | gs = sg}.

Prove that Cs ā‰¤ G.

Exercise 2.4.9. Let G be a group, and let AāŠ† G. Let CA denote the subset

CA = {g āˆˆ G | ga = ag for all a āˆˆ A}.

Prove that CA ā‰¤ G.

Page 27: Definitions, Theorems and Exercises Abstract Algebra Math 332

3

Various Types of Groups

Page 28: Definitions, Theorems and Exercises Abstract Algebra Math 332

26 3. Various Types of Groups

3.1 Cyclic Groups

Fraleigh, 7th ed. ā€“ Section 6Gallian, 8th ed. ā€“ Section 4Judson, 2013 ā€“ Section 4.1

Lemma 3.1.1. Let G be a group and let a āˆˆ G. Then

{an | n āˆˆ Z}=ā‹‚{H ā‰¤ G | a āˆˆ H}. (3.1.1)

Definition 3.1.2. Let G be a group and let a āˆˆG. The cyclic subgroup of G generated bya, denoted 怈a怉, is the set in Equation 3.1.1. 4

Definition 3.1.3. Let G be a group. Then G is a cyclic group if G = 怈a怉 for some a āˆˆ G;the element a is a generator of G. 4

Definition 3.1.4. Let G be a group and let H ā‰¤ G. Then H is a cyclic subgroup of G ifH = 怈a怉 for some a āˆˆ G; the element a is a generator of H. 4

Definition 3.1.5. Let G be a group and let a āˆˆ G. If 怈a怉 is finite, the order of a, denoted|a|, is the cardinality of 怈a怉. If 怈a怉 is infinite, then a has infinite order. 4

Theorem 3.1.6 (Well-Ordering Principle). Let A āŠ† N be a set. If A is non-empty, thenthere is a unique m āˆˆ A such that mā‰¤ a for all a āˆˆ A.

Theorem 3.1.7 (Division Algorithm). Let a,b āˆˆ Z. Suppose that b 6= . Then there areunique q,r āˆˆ Z such that a = qb+ r and ā‰¤ r < |b|.

Theorem 3.1.8. Let G be a group, let a āˆˆ G and let m āˆˆ N. Then |a| = m if and only ifam = e and ai 6= e for all i āˆˆ {, . . . ,māˆ’}.

Proof. First, suppose that |a| = m. Then 怈a怉 = {an | n āˆˆ Z} has m elements. Therefore theelements a,a,a, . . . ,am cannot be all distinct. Hence there are i, j āˆˆ {, . . . ,m} such thati 6= j and ai = a j. WLOG assume i< j. Then a jāˆ’i = e. Observe that jāˆ’ iāˆˆN, and jāˆ’ iā‰¤m.Let M = {pāˆˆN | ap = e}. Then MāŠ†N, and M 6= /0 because jāˆ’ iāˆˆM. By the Well-OrderingPrinciple (Theorem 3.1.6), there is a unique k āˆˆ M such that k ā‰¤ x for all x āˆˆ M. Henceak = e and aq 6= e for all q āˆˆ {, . . . ,kāˆ’}.

Because jāˆ’ i āˆˆM, it follows that k ā‰¤ jāˆ’ i ā‰¤ m. Let y āˆˆ Z. By the Division Algorithm(Theorem 3.1.7), there are unique q,r āˆˆ Z such that y = qk+ r and ā‰¤ r < k. Then ay =aqk+r =(ak)qar = eqar = ar. It follows that 怈a怉āŠ† {an | nāˆˆ {, . . . ,kāˆ’}}. Therefore |怈a怉|ā‰¤ k.Because |怈a怉| = m, we deduce that m ā‰¤ k. It follows that k = m. Hence am = e and ai 6= efor all i āˆˆ {, . . . ,māˆ’}.

Second, suppose am = e and ai 6= e for all i āˆˆ {, . . . ,māˆ’ }. We claim that 怈a怉 āŠ† {an |

n āˆˆ {, . . . ,māˆ’}}, using the Division Algorithm similarly to an argument seen previouslyin this proof. Additionally, we claim that all the elements a,a,a, . . . ,amāˆ’ are distinct. Ifnot, then an argument similar to the one above would show that there are s, t āˆˆ {, . . . ,māˆ’}

Page 29: Definitions, Theorems and Exercises Abstract Algebra Math 332

3.1 Cyclic Groups 27

such that s < t and atāˆ’s = e; because t āˆ’ sā‰¤ māˆ’ < m, we would have a contradiction. Itfollows that 怈a怉= {an | n āˆˆ {, . . . ,māˆ’}}, and hence |a|= m.

Lemma 3.1.9. Let G be a group. If G is cyclic, then G is abelian.

Theorem 3.1.10. Let G be a group and let H ā‰¤ G. If G is cyclic, then H is cyclic.

Corollary 3.1.11. Every subgroup of Z has the form nZ for some n āˆˆ NāˆŖ {}.Theorem 3.1.12. Let G be a group. Suppose that G is cyclic.

1. If G is infinite, then G āˆ¼= Z.

2. If |G|= n for some n āˆˆ N, then G āˆ¼= Zn.

Definition 3.1.13. Let a,b āˆˆ Z. If at least one of a or b is not zero, the greatest commondivisor of a and b, denoted (a,b), is the largest integer that divides both a and b. Let(,) = . 4Lemma 3.1.14. Let a,b āˆˆ Z. Then (a,b) exists and (a,b)ā‰„ .

Definition 3.1.15. Let a,bāˆˆZ. The numbers a and b are relatively prime if (a,b) = . 4Lemma 3.1.16. Let a,b āˆˆ Z. Then there are m,n āˆˆ Z such that (a,b) = ma+nb.

Corollary 3.1.17. Let a,b āˆˆ Z. If r is a common divisor of a and b, then r|(a,b).

Corollary 3.1.18. Let a,b āˆˆ Z. Then (a,b) = if and only if there are m,n āˆˆ Z such thatma+nb = .

Corollary 3.1.19. Let a,b,r āˆˆ Z. Suppose that (a,b) = . If a|br then a|r.

Theorem 3.1.20. Let G be a group. Suppose that G = 怈a怉 for some a āˆˆG, and that |G|= nfor some n āˆˆ N. Let s,r āˆˆ N.

1. |as|= n(n,s) .

2. 怈as怉= 怈ar怉 if and only if (n,s) = (n,r).

Corollary 3.1.21. Let G be a group. Suppose that G = 怈a怉 for some aāˆˆG, and that |G|= nfor some n āˆˆ N. Let s āˆˆ N. Then G = 怈as怉 if and only if (n,s) = .

Exercises

Exercise 3.1.1. Let C be a cyclic group of order . How many generators does C have?

Exercise 3.1.2. List all orders of subgroups of Z.

Exercise 3.1.3. Find all the subgroups of Z.

Exercise 3.1.4. Let p,q āˆˆ N be prime numbers. How many generators does the group Zpqhave?

Page 30: Definitions, Theorems and Exercises Abstract Algebra Math 332

28 3. Various Types of Groups

Exercise 3.1.5. Let G be a group, and let g,h āˆˆ G. Prove that if gh has order p for somep āˆˆ N, then hg has order p.

Exercise 3.1.6. Let G, H be groups, and let f ,k : Gā†’ H be isomorphisms. Suppose thatG = 怈a怉 for some a āˆˆ G. Prove that if f (a) = k(a), then f = k.

Exercise 3.1.7. Let G be a group. Prove that if G has a finite number of subgroups, then Gis finite.

Exercise 3.1.8. Let G be a group, and let A,B ā‰¤ G. Suppose that G is abelian, and that Aand B are cyclic and finite. Suppose that |A| and |B| are relatively prime. Prove that G has acyclic subgroup of order |A| Ā· |B|

Page 31: Definitions, Theorems and Exercises Abstract Algebra Math 332

3.2 Finitely Generated Groups 29

3.2 Finitely Generated Groups

Fraleigh, 7th ed. ā€“ Section 7

Lemma 3.2.1. Let G be a group and let SāŠ† G.

1. {H ā‰¤ G | SāŠ† H} 6= /0.

2.ā‹‚{H ā‰¤ G | SāŠ† H}ā‰¤ G.

3. If K ā‰¤ G and SāŠ† K, thenā‹‚{H ā‰¤ G | SāŠ† H}āŠ† K.

Proof. Part (1) holds because G āˆˆ {H ā‰¤ G | S āŠ† H}, Part (2) holds by Lemma 2.4.6, andPart (3) is straightforward.

Definition 3.2.2. Let G be a group and let SāŠ† G. The subgroup generated by S, denoted怈S怉, is defined by 怈S怉=

ā‹‚{H ā‰¤ G | SāŠ† H}. 4

Theorem 3.2.3. Let G be a group and let SāŠ† G. Then

怈S怉= {(a)n(a)n Ā· Ā· Ā·(ak)nk | k āˆˆ N, and a, . . . ,ak āˆˆ S, and n, . . . ,nk āˆˆ Z}.

Remark 3.2.4. In an abelian group, using additive notation, we would write the result ofTheorem 3.2.3 as

怈S怉= {na+na+ Ā· Ā· Ā·+nkak | k āˆˆ N, and a, . . . ,ak āˆˆ S, and n, . . . ,nk āˆˆ Z}. ā™¦

Definition 3.2.5. Let G be a group and let S āŠ† G. Suppose 怈S怉 = G. The set S generatesG, and the elements of S are generators of G. 4

Definition 3.2.6. Let G be a group. If G = 怈S怉 for some finite subset S āŠ† G, then G isfinitely generated.

Page 32: Definitions, Theorems and Exercises Abstract Algebra Math 332

30 3. Various Types of Groups

3.3 Dihedral Groups

Fraleigh, 7th ed. ā€“ Section 8Gallian, 8th ed. ā€“ Section 1Judson, 2013 ā€“ Section 5.2

Theorem 3.3.1. Let n āˆˆ N. Suppose n ā‰„ . For a regular n-gon, let denote the identitysymmetry, let r denote the smallest possible clockwise rotation symmetry, and let m denotea reflection symmetry.

1. rn = , and rk 6= for k āˆˆ {, . . . ,nāˆ’}.

2. m = and m 6= .

3. rm = mrāˆ’.

4. If p āˆˆ Z, then rpm = mrāˆ’p.

5. If p āˆˆ N, then rp = rk for a unique k āˆˆ {,, . . . ,nāˆ’}.

6. If p,s āˆˆ {,, . . . ,nāˆ’}, then rp = rs and mrp = mrs if and only if p = s.

7. If p āˆˆ {,, . . . ,nāˆ’}, then m 6= rp.

8. If p āˆˆ {,, . . . ,nāˆ’}, then (rp)āˆ’ = rnāˆ’p and (mrp)āˆ’ = mrp.

Proof. Parts (1) and (2) follow immediately from the definition of r and m. Part (3) can beverified geometrically by doing both sides to a polygon. For Part (4), prove it for positivep by induction, for p = trivially, and for negative p by using the fact that it has beenproved for positive p and then for p negative looking at mrpm=mrāˆ’(āˆ’p)m= rāˆ’pmm= rāˆ’p.Part (5) uses the Division Algorithm (Theorem 3.1.7). Part (6) is proved similarly to proofswe saw for cyclic groups. Part (7) is geometric, because t reverses orientation and powersof r preserve orientation. Part (8) is also geometric, using basic ideas about rotations andreflections.

Definition 3.3.2. Let n āˆˆ N. Suppose n ā‰„ . For a regular n-gon, let denote the identitysymmetry, let r denote the smallest possible clockwise rotation symmetry, and let m denotea reflection symmetry. The n-th dihedral group, denoted Dn, is the group

Dn = {,r,r, . . . ,rnāˆ’,m,mr,mr, . . . ,mrnāˆ’}. 4

Theorem 3.3.3. Let n āˆˆ N. Suppose nā‰„ . Then there is a unique group with generators aand b that satisfy the following three conditions.

(i) an = , and ak 6= for all k āˆˆ {, . . . ,nāˆ’}.

(ii) b = and b 6= .

(iii) ab = baāˆ’.

Page 33: Definitions, Theorems and Exercises Abstract Algebra Math 332

3.4 Permutations and Permutation Groups 31

3.4 Permutations and Permutation Groups

Fraleigh, 7th ed. ā€“ Section 8Gallian, 8th ed. ā€“ Section 5, 6

Judson, 2013 ā€“ Section 5.1

Definition 3.4.1. Let A be a non-empty set. A permutation of A is a bijective map Aā†’ A.The set of all permutations of A is denoted SA. The identity permutation Aā†’ A is denotedĪ¹ . 4

Definition 3.4.2. Let A be a non-empty set. The composition of two permutations of A iscalled permutation multiplication. 4

Lemma 3.4.3. Let A be a non-empty set. The pair (SA,ā—¦) is a group.

Remark 3.4.4. In the group SA, we will usually write ĻƒĻ„ as an abbreviation of Ļƒ ā—¦Ļ„ . ā™¦

Lemma 3.4.5. Let A and B be non-empty sets. Suppose that A and B have the same cardi-nality. Then SA āˆ¼= SB.

Definition 3.4.6. Let n āˆˆ N, and let A = {, . . . ,n}. The group SA is denoted Sn. The groupSn is the symmetric group on n letters. 4

Proposition 3.4.7. Let A be a non-empty set. Then SA is abelian if and only if A is finiteand |A|ā‰¤ .

Proof. It is easy to see that S and S are abelian (look at the groups explicitly). We seethat S is not abelian by looking at the two permutations with second rows () and ().However, those two permutations can be thought of as belonging to SA for any A that hasthree or more elements (including the case when A is infinite), and hence all such groupsare not abelian.

Theorem 3.4.8 (Cayleyā€™s Theorem). Let G be a group. Then there is a set A such that Gis isomorphic to a subgroup of SA. If G is finite, a finite set A can be found.

Exercises

Exercise 3.4.1. Let Ļƒ ,Ļ„ āˆˆ S be defined by

Ļƒ =

(

)and Ļ„ =

(

).

Compute each of the following.

(1) Ļƒ.

(2) Ļ„āˆ’.

Page 34: Definitions, Theorems and Exercises Abstract Algebra Math 332

32 3. Various Types of Groups

(3) Ļ„Ļƒ .

(4) ĻƒĻ„ .

Exercise 3.4.2. Find all subgroups of S.

Exercise 3.4.3. Let nāˆˆN. Suppose nā‰„ . Let Ļƒ āˆˆ Sn. Suppose that ĻƒĻ„ = Ļ„Ļƒ for all Ļ„ āˆˆ Sn.Prove that Ļƒ = Ī¹ .

Exercise 3.4.4. Let A be a non-empty set, and let Pā‰¤ SA. The subgroup P is transitive onA if for each x,y āˆˆ A, there is some Ļƒ āˆˆ P such that Ļƒ(x) = y.

Prove that if A is finite, then there is a subgroup Q ā‰¤ SA such that Q is cyclic, that|Q|= |A|, and that Q is transitive on A.

Page 35: Definitions, Theorems and Exercises Abstract Algebra Math 332

3.5 Permutations Part II and Alternating Groups 33

3.5 Permutations Part II and Alternating Groups

Fraleigh, 7th ed. ā€“ Section 9Gallian, 8th ed. ā€“ Section 5Judson, 2013 ā€“ Section 5.1

Definition 3.5.1. Let A be a non-empty set, and let Ļƒ āˆˆ SA. Let āˆ¼ be the relation on Adefined by a āˆ¼ b if and only if b = Ļƒn(a) for some n āˆˆ Z, for all a,b āˆˆ A. 4

Lemma 3.5.2. Let A be a non-empty set, and let Ļƒ āˆˆ SA. The relation āˆ¼ is an equivalencerelation on A.

Definition 3.5.3. Let A be a set, and let Ļƒ āˆˆ SA. The equivalence classes of āˆ¼ are called theorbits of Ļƒ . 4

Definition 3.5.4. Let n āˆˆ N, and let Ļƒ āˆˆ Sn. The permutation Ļƒ is a cycle if it has at mostone orbit with more than one element. The length of a cycle is the number of elements inits largest orbit. A cycle of length is a transposition. 4

Lemma 3.5.5. Let nāˆˆN, and let Ļƒ āˆˆ Sn. Then Ļƒ is the product of disjoint cycles; the cyclesof length greater than are unique, though not their order.

Corollary 3.5.6. Let n āˆˆ N, and let Ļƒ āˆˆ Sn. Suppose n ā‰„ . Then Ļƒ is the product oftranspositions.

Theorem 3.5.7. Let n āˆˆ N, and let Ļƒ āˆˆ Sn. Suppose nā‰„ . Then either all representationsof Ļƒ as a product of transpositions have an even number of transpositions, or all have anodd number of transpositions.

Definition 3.5.8. Let n āˆˆ N, and let Ļƒ āˆˆ Sn. Suppose n ā‰„ . The permutation Ļƒ is evenor odd, respectively, if it is the product of an even number or odd number, respectively, oftranspositions. 4

Definition 3.5.9. Let nāˆˆN. Suppose nā‰„ . The set of all even permutations of A is denotedAn. 4

Lemma 3.5.10. Let n āˆˆ N. Suppose nā‰„ .

1. The set An is a subgroup of Sn.

2. |An|=n! .

Definition 3.5.11. Let n āˆˆ N. Suppose nā‰„ . The group An is the alternating group on nletters. 4

Exercises

Page 36: Definitions, Theorems and Exercises Abstract Algebra Math 332

34 3. Various Types of Groups

Exercise 3.5.1. Compute the product of cycles (,,)(,) as a single permutation in thefollowing groups.

(1) In S.

(2) In S.

Exercise 3.5.2. Let Ļƒ āˆˆ S be defined by

Ļƒ =

(

).

(1) Write Ļƒ as a product of cycles.

(2) Write Ļƒ as a product of transpositions.

Exercise 3.5.3. Let n āˆˆ N. Suppose nā‰„ . Let Ļƒ āˆˆ Sn.

(1) Prove that Ļƒ can be written as a product of at most nāˆ’ transpositions.

(2) Prove that if Ļƒ is not a cycle, it can be written as a product of at most nāˆ’ transpo-sitions.

(3) Prove that if Ļƒ is odd, it can be written as a product of n+ transpositions.

(4) Prove that if Ļƒ is even, it can be written as a product of n+ transpositions.

Exercise 3.5.4. Let nāˆˆN. Suppose nā‰„ . Let K ā‰¤ Sn. Prove that either all the permutationsin K are even, or exactly half the permutations in K are even.

Exercise 3.5.5. Let n āˆˆN. Suppose nā‰„ . Let Ļƒ āˆˆ Sn. Suppose that Ļƒ is odd. Prove that ifĻ„ āˆˆ Sn is odd, then there is some Ī· āˆˆ An such that Ļ„ = ĻƒĪ· .

Exercise 3.5.6. Let n āˆˆN. Let Ļƒ āˆˆ Sn. Prove that if Ļƒ is a cycle of odd length, then Ļƒ is acycle.

Page 37: Definitions, Theorems and Exercises Abstract Algebra Math 332

4

Basic Constructions

Page 38: Definitions, Theorems and Exercises Abstract Algebra Math 332

36 4. Basic Constructions

4.1 Direct Products

Fraleigh, 7th ed. ā€“ Section 11Gallian, 8th ed. ā€“ Section 8Judson, 2013 ā€“ Section 9.2

Definition 4.1.1. Let H and K be groups. The product binary operation on HƗK is thebinary operation defined by (h,k)(h,k) = (hh,kk) for all (h,k),(h,k) āˆˆ H ƗK. 4Lemma 4.1.2. Let H and K be groups. The set HƗK with the product binary operation isa group.

Definition 4.1.3. Let H and K be groups. The set HƗK with the product binary operationis the direct product of the groups H and K. 4Lemma 4.1.4. Let H and K be groups. Then HƗK āˆ¼= KƗH.

Lemma 4.1.5. Let H and K be groups. Suppose that H and K are abelian. Then HƗK isabelian.

Theorem 4.1.6. Let m,n āˆˆN. The group ZmƗZn is cyclic and is isomorphic to Zmn if andonly if m and n are relatively prime.

Definition 4.1.7. Let G be a group, and let A,B āŠ† G. Let AB denote the subset AB = {ab |

a āˆˆ A and b āˆˆ B}. 4Lemma 4.1.8. Let H and K be groups. Let H = HƗ {eK} and K = {eH}ƗK.

1. H, K ā‰¤ HƗK.

2. HK = HƗK.

3. H āˆ© K = {(eH ,eK)}.

4. hk = kh for all h āˆˆ H and k āˆˆ K.

Lemma 4.1.9. Let G be a group, and let H,K ā‰¤ G. Suppose that the following propertieshold.

(i) HK = G.

(ii) H āˆ©K = {e}.

(iii) hk = kh for all h āˆˆ H and k āˆˆ K.

Then G āˆ¼= HƗK.

Lemma 4.1.10. Let G be a group, and let H,K ā‰¤G. Then HK = G and H āˆ©K = {e} if andonly if for every g āˆˆ G there are unique h āˆˆ H and k āˆˆ K such that g = hk.

Page 39: Definitions, Theorems and Exercises Abstract Algebra Math 332

4.1 Direct Products 37

Theorem 4.1.11. Let m, . . . ,mr āˆˆ N. The groupāˆr

i=Zmi is cyclic and is isomorphic toZmmĀ·Ā·Ā·mr if and only if mi and mk are relatively prime for all i,k āˆˆ {, . . . ,r} such that i 6= k.

Exercises

Exercise 4.1.1. List all the elements of ZƗZ, and find the order of each element.

Exercise 4.1.2. Find all the subgroups of ZƗZƗZ.

Exercise 4.1.3. Prove Lemma 4.1.8.

Exercise 4.1.4. Prove Lemma 4.1.9.

Page 40: Definitions, Theorems and Exercises Abstract Algebra Math 332

38 4. Basic Constructions

4.2 Finitely Generated Abelian Groups

Fraleigh, 7th ed. ā€“ Section 11Gallian, 8th ed. ā€“ Section 11Judson, 2013 ā€“ Section 13.1

Theorem 4.2.1 (Fundamental Theorem of Finitely Generated Abelian Groups). Let Gbe a finitely generated abelian group. Then

G = Z(p)n ƗZ(p)n ƗĀ·Ā· Ā·Ć—Z(pk)nk ƗZƗZƗĀ·Ā· Ā·Ć—Z

for some k āˆˆ N, and prime numbers p, . . . , pk āˆˆ N, and n, . . . ,nk āˆˆ N. This direct productis unique up to the rearrangement of factors.

Exercises

Exercise 4.2.1. Find, up to isomorphism, all abelian groups of order .

Exercise 4.2.2. Find, up to isomorphism, all abelian groups of order .

Exercise 4.2.3. How many abelian groups are there, up to isomorphism, of order .

Exercise 4.2.4. Let G be a group. Suppose that G is finite and abelian. Prove that G isnot cyclic if and only if there is some prime number p āˆˆ N such that G has a subgroupisomorphic to ZpƗZp.

Page 41: Definitions, Theorems and Exercises Abstract Algebra Math 332

4.3 Infinite Products of Groups 39

4.3 Infinite Products of Groups

Definition 4.3.1. Let I be a non-empty set, and let {Ai}iāˆˆI be a family of sets indexed by I.The product of the family of sets, denoted

āˆiāˆˆI Ai, is the set defined byāˆ

iāˆˆI

Ai = { f āˆˆF (I,ā‹ƒiāˆˆI

Ai) | f (i) āˆˆ Ai for all i āˆˆ I}.

If all the sets Ai are equal to a single set A, the productāˆ

iāˆˆI Ai is denoted by AI . 4

Theorem 4.3.2. Let I be a non-empty set, and let {Ai}iāˆˆI be a family of non-empty setsindexed by I. Then

āˆiāˆˆI Ai 6= /0.

Definition 4.3.3. Let I be a non-empty set, and let {Gi}iāˆˆI be a family of non-empty groupsindexed by I. Let f ,g āˆˆ

āˆiāˆˆI Gi.

1. Let f g : Iā†’ā‹ƒiāˆˆI Ai be defined by ( f g)(i) = f (i)g(i) for all i āˆˆ I.

2. Let f ā€² : Iā†’ā‹ƒiāˆˆI Ai be defined by ( f )(i) = [ f (i)]āˆ’ for all i āˆˆ I.

3. Let e : Iā†’ā‹ƒiāˆˆI Ai be defined by e(i) = eGi for all i āˆˆ I. 4

Lemma 4.3.4. Let I be a non-empty set, and let {Gi}iāˆˆI be a family of non-empty groupsindexed by I. Let f ,g āˆˆ

āˆiāˆˆI Gi.

1. f g āˆˆāˆ

iāˆˆI Gi.

2. f ā€² āˆˆāˆ

iāˆˆI Gi.

3. e āˆˆāˆ

iāˆˆI Gi.

Lemma 4.3.5. Let I be a non-empty set, and let {Gi}iāˆˆI be a family of non-empty groupsindexed by I. Then

āˆiāˆˆI Gi is group.

Proof. We will show the Associative Law; the other properties are similar. Let f ,g,h āˆˆāˆiāˆˆI Gi. Let i āˆˆ I. Then

[( f g)h](i) = [( f g)(i)]h(i) = [ f (i)g(i)]h(i) = f (i)[g(i)h(i)]= f (i)[(gh)(i)] = [ f (gh)](i).

Hence ( f g)h = f (gh).

Page 42: Definitions, Theorems and Exercises Abstract Algebra Math 332

40 4. Basic Constructions

4.4 Cosets

Fraleigh, 7th ed. ā€“ Section 10Gallian, 8th ed. ā€“ Section 7

Judson, 2013 ā€“ Section 6.1, 6.2

Definition 4.4.1. Let G be a group and let H ā‰¤ G. Let āˆ¼L and āˆ¼R be the relations on Gdefined by a āˆ¼L b if and only if aāˆ’bāˆˆH for all a,bāˆˆG, and a āˆ¼R b if and only if abāˆ’ āˆˆHfor all a,b āˆˆ G. 4

Lemma 4.4.2. Let G be a group and let H ā‰¤ G. The relations āˆ¼L and āˆ¼R are equivalencerelations on G.

Definition 4.4.3. Let G be a group, let H ā‰¤ G and let a āˆˆ G. Let aH and Ha be defined by

aH = {ah | h āˆˆ H} and Ha = {ha | h āˆˆ H}. 4

Lemma 4.4.4. Let G be a group, let H ā‰¤ G and let a āˆˆ G.

1. The equivalence class of a with respect to āˆ¼L is aH.

2. The equivalence class of a with respect to āˆ¼R is Ha.

Proof. With respect to āˆ¼L, we have

[a] = {b āˆˆ G | a āˆ¼L b}= {b āˆˆ G | aāˆ’b āˆˆ H}

= {b āˆˆ G | aāˆ’b = h for some h āˆˆ H}

= {b āˆˆ G | b = ah for some h āˆˆ H}= {ah | h āˆˆ H}= aH.

The proof for āˆ¼R is similar.

Definition 4.4.5. Let G be a group, let H ā‰¤ G and let a āˆˆ G. The left coset of a (withrespect to H) is the set aH. The right coset of a (with respect to H) is the set Ha. 4

Lemma 4.4.6. Let G be a group, let H ā‰¤ G and let a,b āˆˆ G.

1. aH = bH if and only if aāˆ’b āˆˆ H.

2. Ha = Hb if and only if abāˆ’ āˆˆ H.

3. aH = H if and only if a āˆˆ H.

4. Ha = H if and only if a āˆˆ H.

Proof. This lemma follows immediately from the definition of āˆ¼L and āˆ¼R and Lemma 4.4.4.

Page 43: Definitions, Theorems and Exercises Abstract Algebra Math 332

4.4 Cosets 41

Lemma 4.4.7. Let G be a group and let H ā‰¤ G.

1. All left cosets of G with respect to H and all right cosets of G with respect to H havethe same cardinality as H.

2. The family of all left cosets of G with respect to H has the same cardinality as thefamily of all right cosets of G with respect to H.

Definition 4.4.8. Let G be a group, let H ā‰¤ G. The index of H in G, denoted (G : H), isthe number of left cosets of G with respect to H. 4Theorem 4.4.9. Let G be a group and let H ā‰¤ G. Suppose that G is finite. Then |G| =|H | Ā· (G : H).

Corollary 4.4.10 (Lagrangeā€™s Theorem). Let G be a group and let H ā‰¤ G. Suppose that Gis finite. Then |H | divides |G|.

Corollary 4.4.11. Let G be a group and let a āˆˆG. Suppose that G is finite. Then |a| divides|G|.

Corollary 4.4.12. Let G be a group. If |G| is a prime number, then G is cyclic.

Corollary 4.4.13. Let p āˆˆ N be a prime number. The only group of order p, up to isomor-phism, is Zp.

Theorem 4.4.14. Let G be a group and let K ā‰¤ H ā‰¤ G. Suppose that (G : H) and (H : K)are finite. Then (G : K) is finite, and (G : K) = (G : H) Ā· (H : K).

Exercises

Exercise 4.4.1. Find all cosets of the group Z with respect to the subgroup Z.

Exercise 4.4.2. Find all cosets of the group Z with respect to the subgroup 怈怉.Exercise 4.4.3. Find (Z : 怈怉).Exercise 4.4.4. Let G be a group, and let p,qāˆˆN be prime numbers. Suppose that |G|= pq.Prove that every proper subgroup of G is cyclic.

Exercise 4.4.5. Let G be a group, let H ā‰¤ G. Prove that there is a bijective map from theset of all left cosets of G with respect to H to the set of all right cosets of G with respect toH. (Note: the group G is not necessarily finite.)

Exercise 4.4.6. Prove Theorem 4.4.14.

Exercise 4.4.7. Let G be a group, let H ā‰¤G. Suppose that G is finite, and that (G : H) = .Prove that every left coset of G with respect to H is a right coset of G with respect to H.

Exercise 4.4.8. Let G be a group. Suppose that G is finite. Let n = |G|. Prove that if g āˆˆG,then gn = eG.

Page 44: Definitions, Theorems and Exercises Abstract Algebra Math 332

42 4. Basic Constructions

4.5 Quotient Groups

Fraleigh, 7th ed. ā€“ Section 14, 15Gallian, 8th ed. ā€“ Section 9Judson, 2013 ā€“ Section 10.1

Lemma 4.5.1. Let G be a group and let H ā‰¤ G. The formula (aH)(bH) = (ab)H for alla,b āˆˆ G gives a well-defined binary operation on the set of all left cosets of G with respectto H if and only if gH = Hg for all g āˆˆ G.

Lemma 4.5.2. Let G be a group and let H ā‰¤ G. The following are equivalent.

a. gHgāˆ’ āŠ† H for all g āˆˆ G.

b. gHgāˆ’ = H for all g āˆˆ G.

c. gH = Hg for all g āˆˆ G.

Definition 4.5.3. Let G be a group and let H ā‰¤ G. The subgroup H is normal if any ofthe conditions in Lemma 4.5.2 are satisfied. If H is a normal subgroup of G, it is denotedH C G. 4

Definition 4.5.4. Let G be a group and let H CG. The set of all left cosets of G with respectto H is denoted G/H. 4

Lemma 4.5.5. Let G be a group and let H C G. The set G/H with the binary operationgiven by (aH)(bH) = (ab)H for all a,b āˆˆ G is a group.

Definition 4.5.6. Let G be a group and let H C G. The set G/H with the binary operationgiven by (aH)(bH) = (ab)H for all a,b āˆˆ G is the quotient group of G by H. 4

Corollary 4.5.7. Let G be a group and let H C G. Suppose that G is finite. Then |G/H | =

(G : H) = |G||H |

.

Proof. This corollary follows immediately from Theorem 4.4.9.

Lemma 4.5.8. Let G be a group and let H ā‰¤ G. Suppose that G is abelian. Then G/H isabelian.

Lemma 4.5.9. Let G be a group and let H ā‰¤ G. Suppose that G is cyclic. Then G/H iscyclic.

Lemma 4.5.10. Let G be a group and let H ā‰¤ G. If (G : H) = , then H C G.

Lemma 4.5.11. Let G be a group and let H ā‰¤ G. Suppose that G is finite. If |H | = |G|,

then H C G.

Lemma 4.5.12. Let H and K be groups. Let G = HƗK.

Page 45: Definitions, Theorems and Exercises Abstract Algebra Math 332

4.5 Quotient Groups 43

1. HƗ {eK}C G and {eH}ƗK C G.

2. G/(HƗ {eK}) āˆ¼= K and G/({eH}ƗK) āˆ¼= H.

Lemma 4.5.13. Let G be a group, and let H,K ā‰¤G. Suppose that the following propertieshold.

(i) HK = G.

(ii) H āˆ©K = {e}.

Then H,K C G if and only if hk = kh for all h āˆˆ H and k āˆˆ K.

Definition 4.5.14. Let G be a group. The group G is simple if it has no non-trivial propernormal subgroups. 4

Exercises

Exercise 4.5.1. Compute each of the following quotient groups; state what the group is inthe form given by the Fundamental Theorem of Finitely Generated Abelian Groups.

(1) (ZƗZ)/怈(,)怉.

(2) (ZƗZ)/怈(,)怉.

(3) (ZƗZƗZ)/怈(,,)怉.

(4) (ZƗZ)/怈(,)怉.

(5) (ZƗZƗZ)/怈(,,)怉.

Exercise 4.5.2. Let G be a group and let H C G. Suppose that (G : H) is finite. Let m =(G : H). Prove that if g āˆˆ G, then gm āˆˆ H.

Exercise 4.5.3. Let G be a group, and let {Hi}iāˆˆI be a family of normal subgroups of Gindexed by I. Prove that

ā‹‚iāˆˆI Hi C G.

Exercise 4.5.4. Let G be a group and let SāŠ† G.

(1) Prove that {H C G | SāŠ† H} 6= /0.

(2) Prove thatā‹‚{H C G | SāŠ† H}C G.

(3) Prove that if K C G and SāŠ† K, thenā‹‚{H C G | SāŠ† H}āŠ† K.

The normal subgroup generated by S, which is defined byā‹‚{H ā‰¤ G | S āŠ† H}, is the

smallest normal subgroup of G that contains S.

Page 46: Definitions, Theorems and Exercises Abstract Algebra Math 332

44 4. Basic Constructions

Exercise 4.5.5. Let G be a group. A commutator in G is an element of G that can beexpressed in the form abaāˆ’bāˆ’ for some a,b āˆˆG. The commutator subgroup of G is thesmallest normal subgroup of G that contains all the commutators in G; such a subgroupexists by Exercise 4.5.4.

Let C denote the commutator subgroup of G. Prove that G/C is abelian.

Exercise 4.5.6. Let G be a group and let H ā‰¤ G. Suppose that no other subgroup of G hasthe same cardinality as H. Prove that H C G.

Exercise 4.5.7. Let G be a group, let H ā‰¤ G, and let N C G.

(1) Prove that H āˆ©N C H.

(2) Is H āˆ©N a normal subgroup of G? Give a proof or a counterexample.

Exercise 4.5.8. Let G be a group, and let m āˆˆ N. Suppose that G has a subgroup of orderm. Let K =

ā‹‚{H ā‰¤ G | |H |= m}. Prove that K C G.

Page 47: Definitions, Theorems and Exercises Abstract Algebra Math 332

5

Homomorphisms

Page 48: Definitions, Theorems and Exercises Abstract Algebra Math 332

46 5. Homomorphisms

5.1 Homomorphisms

Fraleigh, 7th ed. ā€“ Section 13Gallian, 8th ed. ā€“ Section 10Judson, 2013 ā€“ Section 11.1

Definition 5.1.1. Let (G,āˆ—) and (H,ļæ½) be groups, and let f : Gā†’ H be a function. Thefunction f is a homomorphism (sometimes called a group homomorphism) if f (aāˆ—b) =f (a)ļæ½ f (b) for all a,b āˆˆ G. 4

Theorem 5.1.2. Let G, H be groups, and let f : Gā†’ H be a homomorphism.

1. f (eG) = eH .

2. If a āˆˆG, then f (aāˆ’) = [ f (a)]āˆ’, where the first inverse is in G, and the second is inH.

3. If Aā‰¤ G, then f (A)ā‰¤ H.

4. If Bā‰¤ H, then fāˆ’(B)ā‰¤ G.

Theorem 5.1.3. Let G, H and K be groups, and let f : Gā†’H and j : Hā†’ K be homomor-phisms. Then jā—¦ f is a homomorphism.

Lemma 5.1.4. Let G and H be groups. Suppose that G is cyclic with generator a. If b āˆˆH,there is a unique homomorphism f : Gā†’ H such that f (a) = b.

Definition 5.1.5. Let G be a group. An endomorphism of G is a homomorphism Gā†’ G.An automorphism of G is an isomorphism Gā†’ G. 4

Definition 5.1.6. Let G be a group. An automorphism f : Gā†’ G is an inner automor-phism if there is some g āˆˆ G such that f (x) = gxgāˆ’ for all x āˆˆ G. 4

Lemma 5.1.7. Let G be a group, and let H ā‰¤ G. Then H C G if and only if f (H) = H forall inner automorphisms of G.

Exercises

Exercise 5.1.1. Which of the following functions are homomorphisms? Which of the ho-momorphisms are isomorphisms? The groups under consideration are (R,+), and (Q,+),and ((,āˆž), Ā·).

(1) Let f : Qā†’ (,āˆž) be defined by f (x) = x for all x āˆˆQ.

(2) Let k : (,āˆž)ā†’ (,āˆž) be defined by k(x) = xāˆ’ for all x āˆˆ (,āˆž).

(3) Let m : Rā†’ R be defined by m(x) = x+ for all x āˆˆ R.

Page 49: Definitions, Theorems and Exercises Abstract Algebra Math 332

5.1 Homomorphisms 47

(4) Let g : (,āˆž)ā†’ R be defined by g(x) = lnx for all x āˆˆ (,āˆž).

(5) Let h : Rā†’ R be defined by h(x) = |x| for all x āˆˆ R.

Exercise 5.1.2. Prove that the function det : GL(R)ā†’Rāˆ’ {} is a homomorphism, wherethe binary operation for both groups is multiplication.

Exercise 5.1.3.

(1) Let j : Zā†’Z be defined by j([x]) = [x] for all [x]āˆˆZ, where the two appearancesof ā€œ[x]ā€ in the definition of j refer to elements in different groups. Is this functionwell-defined? If it is well-defined, is it a homomorphism?

(2) Let k : Z ā†’ Z be defined by k([x]) = [x] for all [x] āˆˆ Z. Is this function well-defined? If it is well-defined, is it a homomorphism?

(3) Can you find criteria on n,m āˆˆN that will determine when the function r : Znā†’ Zmdefined by r([x]) = [x] for all [x] āˆˆZn is well-defined and is a homomorphism? Proveyour claim.

Exercise 5.1.4. Let G, H be groups. Prove that the projection maps Ļ€ : GƗH ā†’ G andĻ€ : GƗHā†’ H are homomorphisms.

Exercise 5.1.5. Let G be a group, and let f : Gā†’G be defined by f (x) = xāˆ’ for all x āˆˆG.Is g a homomorphism? Give a proof or a counterexample.

Exercise 5.1.6. Let G, H be groups, and let f ,k : Gā†’H be homomorphisms. Suppose thatG = 怈S怉 for some SāŠ† G. Prove that if f (a) = k(a) for all a āˆˆ S, then f = k.

Page 50: Definitions, Theorems and Exercises Abstract Algebra Math 332

48 5. Homomorphisms

5.2 Kernel and Image

Fraleigh, 7th ed. ā€“ Section 13, 14Gallian, 8th ed. ā€“ Section 10

Judson, 2013 ā€“ Section 11.1, 11.2

Definition 5.2.1. Let G and H be groups, and let f : Gā†’ H be a homomorphism.

1. The kernel of f , denoted ker f , is the set ker f = fāˆ’({eH}).

2. The image of f , denoted im f , is the set im f = f (G). 4

Remark 5.2.2. Observe that

ker f = {g āˆˆ G | f (g) = eH}

andim f = {h āˆˆ H | h = f (g) for some g āˆˆ G}. ā™¦

Lemma 5.2.3. Let G, H be groups, and let f : Gā†’ H be a homomorphism.

1. ker f ā‰¤ G.

2. im f ā‰¤ H.

Proof. Straightforward, using Theorem 5.1.2.

Lemma 5.2.4. Let G, H be groups, and let f : Gā†’H be a homomorphism. Then ker f CG.

Theorem 5.2.5. Let G and H be groups, and let f : Gā†’ H be a homomorphism. Thefunction f is injective if and only if ker f = {eG}.

Proof. Suppose that f is injective. Because f (eG) = eH by Theorem 5.1.2 (1), it followsfrom the injectivity of f that ker f = fāˆ’({eH}) = {eG}.

Now suppose that ker f = {eG}. Let a,b āˆˆ G, and suppose that f (a) = f (b). By Theo-rem 5.1.2 (2) and the definition of homomorphisms we see that

f (bāˆ—aāˆ’) = f (b)ļæ½ f (aāˆ’) = f (a)ļæ½ [ f (a)]āˆ’ = eH .

It follows that bāˆ—aāˆ’ āˆˆ fāˆ’({eH}) = ker f . Because ker f = {eG}, we deduce that bāˆ—aāˆ’ =eG. A similar calculation shows that aāˆ’ āˆ— b = eG. By Lemma 2.1.3 we deduce that(aāˆ’)āˆ’ = b, and therefore by Theorem 2.3.1 (4) we see that b = a. Hence f is injec-tive.

Lemma 5.2.6. Let G, H be groups, and let f : Gā†’ H be a homomorphism. Let h āˆˆ H. Ifa āˆˆ fāˆ’({h}), then fāˆ’({h}) = a(ker f ).

Page 51: Definitions, Theorems and Exercises Abstract Algebra Math 332

5.2 Kernel and Image 49

Definition 5.2.7. Let G be a group and let N C G. The canonical map for G and N is thefunction Ī³ : Gā†’ G/N defined by Ī³(g) = gN for all g āˆˆ G. 4Lemma 5.2.8. Let G be a group and let N C G. The canonical map Ī³ : Gā†’ G/N is asurjective homomorphism, and kerĪ³ = N.

Theorem 5.2.9 (First Isomorphism Theorem). Let G, H be groups, and let f : Gā†’ Hbe a homomorphism. Then there is a a unique isomorphism g : G/ker f ā†’ im f such thatf = gā—¦Ī³ , where Ī³ : Gā†’ G/ker f is the canonical map.

Remark 5.2.10. The condition f = gā—¦Ī³ in the First Isomorphism Theorem is representedby the following commutative diagram (discuss what that means).

G im f ā‰¤ H

G/ker f

f

Ī³g

ā™¦

Corollary 5.2.11. Let G, H be groups, and let f : Gā†’ H be a homomorphism.

1. G/ker f āˆ¼= im f .

2. If f is surjective, then G/ker f āˆ¼= H.

Exercises

Exercise 5.2.1. Find the kernel of each of the following homomorphisms.

(1) Let f : Zā†’ Z be the unique homomorphism determined by f () = [].

(2) Let g : ZƗZā†’ Z be the unique homomorphism determined by g((,)) = andg((,)) = .

Exercise 5.2.2. In Exercise 5.1.3, you found criteria on n,m āˆˆ N that determine whenthe function r : Zn ā†’ Zm defined by r([x]) = [x] for all [x] āˆˆ Zn is well-defined and is ahomomorphism. Find the kernel for those functions that are well-defined and are homo-morphisms.

Exercise 5.2.3. Let G, H be groups, and let f : Gā†’ H be a homomorphism. Prove thatim f is abelian if and only if abaāˆ’bāˆ’ āˆˆ ker f for all a,b āˆˆ G.

Exercise 5.2.4. Let G be a group, and let g āˆˆG. Let p : Zā†’G be defined by p(n) = gn forall n āˆˆ N. Find ker f and im f .

Page 52: Definitions, Theorems and Exercises Abstract Algebra Math 332

50 5. Homomorphisms

Page 53: Definitions, Theorems and Exercises Abstract Algebra Math 332

6

Applications of Groups

Page 54: Definitions, Theorems and Exercises Abstract Algebra Math 332

52 6. Applications of Groups

6.1 Group Actions

Fraleigh, 7th ed. ā€“ Section 16, 17Gallian, 8th ed. ā€“ Section 29

Judson, 2013 ā€“ Section 14.1ā€“14.3

Definition 6.1.1. Let X be a set and let G be a group. An action of G on X is a functionāˆ— : GƗX ā†’ X that satisfies the following two conditions.

1. eGx = x for all x āˆˆ X .

2. (ab)x = a(bx) for all x āˆˆ X and a,b āˆˆ G. 4

Lemma 6.1.2. Let X be a set and let G be a group.

1. Let āˆ— : GƗXā†’X be an action of G on X. Let Ļ† : Gā†’ SX be defined by Ļ†(g)(x) = gxfor all g āˆˆ G and x āˆˆ X. Then Ļ† is well-defined and is a homomorphism.

2. Let Ļˆ : Gā†’ SX be a homomorphism. Let ? : GƗX ā†’ X be defined by ?((g,x)) =Ļˆ(g)(x) for all g āˆˆ G and x āˆˆ X. Then ? is an action of G on X.

Definition 6.1.3. Let X be a set and let G be a group. The set X is a G-set if there is anaction of G on X . 4

Definition 6.1.4. Let X be a set and let G be a group. Suppose that X is a G-set. Let g āˆˆG.The fixed set of g, denoted Xg, is the set Xg = {x āˆˆ X | gx = x}. 4

Definition 6.1.5. Let X be a set and let G be a group. Suppose that X is a G-set.

1. The group G acts faithfully on X if Xg 6= X for all g āˆˆ Gāˆ’ {eG}.

2. The group G acts transitively on X if for each x,y āˆˆ X there is some g āˆˆG such thatgx = y. 4

Definition 6.1.6. Let X be a set and let G be a group. Suppose that X is a G-set. Letx āˆˆ X . The isotropy subgroup of x (also called the stabilizer of x), denoted Gx, is the setGx = {g āˆˆ G | gx = x}. 4

Lemma 6.1.7. Let X be a set and let G be a group. Suppose that X is a G-set. Let x āˆˆ X.Then Gx ā‰¤ G.

Definition 6.1.8. Let X be a set and let G be a group. Suppose that X is a G-set. Let āˆ¼ bethe relation on X defined by x āˆ¼ y if and only if there is some g āˆˆ G such that gx = y for allx,y āˆˆ X . 4

Lemma 6.1.9. Let X be a set and let G be a group. Suppose that X is a G-set. The relationsāˆ¼ is an equivalence relation on X.

Page 55: Definitions, Theorems and Exercises Abstract Algebra Math 332

6.1 Group Actions 53

Definition 6.1.10. Let X be a set and let G be a group. Suppose that X is a G-set. Let xāˆˆ X .The orbit of x (with respect to G), denoted Gx, is the set Gx = {gx | g āˆˆ G}. 4

Lemma 6.1.11. Let X be a set and let G be a group. Suppose that X is a G-set. Let x āˆˆ X.

1. Suppose Gx is finite. Then |Gx|= (G : Gx).

2. Suppose G is finite. Then |G|= |Gx| Ā· |Gx|.

Theorem 6.1.12 (Burnsideā€™s Formula). Let X be a set and let G be a group. Suppose thatX and G are finite, and that X is a G-set. Let r be the number of orbits in X with respect toG. Then

r Ā· |G|=āˆ‘gāˆˆG

|Xg|.

Exercises

Exercise 6.1.1. An action of (R,+) on the plane R is obtained by assigning to each Īø āˆˆRthe rotation of the R about the origin counterclockwise by angle Īø . Let P āˆˆ R. Supposethat P is not the origin.

(1) Prove that R is a R-set.

(2) Describe the orbit RP geometrically.

(3) Find the isotropy subgroup RP.

Exercise 6.1.2. Let X be a set and let G be a group. Suppose that X is a G-set. Prove thatG acts faithfully on X if and only if for each g,h āˆˆ G such that g 6= h, there is some x āˆˆ Xsuch that gx 6= hx.

Exercise 6.1.3. Let X be a set, let Y āŠ† X , and let G be a group. Suppose that X is a G-set.Let GY = {g āˆˆ G | gy = y for all y āˆˆ Y }. Prove that GY ā‰¤ G.

Exercise 6.1.4. The four faces of a tetrahedral die are labeled with , , and dots,respectively. How many different tetrahedral dice can be made?

Exercise 6.1.5. Each face of a cube is painted with one of eight colors; no two faces canhave the same color. How many different cubes can be made?

Exercise 6.1.6. Each corner of a cube is painted with one of four colors; different cornersmay have the same color. How many different cubes can be made?

Page 56: Definitions, Theorems and Exercises Abstract Algebra Math 332

54 6. Applications of Groups

Page 57: Definitions, Theorems and Exercises Abstract Algebra Math 332

7

Rings and Fields

Page 58: Definitions, Theorems and Exercises Abstract Algebra Math 332

56 7. Rings and Fields

7.1 Rings

Fraleigh, 7th ed. ā€“ Section 18Gallian, 8th ed. ā€“ Section 12, 13

Judson, 2013 ā€“ Section 16.1, 16.2

Definition 7.1.1. Let A be a set, and let + and Ā· be binary operations on A.

1. The binary operations + and Ā· satisfy the Left Distributive Law (an alternativeexpression is that Ā· is left distributive over +) if a Ā· (b+ c) = (a Ā· b)+ (a Ā· c) for alla,b,c āˆˆ A.

2. The binary operations + and Ā· satisfy the Right Distributive Law (an alternativeexpression is that Ā· is right distributive over +) if (b+ c) Ā·a = (b Ā·a)+(c Ā·a) for alla,b,c āˆˆ A. 4

Definition 7.1.2. Let R be a non-empty set, and let and let + and Ā· be binary operations onR. The triple (R,+, Ā·) is a ring if the following three properties hold.

(i) (R,+) is an abelian group.

(ii) The binary operation Ā· is associative.

(iii) The binary operation Ā· is left distributive and right distributive over +. 4

Lemma 7.1.3. Let (R,+, Ā·) be a ring, and let a,b āˆˆ R.

1. Ā·a = and a Ā·= .

2. a(āˆ’b) = (āˆ’a)b =āˆ’(ab).

3. (āˆ’a)(āˆ’b) = ab.

Definition 7.1.4. Let (R,+, Ā·) be a ring.

1. The ring R is commutative if the binary operation Ā· satisfies the Commutative Law.

2. The ring R is a ring with unity if the binary operation Ā· has an identity element(usually denoted ). 4

Lemma 7.1.5. Let (R,+, Ā·) be a ring with unity. Then = if and only if R = {}.

Definition 7.1.6. Let (R,+, Ā·) be a ring with unity, and let a āˆˆ R. Then a is a unit if thereis some b āˆˆ R such that ab = and ba = . 4Lemma 7.1.7. Let (R,+, Ā·) be a ring with unity, and let a āˆˆ R.

1. The unity is unique.

Page 59: Definitions, Theorems and Exercises Abstract Algebra Math 332

7.1 Rings 57

2. If there is some b āˆˆ R such that ab = and ba = , then b is unique.

Lemma 7.1.8. Let (R,+, Ā·) be a ring with unity, and let a,b,c āˆˆ R.

1. If 6= , then is not a unit.

2. If c is a unit and ca = cb, then a = b.

3. If c is a unit and ac = bc, then a = b.

4. If a is a unit, then aāˆ’ is a unit and (aāˆ’)āˆ’ = a.

5. If a and b are units, then ab is a unit and (ab)āˆ’ = bāˆ’aāˆ’.

Definition 7.1.9. Let (R,+, Ā·) be a ring.

1. The ring R is an integral domain if it is a commutative ring with unity, if 6= , andif ab = implies a = or b = for all a,b āˆˆ R.

2. The ring R is a division ring (also called a skew field) if it is a ring with unity, if 6= , and if every non-zero element is a unit.

3. The ring R is a field if it is a commutative ring with unity, if 6= , if every non-zeroelement is a unit, and if the binary operation Ā· satisfies the Commutative Law. 4

Lemma 7.1.10. Let (R,+, Ā·) be a ring.

1. If R is a division ring, then it is an integral domain.

2. If R is a field, it is a division ring.

Proof. Part (2) is evident. For Part (1), suppose that R is a division ring. Let a,b āˆˆ R.Suppose ab = . Suppose further that a 6= . Then a is a unit. Then aāˆ’(ab) = aāˆ’ Ā·. Usingthe Associative Law, Inverses Law and Identity Law for Ā·, together with Lemma 7.1.3 (1),we deduce that b = .

Exercises

Exercise 7.1.1. For each of the following sets with two binary operations, state whetherthe set with binary operations are a ring, whether it is a commutative ring, whether it is aring with unity, and whether it is a field.

(1) The set N, with the standard addition and multiplication.

(2) Let n āˆˆ N. The set nZ, with the standard addition and multiplication.

(3) The set ZƗZ, with the standard addition and multiplication on each component.

Page 60: Definitions, Theorems and Exercises Abstract Algebra Math 332

58 7. Rings and Fields

(4) The set ZƗZ, with the standard addition and multiplication on each component.

(5) The set {a+bāˆš | a,b āˆˆ Z}, with the standard addition and multiplication.

(6) The set {a+bāˆš | a,b āˆˆQ}, with the standard addition and multiplication.

Exercise 7.1.2. Let (R,+, Ā·) be a ring with unity. Let U be the set of all the units of R.Prove that (U, Ā·) is a group.

Exercise 7.1.3. Let (R,+, Ā·) be a ring. Prove that aāˆ’b = (a+b)(aāˆ’b) for all a,b āˆˆ R ifand only if R is commutative.

Exercise 7.1.4. Let (G,+) be an abelian group. Let a binary operation Ā· on G be definedby a Ā·b = for all a,b āˆˆ G, where is the identity element for +. Prove that (G,+, Ā·) is aring.

Exercise 7.1.5. Let (R,+, Ā·) be a ring. An element a āˆˆ R is idempotent if a = a. Supposethat R is commutative. Let P be the set of all the idempotent elements of R. Prove that P isclosed under multiplication.

Exercise 7.1.6. Let (R,+, Ā·) be a ring. An element a āˆˆ R is nilpotent if an = for somen āˆˆN. Suppose that R is commutative. Let c,d āˆˆ R. Prove that if c and d are nilpotent, thenc+d is nilpotent.

Exercise 7.1.7. Let (R,+, Ā·) be a ring. The ring R is a Boolean Ring if a = a for all a āˆˆ R(that is, if every element of R is idempotent). Prove that if R is a Boolean ring, then R iscommutative.

Exercise 7.1.8. Let A be a set. Let P(A) denote the power set of A. Let binary operations+ and Ā· on P(A) be defined by

X +Y = (X āˆŖY )āˆ’(X āˆ©Y ) and X Ā·Y = X āˆ©Y

for all X ,Y āˆˆP(A). Prove that (P(A),+, Ā·) is a Boolean ring (as defined in Exercise 7.1.7);make sure to prove first that it is a ring.

Page 61: Definitions, Theorems and Exercises Abstract Algebra Math 332

7.2 Polynomials 59

7.2 Polynomials

Fraleigh, 7th ed. ā€“ Section 22Gallian, 8th ed. ā€“ Section 16Judson, 2013 ā€“ Section 17.1

Definition 7.2.1. Let R be a ring. The set of polynomials over R, denoted R[x], is the set

R[x] = { f : NāˆŖ {}ā†’ R | there is some N āˆˆ NāˆŖ {} such thatf (i) = for all i āˆˆ NāˆŖ {} such that i > N}. 4

Definition 7.2.2. Let R be a ring.

1. Let 0 : NāˆŖ {}ā†’ R be defined by 0(i) = for all i āˆˆ NāˆŖ {}.

2. Suppose that R has a unity. Let 1 : NāˆŖ {}ā†’ R be defined by 1() = and 1(i) = for all i āˆˆ N. 4

Definition 7.2.3. Let R be a ring, and let f āˆˆ R[x]. Suppose that f 6= 0. The degree of f ,denoted deg f , is the smallest N āˆˆ NāˆŖ {} such that f (i) = for all i āˆˆ NāˆŖ {} such thati > N. 4Definition 7.2.4. Let R be a ring, and let f ,g āˆˆ R[x]. Let f +g, f g,āˆ’ f : NāˆŖ {}ā†’ R bedefined by ( f +g)(i) = f (i)+g(i), and ( f g)(i) =

āˆ‘ik= f (k)g(iāˆ’k), and (āˆ’ f )(i) = āˆ’ f (i)

for all i āˆˆ NāˆŖ {}. 4Lemma 7.2.5. Let R be a ring, and let f ,g āˆˆ R[x].

1. f +g, f g,āˆ’ f āˆˆ R[x].

2. deg( f +g)ā‰¤max{deg f ,degg}.

3. deg( f g)ā‰¤ deg f +degg. If R is an integral domain, then deg( f g) = deg f +degg.

Lemma 7.2.6. Let R be a ring.

1. (R[x],+, Ā·) is a ring.

2. If R is commutative, then R[x] is commutative.

3. If R has a unity, then R[x] has a unity.

4. If R is an integral domain, then R[x] is an integral domain.

Definition 7.2.7. Let R be a ring, let f āˆˆ R[x] and let r āˆˆ R. Let r f : NāˆŖ {}ā†’ R be definedby (r f )(i) = r f (i) for all i āˆˆ NāˆŖ {}. 4Lemma 7.2.8. Let R be a ring, let f āˆˆ R[x] and let r āˆˆ R. Then r f āˆˆ R[x].

Page 62: Definitions, Theorems and Exercises Abstract Algebra Math 332

60 7. Rings and Fields

Definition 7.2.9. Let R be an integral domain. Let x : NāˆŖ {}ā†’ R be defined by x() = and x(i) = for all i āˆˆ NāˆŖ {}āˆ’ {}. 4

Lemma 7.2.10. Let R be an integral domain, let f āˆˆ R[x], and let n āˆˆ N. If f 6= 0, supposethat nā‰„ deg f . Then there are unique a,a, . . . ,an āˆˆ R such that f = a1+ax+ Ā· Ā· Ā·+anxn.

Definition 7.2.11. Let R be a commutative ring with unity, let S āŠ† R be a commutativesubring with identity, and let Ī± āˆˆ R. The evaluation map with respect to Ī± is the functionĪ¦Ī± : S[x]ā†’ R defined by Ī¦Ī±(a1+ax+ Ā· Ā· Ā·+anxn) = a1+aĪ± + Ā· Ā· Ā·+anĪ±n for all f āˆˆS[x]. 4

Definition 7.2.12. Let R be a commutative ring with unity, let SāŠ† R be a commutative sub-ring with identity, and let f āˆˆ S[x]. The polynomial function induced by f is the functionf : Rā†’ R defined by f (Ī±) = Ī¦Ī±( f ) for all Ī± āˆˆ R. 4

Definition 7.2.13. Let R be a commutative ring with unity, let S āŠ† R be a commutativesubring with identity, and let f āˆˆ S[x]. A zero of f is any Ī± āˆˆ R such that f (Ī±) = . 4

Exercises

Exercise 7.2.1. List all the polynomials in Z[x] that have degree less than or equal to .

Exercise 7.2.2. Find the units in each of the following rings.

(1) Z[x].

(2) Z[x].

Exercise 7.2.3. Let D be an integral domain. Describe the units in D[x].

Page 63: Definitions, Theorems and Exercises Abstract Algebra Math 332

8

Vector Spaces

Page 64: Definitions, Theorems and Exercises Abstract Algebra Math 332

62 8. Vector Spaces

8.1 Fields

Definition 8.1.1. Let F be a non-empty set, and let and let + and Ā· be binary operations onR. The triple (F,+, Ā·) is a field if the following four properties hold:

(i) (F,+) is an abelian group.

(ii) (F āˆ’ {}, Ā·) is an abelian group.

(iii) The binary operation Ā· is left distributive and right distributive over +.

(iii) 6= . 4

Lemma 8.1.2. Let F be a field, and let x,y,z āˆˆ F.

1. 0 is unique.

2. is unique.

3. āˆ’x is unique.

4. If x 6= 0, then xāˆ’ is unique.

5. x+ y = x+ z implies y = z.

6. If x 6= 0, then x Ā· y = x Ā· z implies y = z.

7. x Ā·0= 0.

8. āˆ’(āˆ’x) = x.

9. If x 6= 0, then (xāˆ’)āˆ’ = x.

10. (āˆ’x) Ā· y = x Ā· (āˆ’y) = āˆ’(x Ā· y).

11. (āˆ’x) Ā· (āˆ’y) = x Ā· y.

12. 0 has no multiplicative inverse.

13. xy = 0 if and only if x = 0 or y = 0.

Page 65: Definitions, Theorems and Exercises Abstract Algebra Math 332

8.2 Vector Spaces 63

8.2 Vector Spaces

Friedberg-Insel-Spence, 4th ed. ā€“ Section 1.2

Definition 8.2.1. Let F be a field. A vector space (also called a linear space) over F isa set V with a binary operation +: V ƗV ā†’ V and scalar multiplication F ƗV ā†’ V thatsatisfy the following properties. Let x,y,z āˆˆV and let a,b āˆˆ F .

1. (x+ y)+ z = x+(y+ z).

2. x+ y = y+ x.

3. There is an element 0 āˆˆV such that x+0 = x.

4. There is an element āˆ’x āˆˆV such that x+(āˆ’x) = 0.

5. x = x.

6. (ab)x = a(bx).

7. a(x+ y) = ax+ay.

8. (a+b)x = ax+by. 4

Definition 8.2.2. Let F be a field, and let m,n āˆˆ N. The set of all mƗ n matrices withentries in F is denoted MmƗn(F). An element A āˆˆMmƗn(F) is abbreviated by the notationA =

[ai j]. 4

Definition 8.2.3. Let F be a field, and let m,n āˆˆ N.

1. The mƗn zero matrix is the matrix Omn defined by Omn =[ci j], where ci j = 0 for

all i āˆˆ {, . . . ,m} and j āˆˆ {, . . . ,n}.

2. The nƗn identity matrix is the matrix In defined by In =[Ī“i j], where

Ī“i j =

{, if i = j0, if i 6= j

for all i, j āˆˆ {, . . . ,n}. 4

Definition 8.2.4. Let F be a field, and let m,n āˆˆ N. Let A,B āˆˆ MmƗn(F), and let c āˆˆ F .Suppose that A =

[ai j]

and B =[bi j].

1. The matrix A+B āˆˆMmƗn(F) is defined by A+B =[ci j], where ci j = ai j + bi j for

all i āˆˆ {, . . . ,m} and j āˆˆ {, . . . ,n}.

Page 66: Definitions, Theorems and Exercises Abstract Algebra Math 332

64 8. Vector Spaces

2. The matrix āˆ’A āˆˆ MmƗn(F) is defined by āˆ’A =[di j], where di j = āˆ’ai j for all i āˆˆ

{, . . . ,m} and j āˆˆ {, . . . ,n}.

3. The matrix cA āˆˆ MmƗn(F) is defined by cA =[si j], where si j = cai j for all i āˆˆ

{, . . . ,m} and j āˆˆ {, . . . ,n}. 4

Lemma 8.2.5. Let F be a field, and let m,n āˆˆ N. Let A,B,C āˆˆMmƗn(F), and let s, t āˆˆ F.

1. A+(B+C) = (A+B)+C.

2. A+B = B+A.

3. A+Omn = A and A+Omn = A.

4. A+(āˆ’A) = Omn and (āˆ’A)+A = Omn.

5. A = A.

6. (st)A = s(tA).

7. s(A+B) = sA+ sB.

8. (s+ t)A = sA+ tA.

Corollary 8.2.6. Let F be a field, and let m,n āˆˆ N. Then MmƗn(F) is a vector space overF.

Lemma 8.2.7. Let V be a vector space over a field F. let x,y,z āˆˆV and let a āˆˆ F.

1. 0 is unique.

2. āˆ’x is unique.

3. x+ y = x+ z implies y = z.

4. āˆ’(x+ y) = (āˆ’x)+(āˆ’y).

5. 0x = 0.

6. a0 = 0.

7. (āˆ’a)x = a(āˆ’x) = āˆ’(ax).

8. (āˆ’)x =āˆ’x.

9. ax = 0 if and only if a = 0 or x = 0.

Proof. Parts (1), (2), (3) and (4) are immediate, using the fact (V,+) is an abelian group,and the fact that we have proved these properties for groups.

The remaining parts of this lemma are left to the reader in Exercise 8.2.1.

Page 67: Definitions, Theorems and Exercises Abstract Algebra Math 332

8.2 Vector Spaces 65

Exercises

Exercise 8.2.1. Prove Lemma 8.2.7 (5), (6), (7), (8) and (9).

Exercise 8.2.2. Let V , W be vector spaces over a field F . Define addition and scalar multi-plication on V ƗW as follows. For each (v,w),(x,y) āˆˆV ƗW and c āˆˆ F , let

(v,w)+(x,y) = (v+ x,w+ y) and c(v,w) = (cv,cw).

Prove that V ƗW is a vector space over F with these operations. This vector space is calledthe product vector space of V and W .

Exercise 8.2.3. Let F be a field, and let S be a non-empty set. Let F (S,F) be the set of allfunctions Sā†’ F . Define addition and scalar multiplication on F (S,F) as follows. For eachf ,g āˆˆF (S,F) and c āˆˆ F , let f + g,c f āˆˆF (S,F) be defined by ( f + g)(x) = f (x)+ g(x)and (c f )(x) = c f (x) for all x āˆˆ S.

Prove that F (S,F) is a vector space over F with these operations.

Page 68: Definitions, Theorems and Exercises Abstract Algebra Math 332

66 8. Vector Spaces

8.3 Subspaces

Friedberg-Insel-Spence, 4th ed. ā€“ Section 1.3

Definition 8.3.1. Let V be a vector space over a field F , and let W āŠ† V . The subset W isclosed under scalar multiplication by F if av āˆˆW for all v āˆˆW and a āˆˆ F . 4

Definition 8.3.2. Let V be a vector space over a field F , and let W āŠ†V . The subset W is asubspace of V if the following three conditions hold.

1. W is closed under +.

2. W is closed under scalar multiplication by F .

3. W is a vector space over F . 4

Lemma 8.3.3. Let V be a vector space over a field F, and let W āŠ†V be a subspace.

1. The additive identity element of V is in W, and it is the additive identity element ofW.

2. The additive inverse operation in W is the same as the additive inverse operation inV .

Proof. Because (V,+) is an abelian group, this result is the same as Lemma 2.4.2.

Lemma 8.3.4. Let V be a vector space over a field F, and let W āŠ†V . Then W is a subspaceof V if and only if the following three conditions hold.

1. W 6= /0.

2. W is closed under +.

3. W is closed under scalar multiplication by F.

Proof. First, suppose that W is a subspace of V . Then W 6= /0, because 0 āˆˆW , and henceProperty (1) holds. Properties (2) and (3) hold by definition.

Second, suppose that Properties (1), (2) and (3) hold. To show that W is a subspaceof V , we need to show that W is a vector space over F . We know that + is associativeand commutative with respect to all the elements of V , so it certainly is associative andcommutative with respect to the elements of V .

Because W 6= /0, then there is some x āˆˆW . Then āˆ’x = (āˆ’)x by Lemma 8.2.7 (8). Itfollows from Property (3) that āˆ’x āˆˆW , and by Property (2) we deduce that 0 = x+(āˆ’x) āˆˆW . Hence Parts (1), (2), (3) and (4) of Definition 8.2.1 hold for W . Parts (5), (6), (7) and(8) of that definition immediately hold for W because they hold for V .

Page 69: Definitions, Theorems and Exercises Abstract Algebra Math 332

8.3 Subspaces 67

Lemma 8.3.5. Let V be a vector space over a field F, and and let U āŠ†W āŠ†V be subsets.If U is a subspace of W, and W is a subspace of V , then U is a subspace of V .

Proof. Straightforward.

Lemma 8.3.6. Let V be a vector space over a field F, and let {Wi}iāˆˆI be a family of sub-spaces of V indexed by I. Then

ā‹‚iāˆˆI Wi is a subspace of V .

Proof. Note that 0āˆˆWi for all iāˆˆ I by Lemma 8.3.3. Hence 0āˆˆ {Wi}iāˆˆI . Therefore {Wi}iāˆˆI 6=/0.

Let x,y āˆˆā‹‚

iāˆˆI Wi and let a āˆˆ F . Let k āˆˆ I. Then x,y āˆˆ Wk, so x + y āˆˆ Wk and ax āˆˆWk. Therefore x + y āˆˆ

ā‹‚iāˆˆI Wi and ax āˆˆ

ā‹‚iāˆˆI Wi. Therefore

ā‹‚iāˆˆI is a subspace of U by

Lemma 8.3.4.

Exercises

Exercise 8.3.1. LetW = {

[ xyz

]āˆˆ R | x+ y+ z = }.

Prove that W is a subspace of R.

Exercise 8.3.2. Let F be a field, and let S be a non-empty set. Let F (S,F) be as defined inExercise 8.2.3. Let C (S,F) be defined by

C (S,F) = { f āˆˆF (S,F) | f (s) = 0 for all but a finite number of elements s āˆˆ S}.

Prove that C (S,F) is a subspace of F (S,F).

Exercise 8.3.3. Let V be a vector space over a field F , and let W āŠ† V . Prove that W is asubspace of V if and only if the following conditions hold.

1. W 6= /0.

2. If x,y āˆˆW and a āˆˆ F , then ax+ y āˆˆW .

Exercise 8.3.4. Let V be a vector space over a field F , and let W āŠ† V be a subspace. Letw, . . . ,wn āˆˆW and a, . . . ,an āˆˆ F . Prove that aw+ Ā· Ā· Ā·+anwn āˆˆW .

Exercise 8.3.5. Let V be a vector space over a field F , and let S,T āŠ†V . The sum of S andT is the subset of V defined by

S+T = {s+ t | s āˆˆ S and t āˆˆ T }.

Let X ,Y āŠ†V be subspaces.

(1) Prove that X āŠ† X +Y and Y āŠ† X +Y .

(2) Prove that X +Y is a subspace of V .

(3) Prove that if W is a subspace of V such that X āŠ†W and Y āŠ†W , then X +Y āŠ†W .

Page 70: Definitions, Theorems and Exercises Abstract Algebra Math 332

68 8. Vector Spaces

8.4 Linear Combinations

Friedberg-Insel-Spence, 4th ed. ā€“ Section 1.4

Definition 8.4.1. Let V be a vector space over a field F , and let S āŠ† V be a non-emptysubset. Let v āˆˆV . The vector v is a linear combination of vectors of S if

v = av+av+ Ā· Ā· Ā·+anvn

for some n āˆˆ N and some v,v, . . . ,vn āˆˆ S and a,a, . . . ,an āˆˆ F 4Definition 8.4.2. Let V be a vector space over a field F , and let S āŠ† V be a non-emptysubset. The span of S, denoted span(S), is the set of all linear combinations of the vectorsin S. Also, let span( /0) = {0}. 4Lemma 8.4.3. Let V be a vector space over a field F, and let SāŠ†V be a non-empty subset.

1. SāŠ† span(S).

2. span(S) is a subspace of V .

3. If W āŠ†V is a subspace and SāŠ†W, then span(S)āŠ†W.

4. span(S) =ā‹‚{U āŠ†V |U is a subspace of V and SāŠ†U}.

Proof. Straightforward.

Definition 8.4.4. Let V be a vector space over a field F , and let S āŠ† V be a non-emptysubset. The set S spans (also generates) V if span(S) =V . 4Remark 8.4.5. There is a standard strategy for showing that a set S spans V , as follows.

Proof. Let v āˆˆV ....

(argumentation)...

Let v, . . . ,vn āˆˆ S and a, . . . ,an āˆˆ F be defined by . . ....

(argumentation)...

Then v = av+ Ā· Ā· Ā·+anvn. Hence S spans V .

In the above strategy, if S is finite, then we can take v, . . . ,vn to be all of S. ā™¦

Exercises

Page 71: Definitions, Theorems and Exercises Abstract Algebra Math 332

8.4 Linear Combinations 69

Exercise 8.4.1. Using only the definition of spanning, prove that {[ ] , [ ]} spans R.

Exercise 8.4.2. Let V be a vector space over a field F , and let W āŠ† V . Prove that W is asubspace of V if and only if span(W ) =W .

Exercise 8.4.3. Let V be a vector space over a field F , and let S āŠ† V . Prove thatspan(span(S)) = span(S).

Exercise 8.4.4. Let V be a vector space over a field F , and let S,T āŠ† V . Suppose thatSāŠ† T .

(1) Prove that span(S)āŠ† span(T ).

(2) Prove that if span(S) =V , then span(T ) =V .

Exercise 8.4.5. Let V be a vector space over a field F , and let S,T āŠ†V .

(1) Prove that span(Sāˆ©T )āŠ† span(S)āˆ© span(T ).

(2) Give an example of subsets S,T āŠ†R such that S and T are non-empty, not equal toeach other, and span(Sāˆ©T ) = span(S)āˆ©span(T ). A proof is not needed; it suffices tostate what each of S, T , Sāˆ©T , span(S), span(T ), span(Sāˆ©T ) and span(S)āˆ© span(T )are.

(3) Give an example of subsets S,T āŠ†R such that S and T are non-empty, not equal toeach other, and span(Sāˆ©T )$ span(S)āˆ©span(T ). A proof is not needed; it suffices tostate what each of S, T , Sāˆ©T , span(S), span(T ), span(Sāˆ©T ) and span(S)āˆ© span(T )are.

Page 72: Definitions, Theorems and Exercises Abstract Algebra Math 332

70 8. Vector Spaces

8.5 Linear Independence

Friedberg-Insel-Spence, 4th ed. ā€“ Section 1.5

Definition 8.5.1. Let V be a vector space over a field F , and let SāŠ†V . The set S is linearlydependent if there are n āˆˆN, distinct vectors v,v, . . .vn āˆˆ S, and a,a, . . .an āˆˆ F that arenot all 0, such that av+ Ā· Ā· Ā·+anvn = 0. 4

Lemma 8.5.2. Let V be a vector space over a field F, and let S āŠ† V . If 0 āˆˆ S, then S islinearly dependent.

Proof. Observe that Ā·0 = 0.

Lemma 8.5.3. Let V be a vector space over a field F, and let S āŠ† V . Suppose that S 6= /0and S 6= {0}. The following are equivalent.

a. S is linearly dependent.

b. There is some v āˆˆ S such that v āˆˆ span(Sāˆ’ {v}).

c. There is some v āˆˆ S such that span(Sāˆ’ {v}) = span(S).

Proof. Suppose S is linearly dependent. Then there are nāˆˆN, distinct vectors v, . . . ,vn āˆˆ S,and a, . . . ,an āˆˆ F not all 0, such that av+ Ā· Ā· Ā·+anvn = 0. Then there is some k āˆˆ {, . . . ,n}such that ak 6= 0. Therefore

vk =āˆ’aak

vāˆ’ Ā· Ā· Ā·āˆ’akāˆ’

akvkāˆ’āˆ’

ak+

akvk+āˆ’ Ā· Ā· Ā·āˆ’

an

akvn.

Hence vk āˆˆ span(Sāˆ’ {vk}).Suppose that is some v āˆˆ S such that v āˆˆ span(S āˆ’ {v}). Then there are p āˆˆ N, and

w,w, . . .wp āˆˆ Sāˆ’ {v} and c,c, . . .cp āˆˆ F such that v = cw+ Ā· Ā· Ā·+ cpwpBy Exercise 8.4.4 (1) we know that span(Sāˆ’ {v})āŠ† span(S).Let x āˆˆ span(S). Then there are m āˆˆ N, and u,u, . . .um āˆˆ S and b,b, . . .bm āˆˆ F such

that x = bu+ Ā· Ā· Ā·+ bmum. First, suppose that v is not any of u,u, . . .um. Then clearlyx āˆˆ span(Sāˆ’ {v}). Second, suppose that v is one of u,u, . . .um. Without loss of generality,suppose that v = u. Then

x = b(cw+ Ā· Ā· Ā·+ cpwp)+bu+ Ā· Ā· Ā·+bmum

= bcw+ Ā· Ā· Ā·+bcpwp +bu+ Ā· Ā· Ā·+bmum.

Hence x āˆˆ span(S āˆ’ {v}). Putting the two cases together, we conclude that span(S) āŠ†span(Sāˆ’ {v}). Therefore span(Sāˆ’ {v}) = span(S)

Suppose that there is some wāˆˆ S such that span(Sāˆ’ {w}) = span(S). Because wāˆˆ S, thenw āˆˆ span(S), and hence w āˆˆ span(Sāˆ’ {w}). Hence there are r āˆˆ m, and x, . . . ,xr āˆˆ Sāˆ’ {w}

Page 73: Definitions, Theorems and Exercises Abstract Algebra Math 332

8.5 Linear Independence 71

and d, . . . ,dr āˆˆF such that w= dx+ Ā· Ā· Ā·+drxr. Without loss of generality, we can assumethat x, . . . ,xr are distinct. Therefore

Ā·w+(āˆ’d)x+ Ā· Ā· Ā·+(āˆ’dm)xm = 0.

Because 6= 0, and because w,x, . . . ,xr are distinct, we deduce that S is linearly dependent.

Definition 8.5.4. Let V be a vector space over a field F , and let SāŠ†V . The set S is linearlyindependent if it is not linearly dependent. 4

Lemma 8.5.5. Let V be a vector space over a field F.

1. /0 is linearly independent.

2. If v āˆˆV and v 6= 0, then {v} is linearly independent.

Proof. Straightforward.

Remark 8.5.6. There is a standard strategy for showing that a set S in a vector space islinearly independent, as follows.

Proof. Let v, . . . ,vn āˆˆ S and a, . . . ,an āˆˆ F . Suppose that v, . . . ,vn are distinct, and thatav+ Ā· Ā· Ā·+anvn = 0.

...(argumentation)

...Then a = 0, . . ., an = 0. Hence S is linearly independent.

In the above strategy, if S is finite, then we simply take v, . . . ,vn to be all of S. ā™¦

Lemma 8.5.7. Let V be a vector space over a field F, and let S āŠ† S āŠ†V .

1. If S is linearly dependent, then S is linearly dependent.

2. If S is linearly independent, then S is linearly independent.

Proof. Straightforward.

Lemma 8.5.8. Let V be a vector space over a field F, let SāŠ†V and let v āˆˆV āˆ’S. Supposethat S is linearly independent. Then SāˆŖ {v} is linearly dependent if and only if v āˆˆ span(S).

Proof. Suppose that SāˆŖ {v} is linearly dependent. Then there are n āˆˆN, and v,v, . . . ,vn āˆˆSāˆŖ {v} and a,a, . . . ,an āˆˆ F not all equal to zero such that av+ Ā· Ā· Ā·+anvn = 0. Because Sis linearly independent, it must be the case that v is one of the vectors v,v, . . . ,vn. Without

Page 74: Definitions, Theorems and Exercises Abstract Algebra Math 332

72 8. Vector Spaces

loss of generality, assume v = v. It must be the case that a 6= 0, again because S is linearlyindependent. Then

v =āˆ’aa

vāˆ’ Ā· Ā· Ā·āˆ’an

av

Because v, . . . ,vn āˆˆ S, then v āˆˆ span(S).

Suppose that v āˆˆ span(S). Then v is a linear combination of the vectors of S. Thus SāˆŖ {v}is linearly independent by Lemma 8.5.2.

Exercises

Exercise 8.5.1. Using only the definition of linear independence, prove that {x+ ,x+x,x+} is a linearly independent subset of R[x].

Exercise 8.5.2. Let V be a vector space over a field F , and let u,v āˆˆV . Suppose that u 6= v.Prove that {u,v} is linearly dependent if and only if at least one of u or v is a multiple of theother.

Exercise 8.5.3. Let V be a vector space over a field F , and let u, . . . ,un āˆˆV . Prove that theset {u, . . . ,un} is linearly dependent if and only if u = 0 or uk+ āˆˆ span({u, . . . ,uk}) forsome k āˆˆ {, . . . ,nāˆ’}.

Page 75: Definitions, Theorems and Exercises Abstract Algebra Math 332

8.6 Bases and Dimension 73

8.6 Bases and Dimension

Friedberg-Insel-Spence, 4th ed. ā€“ Section 1.6

Definition 8.6.1. Let V be a vector space over a field F , and let BāŠ†V . The set B is a basisfor V if B is linearly independent and B spans V . 4Theorem 8.6.2. Let V be a vector space over a field F, and let BāŠ†V .

1. The set B is a basis for V if and only if every vector in V can be written as a linearcombination of vectors in B, where the set of vectors in B with non-zero coefficientsin any such linear combination, together with their non-zero coefficients, are unique.

2. Suppose that B = {u, . . . ,un} for some n āˆˆ N and u, . . . ,un āˆˆ V . Then B is a basisfor V if and only if for each vector v āˆˆ V , there are unique a, . . . ,an āˆˆ F such thatv = au+ Ā· Ā· Ā·+anun.

Proof.

(1). Suppose that B is a basis for V . Then B spans V , and hence every vector in V can bewritten as a linear combination of vectors in B. Let v āˆˆV . Suppose that there are n,m āˆˆ N,and v, . . . ,vn,u, . . . ,um āˆˆ B and a, . . . ,an,b, . . . ,bm āˆˆ F such that

v = av+av+ Ā· Ā· Ā·+anvn and v = bu+bu+ Ā· Ā· Ā·+bmum.

Without loss of generality, suppose that nā‰„m. If might be the case that the sets {v, . . . ,vn}

and {u, . . . ,um} overlap. By renaming and reordering the vectors in these two sets appropri-ately, we may assume that {v, . . . ,vn} and {u, . . . ,um} are both subsets of a set {z, . . . ,zp}

for some p āˆˆ N and z, . . . ,zp āˆˆ B. It will then suffice to show that if

v = cz+ cz+ Ā· Ā· Ā·+ cpzp and v = dz+dz+ Ā· Ā· Ā·+dpzp (8.6.1)

for some c, . . . ,cp,d, . . . ,dp āˆˆ F , then ci = di for all i āˆˆ {, . . . , p}.Suppose that Equation 8.6.1 holds. Then

(cāˆ’d)z+ Ā· Ā· Ā·+(cp āˆ’dp)zp = 0.

Because B is linearly independent, it follows that ci āˆ’di = 0 for all i āˆˆ {, . . . , p}. Becauseci = di for all i āˆˆ {, . . . , p}, we see in particular that ci = 0 if and only if di = 0. Henceevery vector in V can be written as a linear combination of vectors in B, where the set ofvectors in B with non-zero coefficients in any such linear combination, together with theirnon-zero coefficients, are unique.

Next, suppose that every vector in V can be written as a linear combination of vectors inB, where the set of vectors in B with non-zero coefficients in any such linear combination,together with their non-zero coefficients, are unique. Clearly B spans V . Suppose that thereare n āˆˆ N, and v, . . . ,vn āˆˆ B and a, . . . ,an āˆˆ F such that av+av+ Ā· Ā· Ā·+anvn = 0. It isalso the case that 0 Ā· v+ 0 Ā· v+ Ā· Ā· Ā·+ 0 Ā· vn = 0. By uniqueness, we deduce that ai = 0 forall i āˆˆ {, . . . ,n}. Hence B is linearly independent.

Page 76: Definitions, Theorems and Exercises Abstract Algebra Math 332

74 8. Vector Spaces

(2). This part of the theorem follows from the previous part.

Lemma 8.6.3. Let V be a vector space over a field F, and let S āŠ† V . The following areequivalent.

a. S is a basis for V .

b. S is linearly independent, and is contained in no linearly independent subset of Vother than itself.

Proof. Suppose that S is a basis for V . Then S is linearly independent. Suppose that S $ Tfor some linearly independent subset T āŠ† V . Let v āˆˆ T āˆ’ S. Because S is a basis, thenspan(S) = V , and hence v āˆˆ span(S). It follows from Lemma 8.5.8 that SāˆŖ {v} is linearlydependent. It follows from Lemma 8.5.7 (1) that T is linearly dependent, a contradiction.Hence S is contained in no linearly independent subset of V other than itself.

Suppose that S is linearly independent, and is contained in no linearly independent sub-set of V other than itself. Let w āˆˆ V . First, suppose that w āˆˆ S. Then w āˆˆ span(S) byLemma 8.4.3 (1). Second, suppose that wāˆˆV āˆ’S. By the hypothesis on S we see that SāˆŖ{w}is linearly dependent. Using Lemma 8.5.8 we deduce that w āˆˆ span(S). Combining the twocases, it follows that V āŠ† span(S). By definition span(S)āŠ†V . Therefore span(S) =V , andhence S is a basis.

Theorem 8.6.4. Let V be a vector space over a field F, and let S āŠ† V . Suppose that S isfinite. If S spans V , then some subset of S is a basis for V .

Proof. Suppose that S spans V . If S is linearly independent then S is a basis for V . Nowsuppose that S is linearly dependent.

Case One: Suppose S = {0}. Then V = span(S) = {0}. This case is trivial because /0 is abasis.

Case Two: Suppose S contains at least one non-zero vector. Let v āˆˆ S be such thatv 6= 0. Then {v} is linearly independent by Lemma 8.5.5. By adding one vector from S ata time, we obtain a linearly independent subset {v, . . . ,vn} āŠ† S such that adding any morevectors from set S would render the subset linearly dependent.

Let B= {v, . . . ,vn}. Because S is finite and BāŠ† S, we can write S= {v, . . . ,vn,vn+, . . . ,vp}

for some p āˆˆ Z such that pā‰„ n.Let i āˆˆ {n+ , . . . , p}. Then by the construction of B we know that BāˆŖ {vi} is linearly

dependent. It follows from Lemma 8.5.8 implies that vi āˆˆ span(B).Let w āˆˆ V āˆ’ B. Because S spans V , there are a, . . . ,ap āˆˆ F such that w = av +

av + Ā· Ā· Ā·+ apvp. Because each of vn+, . . . ,vp is a linear combination of the elementsof B, it follows that w can be written as a linear combination of elements of B. We thenuse Lemma 8.5.3 (b) to deduce that BāˆŖ {w} is linearly dependent. It now follows fromLemma 8.6.3 that B is a basis.

Page 77: Definitions, Theorems and Exercises Abstract Algebra Math 332

8.6 Bases and Dimension 75

Theorem 8.6.5 (Replacement Theorem). Let V be a vector space over a field F, and letS,LāŠ†V . Suppose that S and L are finite sets. Suppose that S spans V , and that L is linearlyindependent.

1. |L|ā‰¤ |S|.

2. There is a subset H āŠ† S such that |H |= |S|āˆ’ |L|, and such that LāˆŖH spans V .

Proof. Let m = |L| and n = |S|. We will show that this theorem holds by induction on m.

Base Case: Suppose m = . Then L = /0 and m ā‰¤ n. Let H = S. Then H and S havenāˆ’m = nāˆ’= n elements, and LāˆŖH = /0āˆŖS = S, and so LāˆŖH spans V .

Induction Step: Suppose the result is true for m, and suppose L has m + vectors.Suppose L = {v, . . . ,vm+}. Let L ā€² = {v, . . . ,vm}. By Lemma 8.5.7 we know that L ā€² islinearly independent. Hence, by the inductive hypothesis, we know that m ā‰¤ n and thatthere is a subset H ā€² āŠ† S such that H ā€² has nāˆ’m elements and L ā€² āˆŖH ā€² spans V . SupposeH ā€² = {u, . . . ,unāˆ’m}. Because L ā€²āˆŖH ā€² spans V , there are a, . . . ,am,b, . . . ,bmāˆ’m āˆˆ F suchthat vn+ = av+ Ā· Ā· Ā·+ anvn + bu+ Ā· Ā· Ā·+ bnāˆ’munāˆ’m. Because v, . . . ,vn+ is linearly in-dependent, then vn+ is not a linear combination of {v, . . . ,vn}. Hence nāˆ’m > and notall b, . . . ,bnāˆ’m are zero.

Because nāˆ’m > , then n > m, and therefore nā‰„ m+.Without loss of generality, assume b 6= 0. Then

u =

bvm+āˆ’

ab

v+ Ā· Ā· Ā·āˆ’am

bvm āˆ’

bb

u+ Ā· Ā· Ā·+āˆ’bnāˆ’m

bunāˆ’m.

Let H = {u, . . . ,unāˆ’m}. Clearly H has nāˆ’(m+) elements. Then

LāˆŖH = {v, . . . ,vm+,u, . . . ,unāˆ’m}.

We claim that LāˆŖH spans V . Clearly, v, . . . ,vm,u, . . . ,unāˆ’m āˆˆ span(LāˆŖH). Also u āˆˆspan(LāˆŖH). Hence L ā€²āˆŖH ā€² āŠ† span(LāˆŖH). We know that span(L ā€²āˆŖH ā€²) = V , and henceby Exercise 8.4.4 (2) we see that span(span(LāˆŖH)) = V . It follows from Exercise 8.4.3that span(LāˆŖH) =V .

Corollary 8.6.6. Let V be a vector space over a field F. Suppose that V has a finite basis.Then all bases of V are finite, and have the same number of vectors.

Proof. Let B be a finite basis for V . Let n = |B|. Let K be some other basis of V . Supposethat K has more elements than B. Then K has at least n+ elements (it could be that K isinfinite). In particular, let C be a subset of K that has precisely n+ elements. Then C islinearly independent by Lemma 8.5.7. Because B spans V , then by Theorem 8.6.5 (1) wededuce that n+ā‰¤ n, which is a contradiction.

Page 78: Definitions, Theorems and Exercises Abstract Algebra Math 332

76 8. Vector Spaces

Next, suppose that K has fewer elements than B. Then K is finite. Let m = |K|. Thenm < n. Because K spans V and B is linearly independent, then by Theorem 8.6.5 (1) wededuce that nā‰¤ m, which is a contradiction.

We conclude that K has the same number of vectors as B.

Definition 8.6.7. Let V be a vector space over a field F . The vector space V is finite-dimensional if V has a finite basis. The vector space V is infinite-dimensional if V doesnot have a finite basis. If V is finite-dimensional, the dimension of V , denoted dim(V ), isthe number of elements in any basis. 4

Lemma 8.6.8. Let V be a vector space over a field F. Then dim(V ) = if and only ifV = {0}.

Proof. By Lemma 8.5.5 (1) we know that /0 is linearly independent. Using Definition 8.4.2we see that dim(V ) = if and only if /0 is a basis for V if and only if V = span( /0) if andonly if V = {0}.

Corollary 8.6.9. Let V be a vector space over a field F, and let S āŠ† V . Suppose that V isfinite-dimensional. Suppose that S is finite.

1. If S spans V , then |S|ā‰„ dim(V ).

2. If S spans V and |S|= dim(V ), then S is a basis.

3. If S is linearly independent, then |S|ā‰¤ dim(V ).

4. If S is linearly independent and |S|= dim(V ), then S is a basis.

5. If S is linearly independent, then it can be extended to a basis.

Proof. We prove Parts (1) and (5), leaving the rest to the reader in Exercise 8.6.2.Let n = dim(V ).

(1). Suppose that S spans V . By Theorem 8.6.4 we know that there is some H āŠ† S suchthat H is a basis for V . Corollary 8.6.6 implies that |H |= n. It follows that |S|ā‰„ n.

(5). Suppose that S is linearly independent. Let B be a basis for V . Then |B|= n. BecauseB is a basis for V , then B spans V . By the Replacement Theorem (Theorem 8.6.5) there isa subset K āŠ† B such that |K| = |B|āˆ’ |S|, and such that SāˆŖK spans V . Note that |SāˆŖK| =|B| = n. It follows from Part (2) of this corollary that SāˆŖK is a basis. Therefore S can beextended to a basis.

Theorem 8.6.10. Let V be vector space over a field F, and let W āŠ† V be a subspace.Suppose that V is finite-dimensional.

Page 79: Definitions, Theorems and Exercises Abstract Algebra Math 332

8.6 Bases and Dimension 77

1. W is finite-dimensional.

2. dim(W )ā‰¤ dim(V ).

3. If dim(W ) = dim(V ), then W =V .

4. Any basis for W can be extended to a basis for V .

Proof. Let n = dim(V ). We prove all four parts of the theorem together.Case One: Suppose W = {0}. Then all four parts of the theorem hold.Case Two: Suppose W 6= {0}. Then there is some x āˆˆW such that x 6= 0. Note that {x}

is linearly independent. It might be the case that there is some x āˆˆW such that {x,x}is linearly independent. Keep going, adding one vector at a time while maintaining linearindependence. Because W āŠ† V , then there are at most n linearly independent vectors inW by Corollary 8.6.9 (3). Hence we can keep adding vectors until we get {x, . . . ,xk} āˆˆWfor some k āˆˆ N such that k ā‰¤ n, where adding any other vector in V would render the setlinearly dependent. Hence, adding any vector in W would render it linearly dependent. ByLemma 8.6.3 we see that {x, . . . ,xk} is a basis for W . Therefore W is finite-dimensionaland dim(W )ā‰¤ dim(V ).

Now suppose dim(W ) = dim(V ). Then k = n and {x, . . . ,xn} is a linearly independentset in V with n elements. By Corollary 8.6.9 (4), we know that {x, . . . ,xn} is a basis for V .Then W = span({x, . . . ,xn}) =V .

From Corollary 8.6.9 (5) we deduce that any basis for W , which is a linearly independentset in V , can be extended to a basis for V .

Exercises

Exercise 8.6.1. LetW = {

[ xyz

]āˆˆ R | x+ y+ z = }.

It was proved in Exercise 8.3.1 that W is a subspace of R. What is dim(W )? Prove youranswer.

Exercise 8.6.2. Prove Corollary 8.6.9 (2), (3) and (4).

Exercise 8.6.3. Let V be a vector space over a field F , and let X ,Y āŠ† V be subspaces.Suppose that X and Y are finite-dimensional. Find necessary and sufficient conditions on Xand Y so that dim(X āˆ©Y ) = dim(X).

Exercise 8.6.4. Let V , W be vector spaces over a field F . Suppose that V and W are finite-dimensional. Let V ƗW be the product vector space, as defined in Exercise 8.2.2. Expressdim(V ƗW ) in terms of dim(V ) and dim(W ). Prove your answer.

Exercise 8.6.5. Let V be a vector space over a field F , and let L āŠ† S āŠ† V . Suppose that Sspans V . Prove that the following are equivalent.

Page 80: Definitions, Theorems and Exercises Abstract Algebra Math 332

78 8. Vector Spaces

a. L is a basis for V .

b. L is linearly independent, and is contained in no linearly independent subset of Sother than itself.

Page 81: Definitions, Theorems and Exercises Abstract Algebra Math 332

8.7 Bases for Arbitrary Vector Spaces 79

8.7 Bases for Arbitrary Vector Spaces

Friedberg-Insel-Spence, 4th ed. ā€“ Section 1.7

Definition 8.7.1. Let P be a non-empty family of sets, and let M āˆˆP . The set M is amaximal element of P if there is no Q āˆˆP such that M $ Q. 4

Lemma 8.7.2. Let V be a vector space over a field F. Let B be the family of all linearlyindependent subsets of V . Let S āˆˆB. Then S is a basis for V if and only if S is a maximalelement of B.

Proof. This lemma follows immediately from Lemma 8.6.3.

Definition 8.7.3. Let P be a non-empty family of sets, and let C āŠ†P . The family C is achain if A,B āˆˆ C implies AāŠ† B or AāŠ‡ B. 4

Theorem 8.7.4 (Zornā€™s Lemma). Let P be a non-empty family of sets. Suppose that foreach chain C in P , the set

ā‹ƒCāˆˆC C is in P . Then P has a maximal element.

Theorem 8.7.5. Let V be a vector space over a field F. Then V has a basis.

Proof. Let B be the family of all linearly independent subsets of V . We will show that Bhas a maximal element by using Zornā€™s Lemma (Theorem 8.7.4). The maximal element ofB will be a basis for V by Lemma 8.7.2.

Because /0 is a linearly independent subset of V , as stated in Lemma 8.5.5 (1), we seethat /0 āˆˆB, and hence B is non-empty.

Let C be a chain in B. Let U =ā‹ƒ

CāˆˆC C. We need to show that U āˆˆ B. That is, weneed to show that U is linearly independent. Let v, . . . ,vn āˆˆU and suppose av+ Ā· Ā· Ā·+anvn = 0 for some a, . . . ,an āˆˆ F . By the definition of union, we know that for each i āˆˆ{, . . . ,n}, there is some Ci āˆˆ C such that vi āˆˆ Ci. Because C is a chain, we know thatfor any two of C, . . . ,Cn, one contains the other. Hence we can find k āˆˆ {, . . . ,n} such thatCiāŠ†Ck for all iāˆˆ {, . . . ,n}. Hence v, . . . ,vn āˆˆCk. Because Ck āˆˆC āŠ†B, then Ck is linearlyindependent, and so av+ Ā· Ā· Ā·+ anvn = 0 implies ai = 0 for all i āˆˆ {, . . . ,n}. Hence U islinearly independent, and therefore U āˆˆB.

We have now seen that B satisfies the hypotheses of Zornā€™s Lemma, and by that lemmawe deduce that B has a maximal element.

Exercises

Exercise 8.7.1. Let V be a vector space over a field F , and let SāŠ†V . Prove that if S spansV , then some subset of S is a basis for V .

Page 82: Definitions, Theorems and Exercises Abstract Algebra Math 332

80 8. Vector Spaces

Page 83: Definitions, Theorems and Exercises Abstract Algebra Math 332

9

Linear Maps

Page 84: Definitions, Theorems and Exercises Abstract Algebra Math 332

82 9. Linear Maps

9.1 Linear Maps

Friedberg-Insel-Spence, 4th ed. ā€“ Section 2.1

Definition 9.1.1. Let V,W be vector spaces over a field F . Let f : V ā†’W be a function.The function f is a linear map (also called linear transformation or vector space homo-morphism) if

(i) f (x+ y) = f (x)+ f (y)

(ii) f (cx) = c f (x)

for all x,y āˆˆV and c āˆˆ F 4

Lemma 9.1.2. Let V , W be vector spaces over a field F, and let f : V ā†’W be a linearmap.

1. f (0) = 0.

2. If x āˆˆV , then f (āˆ’x) = āˆ’ f (x).

Proof. We already proved this result about groups, because linear maps are group homo-morphisms.

Lemma 9.1.3. Let V , W be vector spaces over a field F, and let f : V ā†’W be a function.The following are equivalent.

a. f is a linear map.

b. f (cx+ y) = c f (x)+ f (y) for all x,y āˆˆV and c āˆˆ F.

c. f (ax+ Ā· Ā· Ā·+anxn) = a f (x)+ Ā· Ā· Ā·+an f (xn) for all x, . . .xn āˆˆV and a, . . .an āˆˆ F.

Proof. Showing (a)ā‡’ (b) is straightforward. Showing (b)ā‡’ (c) requires induction on n.Showing (c)ā‡’ (a) is straightforward.

Lemma 9.1.4. Let V , W, Z be vector spaces over a field F, and let f : Vā†’W and g : Wā†’ Zbe linear maps.

1. The identity map V : V ā†’V is a linear map.

2. The function gā—¦ f is a linear map.

Proof.

(1). This part is straightforward.

Page 85: Definitions, Theorems and Exercises Abstract Algebra Math 332

9.1 Linear Maps 83

(2). Let x,y āˆˆV and c āˆˆ F . Then

(gā—¦ f )(x+y) = g( f (x+y)) = g( f (x)+ f (y)) = g( f (x))+g( f (y)) = (gā—¦ f )(x)+(gā—¦ f )(y)

and(gā—¦ f )(cx) = g( f (cx)) = g(c( f (x))) = c(g(( f (x))) = c(gā—¦ f (x)).

Lemma 9.1.5. Let V , W be vector spaces over a field F, and let f : V ā†’W be a linearmap.

1. If A is a subspace of V , then f (A) is a subspace of W.

2. If B is a subspace of W, then fāˆ’(B) is a subspace of V .

Proof. The proof of this result is similar to the proof of the analogous result for grouphomomorphisms.

Theorem 9.1.6. Let V , W be vector spaces over a field F.

1. Let B be a basis for V . Let g : Bā†’W be a function. Then there is a unique linearmap f : V ā†’W such that f |B = g.

2. Let {v, . . . ,vn} be a basis for V , and let w, . . . ,wn āˆˆW. Then there is a unique linearmap f : V ā†’W such that f (vi) = wi for all i āˆˆ {, . . . ,n}.

Proof. We prove Part (1); Part (2) follows immediately from Part (1).Let v āˆˆ V . Then by Theorem 8.6.2 (1) we know that v can be written as v = ax +Ā· Ā· Ā·+ anxn for some x, . . . ,xn āˆˆ B and a, . . .an āˆˆ F , where the set of vectors with non-zero coefficients, together with their non-zero coefficients, are unique. Then define f (v) =ag(x) + Ā· Ā· Ā·+ ang(xn). If v is written in two different ways as linear combinations ofelements of B, then the uniqueness of the vectors in B with non-zero coefficients, togetherwith their non-zero coefficients, implies that f (v) is well-defined.

Observe that if v āˆˆ B, then v = Ā· v is the unique way of expressing v as a linear combi-nation of vectors in B, and therefore f (v) = Ā·g(v) = g(v). Hence f |B = g.

Let v,w,āˆˆV and let c āˆˆ F . Then we can write v = ax+ Ā· Ā· Ā·+anxn and w = bx+ Ā· Ā· Ā·+bnxn where x, . . . ,xn āˆˆ B and a, . . . ,an,b, . . . ,bn āˆˆ F . Then v+w =

āˆ‘ni=(ai +bi)xi, and

hence

f (v+w) =nāˆ‘

i=

(ai +bi)g(xi) =

nāˆ‘i=

aig(xi)+

nāˆ‘i=

big(xi) = f (v)+ f (w).

A similar proof shows that f (cv) = c f (v). Hence f is linear map.

Page 86: Definitions, Theorems and Exercises Abstract Algebra Math 332

84 9. Linear Maps

Let h : V ā†’W be a linear map such that h|B = g. Let v āˆˆ V . Then v = ax+ Ā· Ā· Ā·+anxnfor some x, . . . ,xn āˆˆ B and a, . . .an āˆˆ F . Hence

h(v) = h(nāˆ‘

i=

aixi) =

nāˆ‘i=

aih(xi) =

nāˆ‘i=

aig(xi) = f (v)

Therefore h = f . It follows that f is unique.

Corollary 9.1.7. Let V , W be vector spaces over a field F, and let f ,g : V ā†’W be linearmaps. Let B be a basis for V . Suppose that f (v) = g(v) for all v āˆˆ B. Then f = g.

Proof. Trivial.

Exercises

Exercise 9.1.1. Prove that there exists a linear map f : R ā†’ R such that f ([ ]) =[

]and f ([ ]) =

[ āˆ’

]. What is f ([ ])?

Exercise 9.1.2. Does there exist a linear map g : R ā†’ R such that g([

]) = [ ] and

g([āˆ’

āˆ’

]) = [ ]? Explain why or why not.

Page 87: Definitions, Theorems and Exercises Abstract Algebra Math 332

9.2 Kernel and Image 85

9.2 Kernel and Image

Friedberg-Insel-Spence, 4th ed. ā€“ Section 2.1

Definition 9.2.1. Let V , W be vector spaces over a field F , and let f : V ā†’W be a linearmap.

1. The kernel (also called the null space) of f , denoted ker f , is the set ker f =fāˆ’({0}).

2. The image of f , denoted im f , is the set im f = f (V ). 4

Remark 9.2.2. Observe that

ker f = {v āˆˆV | f (v) = 0}

andim f = {w āˆˆW | w = f (v) for some v āˆˆV }. ā™¦

Lemma 9.2.3. Let V , W be vector spaces over a field F, and let f : V ā†’W be a linearmap.

1. ker f is a subspace of V .

2. im f is a subspace of W.

Proof. Use Lemma 9.1.5.

Lemma 9.2.4. Let V , W be vector spaces over a field F, and let f : V ā†’W be a linearmap. Then f is injective if and only if ker f = {0}.

Proof. Vector spaces are abelian groups, and linear maps are group homomorphisms, andtherefore this result follows from Theorem 5.2.5, which is the analogous result for grouphomomorphisms.

Lemma 9.2.5. Let V , W be vector spaces over a field F, and let f : V ā†’W be a linearmap. Let w āˆˆW. If a āˆˆ fāˆ’({w}), then fāˆ’({w}) = a+ker f .

Proof. Again, this result follows from Lemma 5.2.6, which is the analogous result forgroup homomorphisms (though here we use additive notation instead of multiplicative no-tation).

Lemma 9.2.6. Let V , W be vector spaces over a field F, let f : V ā†’W be a linear map andlet B be a basis for V . Then im f = span( f (B)).

Page 88: Definitions, Theorems and Exercises Abstract Algebra Math 332

86 9. Linear Maps

Proof. Clearly f (B) āŠ† im f . By Lemma 9.2.3 (2) and Lemma 8.4.3 (3), we deduce thatspan( f (B))āŠ† im f .

Let y āˆˆ im f . Then y = f (v) for some v āˆˆ V . Then v = av + Ā· Ā· Ā·+ anvn for somev, . . . ,vn āˆˆ B and a, . . . ,an āˆˆ F . Then

y = f (v) = f (av+ Ā· Ā· Ā·+anvn) = a f (v)+ Ā· Ā· Ā·+an f (vn) āˆˆ span( f (B)).

Therefore im f āŠ† span(B), and hence im f = span( f (B)).

Lemma 9.2.7. Let V , W be vector spaces over a field F, and let f : V ā†’W be a linearmap. Suppose that V is finite-dimensional. Then ker f and im f are finite-dimensional.

Proof. By Lemma 9.2.3 (1) we know that ker f is a subspace of V , and hence ker f isfinite-dimensional by Theorem 8.6.10 (1).

Let B be a basis for V . By Corollary 8.6.6 we know that B is finite. Hence f (B) is finite.By Lemma 9.2.6 we see that im f = span( f (B)). It follows from Theorem 8.6.4 that asubset of f (B) is a basis for im f , which implies that im f is finite-dimensional.

Exercises

Exercise 9.2.1. Let V , W be vector spaces over a field F , and let f : V ā†’W be a linearmap. Let w, . . . ,wk āˆˆ im f be linearly independent vectors. Let v, . . . ,vk āˆˆ V be vectorssuch that f (vi) = wi for all i āˆˆ {, . . . ,k}. Prove that v, . . . ,vk are linearly independent.

Exercise 9.2.2. Let V and W be vector spaces over a field F , and let f : V ā†’W be a linearmap.

(1) Prove that f is injective if and only if for every linearly independent subset S āŠ† V ,the set f (S) is linearly independent.

(2) Supppose that f is injective. Let T āŠ† V . Prove that T is linearly independent if andonly if f (T ) is linearly independent.

(3) Supppose that f is bijective. Let B āŠ† V . Prove that B is a basis for V if and only iff (B) is a basis for W .

Exercise 9.2.3. Find an example of two linear maps f ,g : Rā†’ R such that ker f = kergand im f = img, and none of these kernels and images is the trivial vector space, and f 6= g.

Page 89: Definitions, Theorems and Exercises Abstract Algebra Math 332

9.3 Rank-Nullity Theorem 87

9.3 Rank-Nullity Theorem

Friedberg-Insel-Spence, 4th ed. ā€“ Section 2.1

Definition 9.3.1. Let V , W be vector spaces over a field F , and let f : V ā†’W be a linearmap.

1. If ker f is finite-dimensional, the nullity of f , denoted nullity( f ), is defined bynullity( f ) = dim(ker f ).

2. If im f is finite-dimensional, the rank of f , denoted rank( f ), is defined by rank( f ) =dim(im f ). 4

Theorem 9.3.2 (Rank-Nullity Theorem). Let V , W be vector spaces over a field F, andlet f : V ā†’W be a linear map. Suppose that V is finite-dimensional. Then

nullity( f )+ rank( f ) = dim(V ).

Proof. Let n = dim(V ). By Lemma 9.2.3 (1) we know that ker f is a subspace of V , andhence ker f is finite-dimensional by Theorem 8.6.10 (1), and nullity( f ) = dim(ker f ) ā‰¤dim(V ) by Theorem 8.6.10 (2). Let k = nullity( f ). Then k ā‰¤ n. Let {v, . . . ,vk} be a basisfor ker f . By Theorem 8.6.10 (4) {v, . . . ,vk} can be extended to a basis {v, . . . ,vn} forV . We will show that { f (vk+), . . . , f (vn)} is a basis for im f . It will then follow that therank( f ) = nāˆ’ k, which will prove the theorem.

By Lemma 9.2.6 we know that im f = span({ f (v), . . . , f (vn)}). Note that v, . . . ,vk āˆˆker f , and therefore f (v)= Ā· Ā· Ā·= f (vk)= 0. It follows that im f = span({ f (vk+), . . . , f (vn)}).

Suppose bk+ f (vk+)+ Ā· Ā· Ā·+bn f (vn) = 0 for some bk+, . . . ,bn āˆˆF . Hence f (bk+vk++Ā· Ā· Ā·+bnvn) = 0. Therefore bk+vk++ Ā· Ā· Ā·+bnvn āˆˆ ker f . Because {v, . . . ,vn} is a basis forker f , then bk+vk++ Ā· Ā· Ā·+bnvn = bv+ Ā· Ā· Ā·+bkvk for some b, . . . ,bk āˆˆ F . Then bv+Ā· Ā· Ā·+ bkvk + (āˆ’bk+)vk++ Ā· Ā· Ā·+ (āˆ’bn)vn = 0. Because {v, . . . ,vn} is a basis for V , thenb = Ā· Ā· Ā·= bn = 0. Therefore f (vk+), . . . , f (vn) are linearly independent.

Corollary 9.3.3. Let V , W be vector spaces over a field F, and let f : V ā†’W be a linearmap. Suppose that V is finite-dimensional. Then rank( f )ā‰¤ dim(V ).

Proof. Trivial.

Corollary 9.3.4. Let V , W be vector spaces over a field F, and let f : V ā†’W be a lin-ear map. Suppose that V and W are finite-dimensional, and that dim(V ) = dim(W ). Thefollowing are equivalent.

a. f is injective.

b. f is surjective

c. f is bijective.

Page 90: Definitions, Theorems and Exercises Abstract Algebra Math 332

88 9. Linear Maps

d. rank( f ) = dim(V ).

Proof. Clearly (c) ā‡’ (a), and (c) ā‡’ (b). We will show below that (a) ā‡” (d), and (b) ā‡”(d). It will then follow that (a)ā‡” (b), and from that we will deduce that (a)ā‡’ (c), and (b)ā‡’ (c).

(a)ā‡” (d) By Lemma 9.2.4 we know that f is injective if and only if ker f = {0}. ByLemma 8.6.8 we deduce that f is injective if and only if dim(ker f ) = , and by definitionthat is true if and only if nullity( f ) = . By The Rank-Nullity Theorem (Theorem 9.3.2),we know that nullity( f ) = dim(V )āˆ’ rank( f ). It follows that f is injective if and only ifdim(V )āˆ’ rank( f ) = , which is the same as rank( f ) = dim(V ).

(b)ā‡” (d) By definition f is surjective if and only if im f = W . By Lemma 9.2.3 (2)we know that im f is a subspace of W . If im f = W then clearly dim(im f ) = dim(W );by Theorem 8.6.10 (3) we know that if dim(im f ) = dim(W ) then im f = W . Hence f issurjective if and only if dim(im f ) = dim(W ), and by definition that is true if and only ifrank( f ) = dim(W ). By hypothesis dim(W ) = dim(V ), and therefore f is surjective if andonly if rank( f ) = dim(V ).

Corollary 9.3.5. Let V , W, Z be vector spaces over a field F, and let f : V ā†’W andg : W ā†’ Z be linear maps. Suppose that V and W are finite-dimensional.

1. rank(gā—¦ f )ā‰¤ rank(g).

2. rank(gā—¦ f )ā‰¤ rank( f ).

Proof.

(1). Observe that im(gā—¦ f ) = (gā—¦ f )(V ) = g( f (V ))āŠ† g(W ) = img. By Lemma 9.2.3 (2)we know that im(gā—¦ f ) and img are subspaces of W . It is straightforward to see thatim(gā—¦ f ) is a subspace of img. It follows from Theorem 8.6.10 (2) that rank(gā—¦ f ) =dim(im(gā—¦ f ))ā‰¤ dim(img) = rank(g).

(2). By Corollary 9.3.3 we see that rank(gā—¦ f ) = dim(im(gā—¦ f )) = dim((gā—¦ f )(V )) =dim(g( f (V ))) = dim(g| f (V )( f (V ))) = rank(g| f (V )) ā‰¤ dim( f (V )) = dim(im f ) = rank( f ).

Exercises

Exercise 9.3.1. Let V , W be vector spaces over a field F , and let f : V ā†’W be a linearmap. Suppose that V and W are finite-dimensional.

(1) Prove that if dim(V )< dim(W ), then f cannot be surjective.

(2) Prove that if dim(V )> dim(W ), then f cannot be injective.

Page 91: Definitions, Theorems and Exercises Abstract Algebra Math 332

9.4 Isomorphisms 89

9.4 Isomorphisms

Friedberg-Insel-Spence, 4th ed. ā€“ Section 2.4

Definition 9.4.1. Let V and W be a vector space over a field F and let f : V ā†’W be afunction. The function f is an isomorphism if f is bijective and is a linear map. 4Definition 9.4.2. Let V , W be a vector space over a field F . The vector spaces V and W areisomorphic if there is an isomorphism V ā†’W . 4Lemma 9.4.3. Let V , W be vector spaces over a field F, and let f : V ā†’W be an isomor-phism. Then fāˆ’ is an isomorphism.

Proof. The proof of this result is similar to the proof of Theorem 2.2.4 (2), which is theanalogous result for group isomorphisms.

Corollary 9.4.4. Let V , W be vector spaces over a field F, and let f : V ā†’W be a lin-ear map. Suppose that V and W are finite-dimensional, and that dim(V ) = dim(W ). Thefollowing are equivalent.

a. f is injective.

b. f is surjective

c. f is an isomorphism.

d. rank( f ) = dim(V ).

Lemma 9.4.5. Let V , W be vector spaces over a field F, and let f : V ā†’W be a linearmap. Let B be a basis for V . Then f is an isomorphism if and only if f (B) is a basis for W.

Proof. Suppose that f is an isomorphism. Let v,v, . . .vn āˆˆ f (B) and a,a, . . .an āˆˆ F , andsuppose that v, . . . ,vn are distinct, and that av+ Ā· Ā· Ā·+anvn = 0. There are w, . . . ,wn āˆˆ Bsuch that f (wi) = vi for all i āˆˆ {, . . . ,n}. Clearly w, . . . ,wn are distinct. Then a f (w)+Ā· Ā· Ā·+ an f (wn) = 0. It follows that f (aw + Ā· Ā· Ā·+ anwn) = 0, which means that aw +Ā· Ā· Ā·+ anwn āˆˆ ker f . Because f is injective, then by Lemma 9.2.4 we know that ker f ={0}. Therefore aw+ Ā· Ā· Ā·+anwn = 0. Because {w, . . . ,wn} āŠ† B, and because B is linearlyindependent, it follows from Lemma 8.5.7 (2) that {w, . . . ,wn} is linearly independent.Hence a = a = Ā· Ā· Ā· = an = . We deduce that f (B) is linearly independent. Because f issurjective, we know that im f =W . It follows from Lemma 9.2.6 that span( f (B)) =W . Weconclude that f (B) is a basis for W .

Suppose that f (B) is a basis for W . Then span( f (B)) = W , and by Lemma 9.2.6 wededuce that im f =W , which means that f is surjective. Let v āˆˆ ker f . Because B is a basisfor V , there are m āˆˆ N, vectors u, . . . ,um āˆˆ B and c, . . . ,cm āˆˆ F such that v = cu+ Ā· Ā· Ā·+cmum. Then f (cu+ Ā· Ā· Ā·+cmum) = 0, and hence c f (u)+ Ā· Ā· Ā·+cm(um) = 0. Because f (B)is linearly independent, it follows that c = Ā· Ā· Ā· = cm = 0. We deduce that v = 0. Thereforeker f = {0}. By Lemma 9.2.4 we conclude that f is injective.

Page 92: Definitions, Theorems and Exercises Abstract Algebra Math 332

90 9. Linear Maps

Theorem 9.4.6. Let V , W be vector spaces over a field F. Then V and W are isomorphicif and only if there is a basis B of V and a basis C of W such that B and C have the samecardinality.

Proof. Suppose V and W are isomorphic. Let f : V ā†’W be an isomorphism, and let D bea basis of V . Then by Lemma 9.4.5 we know that f (D) is a basis of W , and clearly D andf (D) have the same cardinality.

Suppose that there is a basis B of V and a basis C of W such that B and C have thesame cardinality. Let g : Bā†’C be a bijective map. Extend g to a linear map h : V ā†’W byTheorem 9.1.6 (1). Then h(B) =C, so h(B) is a basis for W , and it follows by Lemma 9.4.5that h is an isomorphism.

Corollary 9.4.7. Let V , W be vector spaces over a field F. Suppose that V and W areisomorphic. Then V is finite-dimensional if and only if W is finite-dimensional. If V and Ware both finite-dimensional, then dim(V ) = dim(W ).

Proof. This result follows immediately from Theorem 9.4.6, because a vector space is fi-nite dimensional if and only if it has a finite basis, and the dimension of a finite-dimensionalvector space is the cardinality of any basis of the vector space.

Corollary 9.4.8. Let V , W be vector spaces over a field F. Suppose that V and W arefinite-dimensional. Then V and W are isomorphic if and only if dim(V ) = dim(W ).

Proof. This result follows immediately from Theorem 9.4.6, because the dimension of afinite-dimensional vector space is the cardinality of any basis of the vector space.

Corollary 9.4.9. Let V be a vector space over a field F. Suppose that V is finite-dimensional. Let n = dim(V ). Then V is isomorphic to Fn.

Proof. Observe that dim(Fn) = n. The result then follows immediately from Corol-lary 9.4.8.

Exercises

Exercise 9.4.1. Let V be a vector space over a field F . Suppose that V non-trivial. Let Bbe a basis for V . Let C (B,F) be as defined in Exercise 8.3.2. It was seen in Exercise 8.3.2that C (B,F) is a vector space over F . Let ĪØ : C (B,F)ā†’V be defined by

ĪØ( f ) =āˆ‘vāˆˆB

f (v) 6=0

f (v)v,

for all f āˆˆ C (B,F). Prove that ĪØ is an isomorphism. Hence every non-trivial vector spacecan be viewed as a space of functions.

Page 93: Definitions, Theorems and Exercises Abstract Algebra Math 332

9.5 Spaces of Linear Maps 91

9.5 Spaces of Linear Maps

Friedberg-Insel-Spence, 4th ed. ā€“ Section 2.2

Definition 9.5.1. Let V and W be vector spaces over a field F . The set of all linear mapsV ā†’W is denoted L (V,W ). The set of all linear maps V ā†’V is denoted L (V ). 4

Definition 9.5.2. Let A be a set, let W be a vector space over a field F , let f ,g : Aā†’W befunctions and let c āˆˆ F .

1. Let f +g : Aā†’W be defined by ( f +g)(x) = f (x)+g(x) for all x āˆˆ A.

2. Let āˆ’ f : Aā†’W be defined by (āˆ’ f )(x) = āˆ’ f (x) for all x āˆˆ A.

3. Let c f : Aā†’W be defined by (c f )(x) = c f (x) for all x āˆˆ A.

4. Let 0 : Aā†’W be defined by 0(x) = 0 for all x āˆˆ A. 4

Lemma 9.5.3. Let V , W be vector spaces over a field F, let f ,g : V ā†’W be linear mapsand let c āˆˆ F.

1. f +g is a linear map.

2. āˆ’ f is a linear map.

3. c f is a linear map.

4. 0 is a linear map.

Proof. We prove Part (1); the other parts are similar, and are left to the reader.

(1). Let x,y āˆˆV and let d āˆˆ F . Then

( f +g)(x+ y) = f (x+ y)+g(x+ y) = [ f (x)+ f (y)]+ [g(x)+g(y)]= [ f (x)+g(x)]+ [ f (y)+g(y)] = ( f +g)(x)+( f +g)(y)

and

( f +g)(dx) = f (dx)+g(dx) = d f (x)+dg(x) = d[ f (x)+g(x)] = d( f +g)(x).

Lemma 9.5.4. Let V , W be vector spaces over a field F. Then L (V,W ) is a vector spaceover F.

Page 94: Definitions, Theorems and Exercises Abstract Algebra Math 332

92 9. Linear Maps

Proof. We will show Property (7) in the definition of vector spaces; the other propertiesare similar. Let f ,g āˆˆL (V,W ) and let a āˆˆ F . Let x āˆˆV . Then

[a( f +g)](x) = a[( f +g)(x)] = a[ f (x)+g(x)]= a f (x)+ag(x) = (a f )(x)+(ag)(x) = [a f +ag](x).

Hence a( f +g) = a f +ag.

Lemma 9.5.5. Let V , W, X, Z be vector spaces over a field F. Let f ,g : V ā†’ W andk : X ā†’V and h : W ā†’ Z be linear maps, and let c āˆˆ F.

1. ( f +g)ā—¦k = ( f ā—¦k)+(gā—¦k).

2. hā—¦( f +g) = (hā—¦ f )+(hā—¦g).

3. c(hā—¦ f ) = (ch)ā—¦ f = hā—¦(c f ).

Proof. We prove Part (1); the other parts are similar, and are left to the reader.

(1). Let x āˆˆ X . Then

[( f +g)ā—¦k](x) = ( f +g)(k(x)) = f (k(x))+g(k(x))= ( f ā—¦k)(x)+(gā—¦k)(x) = [( f ā—¦k)+(gā—¦k)](x).

Hence ( f +g)ā—¦k = ( f ā—¦k)+(gā—¦k).

Theorem 9.5.6. Let V , W be vector spaces over a field F. Suppose that V and W are finite-dimensional. Then L (V,W ) is finite-dimensional, and dim(L (V,W )) = dim(V ) Ā·dim(W ).

Proof. Let n = dim(V ) and m = dim(W ). Let {v, . . . ,vn} be a basis for V , and let{w, . . . ,wm} be a basis for W .

For each i āˆˆ {, . . . ,n} and j āˆˆ {, . . . ,m}, let ei j : V ā†’W be defined as follows. First, let

ei j(vk) =

{w j, if k = i0, if k āˆˆ {, . . . ,n} and k 6= i.

Next, because {v, . . . ,vn} is a basis for V , we can use Theorem 9.1.6 (2) to extend ei j to aunique linear map V ā†’W .

We claim that the set T = {ei j | i āˆˆ {, . . . ,n} and j āˆˆ {, . . . ,m}} is a basis for L (V,W ).Once we prove that claim, the result will follow, because T has nm elements.

Suppose that there is some ai j āˆˆ F for each i āˆˆ {, . . . ,n} and j āˆˆ {, . . . ,m} such that

nāˆ‘i=

māˆ‘j=

ai jei j = 0.

Page 95: Definitions, Theorems and Exercises Abstract Algebra Math 332

9.5 Spaces of Linear Maps 93

Let k āˆˆ {, . . . ,n}. Thennāˆ‘

i=

māˆ‘j=

ai jei j(vk) = 0(vk),

which implies thatmāˆ‘

j=

ak jw j = 0.

Because {w, . . . ,wm} is linearly independent, it follows that ak j = 0 for all j āˆˆ {, . . . ,m}.We deduce that ai j = 0 for all i āˆˆ {, . . . ,n} and j āˆˆ {, . . . ,m}. Hence T is linearly inde-

pendent.Let f āˆˆL (V,W ). Let r āˆˆ {, . . . ,n}. Then f (vr) āˆˆW . Because {w, . . . ,wm} is spans W ,

there is some crp āˆˆ F for each p āˆˆ {, . . . ,m} such that f (vr) =āˆ‘m

j= cr jw j.Observe that

nāˆ‘i=

māˆ‘j=

ci jei j(vr) =

māˆ‘j=

cr jw j = f (vr).

Hence f andāˆ‘n

i=

āˆ‘mj= ci jei j agree on {v, . . . ,vn}, and it follows from Corollary 9.1.7

that f =āˆ‘

i j ci jei j. Hence T spans L (V,W ), and we conclude that T is a basis for L (V,W ).

Exercises

Exercise 9.5.1. Let V , W be vector spaces over a field F , and let f ,g : V ā†’W be non-zero linear maps. Suppose that im f āˆ© img = {0}. Prove that { f ,g} is a linearly independentsubset of L (V,W ).

Exercise 9.5.2. Let V , W be vector spaces over a field F , and let SāŠ†V . Let Sā—¦ āŠ†L (V,W )be defined by

Sā—¦ = { f āˆˆL (V,W ) | f (x) = 0 for all x āˆˆ S}.

(1) Prove that Sā—¦ is a subspace of L (V,W ).

(2) Let T āŠ†V . Prove that if SāŠ† T , then T ā—¦ āŠ† Sā—¦.

(3) Let X ,Y āŠ† V be subspaces. Prove that (X +Y )ā—¦ = Xā—¦āˆ©Y ā—¦. (See Exercise 8.3.5 forthe definition of X +Y .)

Page 96: Definitions, Theorems and Exercises Abstract Algebra Math 332

94 9. Linear Maps

Page 97: Definitions, Theorems and Exercises Abstract Algebra Math 332

10

Linear Maps and Matrices

Page 98: Definitions, Theorems and Exercises Abstract Algebra Math 332

96 10. Linear Maps and Matrices

10.1 Review of Matricesā€”Multiplication

Friedberg-Insel-Spence, 4th ed. ā€“ Section 2.3

Definition 10.1.1. Let F be a field, and let m,n, pāˆˆN. Let AāˆˆMmƗn(F) and BāˆˆMnƗp(F).Suppose that A =

[ai j]

and B =[bi j]. The matrix AB āˆˆMmƗp(F) is defined by AB =

[ci j],

where ci j =āˆ‘n

k= aikbk j for all i āˆˆ {, . . . ,m} and j āˆˆ {, . . . , p}. 4Lemma 10.1.2. Let F be a field, and let m,n, p,q āˆˆN. Let A āˆˆMmƗn(F), let B āˆˆMnƗp(F)and let C āˆˆMpƗq(F).

1. A(BC) = (AB)C.

2. AIn = A and ImA = A.

Proof.

(1). Suppose that A =[ai j]

and B =[bi j]

and C =[ci j], and AB =

[si j]

and BC =[ti j]

and A(BC) =[ui j]

and (AB)C =[wi j]. Then si j =

āˆ‘nk= aikbk j for all i āˆˆ {, . . . ,m}

and j āˆˆ {, . . . , p}; and ti j =āˆ‘p

z= bizcz j for all i āˆˆ {, . . . ,n} and j āˆˆ {, . . . ,q}. Then ui j =āˆ‘nx= aixtx j =

āˆ‘nx= aix

(āˆ‘pz= bxzcz j

)for all i āˆˆ {, . . . ,m} and j āˆˆ {, . . . ,q}; and wi j =āˆ‘p

y= siycy j =āˆ‘p

y=

(āˆ‘nk= aikbky

)cy j for all i āˆˆ {, . . . ,m} and j āˆˆ {, . . . ,q}. Rearranging

shows that ui j = wi j for all i āˆˆ {, . . . ,m} and j āˆˆ {, . . . ,q}.

(2). Straightforward.

Definition 10.1.3. Let F be a field, and let n āˆˆ N. Let A āˆˆ MnƗn(F). The matrix A isinvertible if there is some B āˆˆMnƗn(F) such that BA = In and AB = In. Such a matrix B isan inverse of A. 4Lemma 10.1.4. Let F be a field, and let n āˆˆN. Let A āˆˆMnƗn(F). If A has an inverse, thenthe inverse is unique.

Proof. The proof is similar to that used for groups.

Definition 10.1.5. Let F be a field, and let n āˆˆ N. Let A āˆˆMnƗn(F). If A has an inverse,then the inverse is denoted Aāˆ’. 4Lemma 10.1.6. Let F be a field, and let n āˆˆ N. Let A,B āˆˆMnƗn(F). Suppose that A and Bare invertible

1. Aāˆ’ is invertible, and (Aāˆ’)āˆ’ = A.

2. AB is invertible, and (AB)āˆ’ = Bāˆ’Aāˆ’.

Proof. The proof is similar to that used for groups.

Page 99: Definitions, Theorems and Exercises Abstract Algebra Math 332

10.1 Review of Matricesā€”Multiplication 97

Definition 10.1.7. Let F be a field, and let n āˆˆ N. The set of all nƗ n invertible matriceswith entries in F is denoted GLn(F). 4

Corollary 10.1.8. Let F be a field, and let n āˆˆ N. Then (GLn(F), Ā·) is a group.

Lemma 10.1.9. Let F be a field, and let m,n, p āˆˆ N. Let A,B āˆˆMmƗn(F) and let C,D āˆˆMnƗp(F). Then A(C+D) = AC+AD and (A+B)C = AC+BC.

Proof. Straightforward.

Corollary 10.1.10. Let F be a field, and let n āˆˆ N. Then (MnƗn(F),+, Ā·) is a ring withunity.

Exercises

Exercise 10.1.1. Let F be a field, and let n āˆˆ N. Let A,B āˆˆ MnƗn(F). The trace of A isdefined by

trA =

nāˆ‘i=

aii.

Prove that tr(AB) = tr(BA).

Page 100: Definitions, Theorems and Exercises Abstract Algebra Math 332

98 10. Linear Maps and Matrices

10.2 Linear Maps Given by Matrix Multiplication

Friedberg-Insel-Spence, 4th ed. ā€“ Section 2.3

Definition 10.2.1. Let F be a field, and let m,n āˆˆ N. Let A āˆˆMmƗn(F). The linear mapinduced by A is the function LA : Fnā†’ Fm defined by LA(v) = Av for all v āˆˆ Fn. 4

Lemma 10.2.2. Let F be a field, and let m,n, pāˆˆN. Let A,BāˆˆMmƗn(F), let C āˆˆMnƗp(F),and let s āˆˆ F.

1. LA is a linear map.

2. LA = LB if and only if A = B.

3. LA+B = LA +LB.

4. LsA = sLA.

5. LAC = LA ā—¦LC.

6. Suppose m = n. Then LIn = Fn .

Proof. Suppose that A =[ai j]

and B =[bi j]. Let {e, . . . ,en} be the standard basis for Fn.

(1). Let v,wāˆˆ Fn. Then LA(v+w) = A(v+w) = Av+Aw = LA(v)+LA(w), and LA(sv) =A(sv) = s(Av) = sLA(v).

(2). If A = B, then clearly LA = LB.Suppose LA = LB. Let j āˆˆ {, . . . ,n}. Then LA(ei) = LB(ei), and hence Ae j = Be j, which

means that the j-th column of A equals the j-th column of B. Hence A = B.

(3). Let v āˆˆ Fn. Then LA+B(v) = (A+B)(v) = Av+Bv = LA(v)+LB(v). Hence LA+B =LA +LB.

(4). The proof is similar to the proof of Part (3).

(5). Let j āˆˆ {, . . . ,n}. Then LAC(e j) = (AC)(e j), and (LA ā—¦LC)(e j) = LA(LC(e j)) =A(C(e j)). Observe that (AC)(e j) is the j-th column of AC, and that C(e j) is the j-th columnof C. However, the j-th column of AC is defined by A times the j-th column of C. HenceLAC(e j) = (LA ā—¦LC)(e j). Therefore LAC and LA ā—¦LC agree on a basis, and by Corollary 9.1.7we deduce that LAC = LA ā—¦LC.

(6). Trivial.

Corollary 10.2.3. Let F be a field, and let m,n, p,q āˆˆ N. Let A āˆˆ MmƗn(F), let B āˆˆMnƗp(F), and let C āˆˆMpƗq(F). Then (AB)C = A(BC).

Page 101: Definitions, Theorems and Exercises Abstract Algebra Math 332

10.2 Linear Maps Given by Matrix Multiplication 99

Proof. Using Lemma 10.2.2 (3) together with the associativity of the composition of func-tions, we see that LA(BC) = LA ā—¦LBC = LA ā—¦(LB ā—¦LC) = (LA ā—¦LB)ā—¦LC = LAB ā—¦LC = L(AB)C.By Lemma 10.2.2 (2) we deduce that A(BC) = (AB)C.

Page 102: Definitions, Theorems and Exercises Abstract Algebra Math 332

100 10. Linear Maps and Matrices

10.3 All Linear Maps Fnā†’ Fm

Friedberg-Insel-Spence, 4th ed. ā€“ Section 2.2

Lemma 10.3.1. Let F be a field. Let n,m āˆˆ N, and let f : Fnā†’ Fm be a linear map. Thenf = LA, where A āˆˆMmƗn(F) is the matrix that has columns f (e), . . . , f (en).

Proof. Let i āˆˆ {, . . . ,n}. Let[ ai

...ami

]= f (ei).

Let v āˆˆ Fn. Then v =[ x

...xn

]for some x, . . . ,xn āˆˆ F . Then

f (v) = f ([ x

...xn

]) = f (xe+ Ā· Ā· Ā·+ xnen) = x f (e)+ Ā· Ā· Ā·+ xn f (en)

= x

[ a...

am

]+ Ā· Ā· Ā·+ xn

[ an...

amn

]=

[xa+Ā·Ā·Ā·+xnan

...xam+Ā·Ā·Ā·+xnamn

]

=

[ a Ā·Ā·Ā· an...

...am Ā·Ā·Ā· amn

][ x...

xn

]= Av = LA(v).

Hence f = LA.

Page 103: Definitions, Theorems and Exercises Abstract Algebra Math 332

10.4 Coordinate Vectors with respect to a Basis 101

10.4 Coordinate Vectors with respect to a Basis

Friedberg-Insel-Spence, 4th ed. ā€“ Section 2.2

Definition 10.4.1. Let V be a vector space over a field F , and let Ī² āŠ† V be a basis for V .The set Ī² is an ordered basis if the elements of Ī² are given a specific order. 4

Definition 10.4.2. Let V be a vector space over a field F . Suppose that V is finite-dimensional. Let n = dim(V ). Let Ī² = {v, . . . ,vn} be an ordered basis for V . Let x āˆˆ V .Then there are unique a, . . . ,an āˆˆ F such that x = av+ Ā· Ā· Ā·+anvn. The coordinate vec-

tor of x relative to Ī² is [x]Ī² =

[a...

an

]āˆˆ Fn. 4

Lemma 10.4.3. Let F be a field, and let n āˆˆN. Let Ī² be the standard ordered basis for Fn.If v āˆˆ Fn, then [v]Ī² = v

Proof. Straightforward.

Definition 10.4.4. Let V be a vector space over a field F . Suppose that V is finite-dimensional. Let n = dim(V ). Let Ī² be an ordered basis for V . The standard represen-tation of V with respect to Ī² is the function Ļ†Ī² : V ā†’ Fn defined by Ļ†Ī² (x) = [x]Ī² for allx āˆˆV . 4

Theorem 10.4.5. Let V be a vector space over a field F. Suppose that V is finite-dimensional. Let n = dim(V ). Let Ī² be an ordered basis for V . Then Ļ†Ī² is an isomorphism.

Proof. Let {e, . . . ,en} be the standard basis for Fn.Let Ī² = {u, . . . ,un}. Let i āˆˆ {, . . . ,n}. Then Ļ†Ī² (ui) = ei. By Theorem 9.1.6 (2) there is a

unique linear map g : V ā†’ Fn such that g(ui) = ei for all i āˆˆ {, . . . ,n}.Let v āˆˆV . Then there are unique a, . . . ,an āˆˆ F such that x = av+ Ā· Ā· Ā·+anvn. Hence

Ļ†Ī² (v) =[a

...an

]= ae+ Ā· Ā· Ā·+anen = ag(u)+ Ā· Ā· Ā·+ang(un)

= g(au+ Ā· Ā· Ā·+anun) = g(v).

Hence Ļ†Ī² = g. It follows that Ļ†Ī² is linear.We know by Lemma 9.2.6 that imĻ†Ī² = span(Ļ†Ī² (Ī² )) = span{e, . . . ,en}= Fn. Hence Ļ†Ī²

is surjective. Because dim(V ) = n = dim(Fn), it follows from Corollary 9.4.4 that Ļ†Ī² is anisomorphism.

Page 104: Definitions, Theorems and Exercises Abstract Algebra Math 332

102 10. Linear Maps and Matrices

10.5 Matrix Representation of Linear Mapsā€”Basics

Friedberg-Insel-Spence, 4th ed. ā€“ Section 2.2

Definition 10.5.1. Let V , W be vector spaces over a field F , and let f : V ā†’W be a linearmap. Suppose that V and W are finite-dimensional. Let n = dim(V ) and m = dim(W ). LetĪ² = {v, . . . ,vn} be an ordered basis for V and Ī³ = {w, . . . ,wn} be an ordered basis for W .The matrix representation of f with respect to Ī² and Ī³ is the matrix [ f ]Ī³

Ī²with j-th column

equal to [ f (v j)]Ī³ for all j āˆˆ {, . . . ,n}.If V =W and Ī² = Ī³ , the matrix [ f ]Ī³

Ī²is written [ f ]Ī² . 4

Remark 10.5.2. With the hypotheses of Definition 10.5.1, we see that [ f ]Ī³Ī²=[ai j], where

the elements ai j āˆˆ F are the elements such that

f (v j) =

māˆ‘i=

ai jwi

for all j āˆˆ {, . . .n}.Note that [ f ]Ī³

Ī²is an mƗn matrix. ā™¦

Lemma 10.5.3. Let V , W be vector spaces over a field F, let f ,g : V ā†’W be linear maps,and let c āˆˆ F. Suppose that V and W are finite-dimensional. Let n = dim(V ). Let Ī² be anordered basis for V , and let Ī³ be an ordered basis for W.

1. [ f ]Ī³Ī²= [g]Ī³

Ī²if and only if f = g.

2. [ f +g]Ī³Ī²= [ f ]Ī³

Ī²+[g]Ī³

Ī².

3. [c f ]Ī³Ī²= c[ f ]Ī³

Ī².

4. [V ]Ī² = In.

Proof. We prove Part (1); the other parts are straightforward.

(1). If f = g, then clearly [ f ]Ī³Ī²= [g]Ī³

Ī².

Suppose that [ f ]Ī³Ī²= [g]Ī³

Ī². Let Ī² = {v, . . . ,vn}. Let j āˆˆ {, . . . ,n}. Then [ f (v j)]Ī³ is the j-th

column of [ f ]Ī³Ī²

, and [g(v j)]Ī³ is the j-th column of [g]Ī³Ī²

. It follows that f (v j) and g(v j) havethe same coordinate vector relative to Ī³ . Hence f (v j) = g(v j). Therefore f and g agree ona basis, and by Corollary 9.1.7 we deduce that f = g.

Exercises

Page 105: Definitions, Theorems and Exercises Abstract Algebra Math 332

10.5 Matrix Representation of Linear Mapsā€”Basics 103

Exercise 10.5.1. Let V , W be vector spaces over a field F . Suppose that V and W are finite-dimensional. Let n = dim(V ) and m = dim(W ). Let Ī² be an ordered basis for V , and let Ī³

be an ordered basis for W . Let A āˆˆMmƗn(F). Prove that there is a linear map f : V ā†’Wsuch that [ f ]Ī³

Ī²= A.

Exercise 10.5.2. Let V , W be vector spaces over a field F , and let f : V ā†’W be a linearmap. Suppose that V and W are finite-dimensional.

(1) Suppose that f is an isomorphism. Then there is an ordered basis Ī± for V and anordered basis Ī“ for W such that [ f ]Ī“Ī± is the identity matrix.

(2) Suppose that f is an arbitrary linear map. Then there is an ordered basis Ī± for V andan ordered basis Ī“ for W such that [ f ]Ī“Ī± has the form

[ f ]Ī³Ī²=

(Ir OO O

),

where O denotes the appropriate zero matrices, for some r āˆˆ {,, . . . ,n}.

Page 106: Definitions, Theorems and Exercises Abstract Algebra Math 332

104 10. Linear Maps and Matrices

10.6 Matrix Representation of Linear Mapsā€”Composition

Friedberg-Insel-Spence, 4th ed. ā€“ Section 2.3

Theorem 10.6.1. Let V , W, Z be vector spaces over a field F, and let f : V ā†’W andg : W ā†’ Z be linear maps. Suppose that V , W and Z are finite-dimensional. Let Ī² be anordered basis for V , let Ī³ be an ordered basis for W, and let Ī“ be an ordered basis for Z.Then [gā—¦ f ]Ī“

Ī²= [g]Ī“Ī³ [ f ]

Ī³

Ī².

Proof. Suppose that [ f ]Ī³Ī²=[ai j], that [g]Ī“Ī³ =

[bi j], that [gā—¦ f ]Ī“

Ī²=[ci j], and that [g]Ī“Ī³ [ f ]

Ī³

Ī²=[

di j].

Let n = dim(V ), let m = dim(W ) and let p = dim(Z). Let Ī² = {v, . . . ,vn}, let Ī³ ={w, . . . ,wm} and let Ī“ = {z, . . . ,zp}.

By the definition of matrix multiplication, we see that di j =āˆ‘n

k= bikak j for all i āˆˆ{, . . . , p} and j āˆˆ {, . . . ,n}.

Let j āˆˆ {, . . . ,n}. Then by Remark 10.5.2 we see that

(gā—¦ f )(v j) =

pāˆ‘r=

cr jzr.

On the other hand, using Remark 10.5.2 again, we have

(gā—¦ f )(v j) = g( f (v j)) = g(māˆ‘

i=

ai jwi) =

māˆ‘i=

ai jg(wi)

=

māˆ‘i=

ai j

[ pāˆ‘r=

brizr

]=

pāˆ‘r=

[māˆ‘

i=

briai j

]zr.

Because {z, . . . ,zp} is a basis, it follows Theorem 8.6.2 (2) thatāˆ‘m

i= briai j = cr j for allr āˆˆ {, . . . , p}.

Hence di j = ci j for all i āˆˆ {, . . . , p} and j āˆˆ {, . . . ,n}, which means that [gā—¦ f ]Ī“Ī²=

[g]Ī“Ī³ [ f ]Ī³

Ī².

Theorem 10.6.2. Let V , W be vector spaces over a field F, and let f : V ā†’W be a linearmap. Suppose that V and W are finite-dimensional. Let Ī² be an ordered basis for V and letĪ³ be an ordered basis for W. Let v āˆˆV . Then [ f (v)]Ī³ = [ f ]Ī³

Ī²[v]Ī² .

Proof. Let h : F ā†’ V be defined by h(a) = av for all a āˆˆ F . Let g : F ā†’W be defined byg(a) = a f (v) for all a āˆˆ F . It can be verified that h and g are linear maps; the details areleft to the reader.

Let Ī± = {} be the standard basis ordered basis for F as a vector space over itself. Observethat f ā—¦h = g, because f (h(a)) = f (av) = a f (v) = g(a) for all a āˆˆ F . Then

[ f (v)]Ī³ = [g()]Ī³ = [g]Ī³Ī± = [ f ā—¦h]Ī³Ī± = [ f ]Ī³Ī²[h]Ī²Ī± = [ f ]Ī³

Ī²[h()]Ī² = [ f ]Ī³

Ī²[v]Ī²

Page 107: Definitions, Theorems and Exercises Abstract Algebra Math 332

10.6 Matrix Representation of Linear Mapsā€”Composition 105

Lemma 10.6.3. Let F be a field, and let m,n āˆˆ N. Let Ī² be the standard ordered basis forFn, and let Ī³ be the standard ordered basis for Fm.

1. Let A āˆˆMmƗn(F). Then [LA]Ī³

Ī²= A.

2. Let f : Fnā†’ Fm be a linear map. Then f = LC, where C = [ f ]Ī³Ī²

.

Proof.

(1). Let {e, . . . ,en} be the standard basis for Fn. Let j āˆˆ {, . . . ,n}. By Lemma 10.4.3, wesee that Ae j = LA(e j) = [LA(e j)]Ī³ . Observe that Ae j is the j-th column of A, and [LA(e j)]Ī³is the j-th column of [LA]

Ī³

Ī². Hence A = [LA]

Ī³

Ī².

(2). Let v āˆˆ Fn. Using Lemma 10.4.3 and Theorem 10.6.2, we see that f (v) = [ f (v)]Ī³ =[ f ]Ī³

Ī²[v]Ī² =Cv = LC(v). Hence f = LC.

Page 108: Definitions, Theorems and Exercises Abstract Algebra Math 332

106 10. Linear Maps and Matrices

10.7 Matrix Representation of Linear Mapsā€”Isomorphisms

Friedberg-Insel-Spence, 4th ed. ā€“ Section 2.4

Theorem 10.7.1. Let V , W be vector spaces over a field F, and let f : V ā†’W be a linearmap. Suppose that V and W are finite-dimensional, and that dim(V ) = dim(W ). Let Ī² bean ordered basis for V , and let Ī³ be an ordered basis for W.

1. f is an isomorphism if and only if [ f ]Ī³Ī²

is invertible.

2. If f is an isomorphism, then [ fāˆ’]Ī²

Ī³ =([ f ]Ī³

Ī²

)āˆ’.

Proof. Both parts of the theorem are proved together. Let n = dim(V ) = dim(W ).Suppose that f is an isomorphism. By definition of inverse maps we know that fāˆ’ ā—¦ f =

V and f ā—¦ fāˆ’ = W . By Lemma 9.4.3 we know that that fāˆ’ is a linear map. Hence, usingTheorem 10.6.1 and Lemma 10.5.3 (4), we deduce that

[ fāˆ’]Ī²

Ī³ [ f ]Ī³

Ī²= [ fāˆ’ ā—¦ f ]Ī²

Ī²= [V ]

Ī²

Ī²= [V ]Ī² = In.

A similar argument shows that[ f ]Ī³

Ī²[ fāˆ’]

Ī²

Ī³ = In.

It follows that [ f ]Ī³Ī²

is invertible and([ f ]Ī³

Ī²

)āˆ’= [ fāˆ’]

Ī²

Ī³ .

Suppose that [ f ]Ī³Ī²

is invertible. Let A = [ f ]Ī³Ī²

. Then there is some B āˆˆMnƗn(F) such thatAB = In and BA = In. Suppose that B =

[bi j].

Suppose that Ī² = {v, . . . ,vn} and that Ī³ = {w, . . . ,wn}. By Theorem 9.1.6 (2) there is aunique linear map g : W ā†’ V such that g(wi) =

āˆ‘nk= bkivi for all i āˆˆ {, . . . ,n}. Then by

definition we have [g]Ī²Ī³ = B.Using Theorem 10.6.1 and Lemma 10.5.3 (4), we deduce that

[gā—¦ f ]Ī²Ī²= [g]Ī²Ī³ [ f ]

Ī³

Ī²= BA = In = [V ]

Ī²

Ī².

A similar argument shows that[ f ā—¦g]Ī³Ī³ = [W ]

Ī³

Ī³ .

It follows from Lemma 10.5.3 (1) that gā—¦ f = V and f ā—¦g = W . Hence f has an inverse,and it is therefore bijective. We conclude that f is an isomorphism.

Corollary 10.7.2. Let F be a field, and let n āˆˆ N. Let A āˆˆMnƗn(F).

1. A is invertible if and only if LA is an isomorphism.

2. If A is invertible, then (LA)āˆ’ = LAāˆ’ .

Page 109: Definitions, Theorems and Exercises Abstract Algebra Math 332

10.7 Matrix Representation of Linear Mapsā€”Isomorphisms 107

Proof. Left to the reader in Exercise 10.7.3.

Exercises

Exercise 10.7.1. In this exercise, we will use the notation f (Ī² ) = Ī³ in the sense of orderedbases, so that f takes the first element of Ī² to the first element of Ī³ , the second element ofĪ² to the second element of Ī³ , etc.

Let V , W be vector spaces over a field F , and let f : V ā†’W be a linear map. Supposethat V and W are finite-dimensional.

(1) Let Ī² be an ordered basis for V , let Ī³ be an ordered basis for W . Then [ f ]Ī³Ī²

is theidentity matrix if and only if f (Ī² ) = Ī³ .

(2) The map f is an isomorphism if and only if there is an ordered basis Ī± for V and anordered basis Ī“ for W such that [ f ]Ī“Ī± is the identity matrix.

Exercise 10.7.2. Let V , W be vector spaces over a field F , and let f : V ā†’W be a linearmap. Suppose that V and W are finite-dimensional. Let Ī² be an ordered basis for V , and letĪ³ be an ordered basis for W . Let A = [ f ]Ī³

Ī².

(1) Prove that rank( f ) = rank(LA).

(2) Prove that nullity( f ) = nullity(LA).

Exercise 10.7.3. Prove Corollary 10.7.2.

Page 110: Definitions, Theorems and Exercises Abstract Algebra Math 332

108 10. Linear Maps and Matrices

10.8 Matrix Representation of Linear Mapsā€”The Big Picture

Friedberg-Insel-Spence, 4th ed. ā€“ Section 2.4

Theorem 10.8.1. Let V , W be vector spaces over a field F. Suppose that V and W are finite-dimensional. Let n = dim(V ) and let m = dim(W ). Let Ī² be an ordered basis for V , and letĪ³ be an ordered basis for W. Let Ī¦ : L (V,W )ā†’MmƗn(F) be defined by Ī¦( f ) = [ f ]Ī³

Ī²for

all f āˆˆL (V,W ).

1. Ī¦ is an isomorphism.

2. LĪ¦( f ) ā—¦Ļ†Ī² = Ļ†Ī³ ā—¦ f for all f āˆˆL (V,W ).

Proof.

(1). The fact that Ī¦ is a linear map is just a restatement of Lemma 10.5.3 (2) and (3). Weknow by Theorem 9.5.6 that dim(L (V,W )) = nm. We also know that dim(MmƗn(F)) =nm. Hence dim(L (V,W )) = dim(MmƗn(F)). The fact that Ī¦ is injective is just a restate-ment of Lemma 10.5.3 (1). It now follows from Corollary 9.4.4 that Ī¦ is an isomorphism.

(2). Let f āˆˆL (V,W ). Let v āˆˆV . Using Theorem 10.6.2, we see that

(Ļ†Ī³ ā—¦ f )(v)= Ļ†Ī³( f (v))= [ f (v)]Ī³ = [ f ]Ī³Ī²[v]Ī² =Ī¦( f )Ļ†Ī² (v)= LĪ¦( f )(Ļ†Ī² (v))= (LĪ¦( f ) ā—¦Ļ†Ī² )(v).

Hence LĪ¦( f ) ā—¦Ļ†Ī² = Ļ†Ī³ ā—¦ f .

Remark 10.8.2. The equation LĪ¦( f ) ā—¦Ļ†Ī² = Ļ†Ī³ ā—¦ f in Theorem 10.8.1 (2) is represented bythe following commutative diagram, where ā€œcommutativeā€ here means that going aroundthe diagram either way yields the same result.

V W

Fn Fm

f

Ļ†Ī² Ļ†Ī³

LĪ¦( f )

ā™¦

Page 111: Definitions, Theorems and Exercises Abstract Algebra Math 332

10.9 Matrix Representation of Linear Mapsā€”Change of Basis 109

10.9 Matrix Representation of Linear Mapsā€”Change of Basis

Friedberg-Insel-Spence, 4th ed. ā€“ Section 2.5

Lemma 10.9.1. Let V be a vector space over a field F. Suppose that V is finite-dimensional.Let Ī² and Ī² ā€² be ordered bases for V .

1. [V ]Ī²

Ī² ā€² is invertible.

2. If v āˆˆV , then [v]Ī² = [V ]Ī²

Ī² ā€² [v]Ī² ā€² .

Proof.

(1). We know that V is an isomorphism, and therefore Theorem 10.7.1 (1) implies that[V ]

Ī²

Ī² ā€² is invertible.

(2). Let v āˆˆ V . Then V (v) = v, and hence [V (v)]Ī² = [v]Ī² . It follows from Theo-

rem 10.6.2 that [V ]Ī²

Ī² ā€² [v]Ī² ā€² = [v]Ī² .

Definition 10.9.2. Let V be a vector space over a field F . Suppose that V is finite-dimensional. Let Ī² and Ī² ā€² be ordered bases for V . The change of coordinate matrix(also called the change of basis matrix) that changes Ī² ā€²-coordinates into Ī² -coordinates isthe matrix [V ]

Ī²

Ī² ā€² . 4

Lemma 10.9.3. Let V be a vector space over a field F. Suppose that V is finite-dimensional.Let Ī± , Ī² and Ī³ be ordered bases for V . Let Q be the change of coordinate matrix thatchanges Ī±-coordinates into Ī² -coordinates, and let R be the change of coordinate matrixthat changes Ī² -coordinates into Ī³-coordinates

1. RQ is the change of coordinate matrix that changes Ī±-coordinates into Ī³-coordinates

2. Qāˆ’ is the change of coordinate matrix that changes Ī² -coordinates into Ī±-coordi-nates

Proof. Left to the reader in Exercise 10.9.1.

Theorem 10.9.4. Let V , W be vector spaces over a field F. Suppose that V and W arefinite-dimensional. Let Ī² and Ī² ā€² be ordered bases for V , and let Ī³ and Ī³ ā€² be ordered basesfor W. Let Q be the change of coordinate matrix that changes Ī² ā€²-coordinates into Ī² -co-ordinates, and let P be the change of coordinate matrix that changes Ī³ ā€²-coordinates intoĪ³-coordinates. If f : V ā†’W is a linear map, then [ f ]Ī³

ā€²

Ī² ā€² = Pāˆ’[ f ]Ī³Ī²

Q.

Page 112: Definitions, Theorems and Exercises Abstract Algebra Math 332

110 10. Linear Maps and Matrices

Proof. Let f : V ā†’ W be a linear map. Observe that f = W ā—¦ f ā—¦V . Then [ f ]Ī³ā€²

Ī² ā€² =

[W ā—¦ f ā—¦V ]Ī³ ā€²

Ī² ā€² . It follows from Theorem 10.6.1 that [ f ]Ī³ā€²

Ī² ā€² = [W ]Ī³ ā€²Ī³ [ f ]Ī³

Ī²[V ]

Ī²

Ī² ā€² . By Lemma 10.9.3,

we deduce that [ f ]Ī³ā€²

Ī² ā€² = Pāˆ’[ f ]Ī³Ī²

Q.

Corollary 10.9.5. Let V be a vector space over a field F. Suppose that V is finite-dimensional. Let Ī² and Ī² ā€² be ordered bases for V . Let Q be the change of coordinatematrix that changes Ī² ā€²-coordinates into Ī² -coordinates. If f : V ā†’ V is a linear map, then[ f ]Ī² ā€² = Qāˆ’[ f ]Ī² Q.

Corollary 10.9.6. Let F be a field, and let n āˆˆ N. Let A āˆˆ MnƗn(F). Let Ī³ = {v, . . . ,vn}

be an ordered basis for Fn. Let Q āˆˆMnƗn(F) be the matrix whose j-th column is v j. Then[LA]Ī³ = Qāˆ’AQ.

Definition 10.9.7. Let F be a field, and let n āˆˆN. Let A,B āˆˆMnƗn(F). The matrices A andB are similar if there is an invertible matrix Q āˆˆMnƗn(F) such that A = Qāˆ’BQ. 4

Lemma 10.9.8. Let F be a field, and let n āˆˆN. The relation of matrices being similar is anequivalence relation on MnƗn(F).

Proof. Left to the reader in Exercise 10.9.2.

Exercises

Exercise 10.9.1. Prove Lemma 10.9.3.

Exercise 10.9.2. Prove Lemma 10.9.8.