Solution Manual for A First Course in Abstract Algebra, 8th Edition by John B. Fraleigh | Complete Solutions for All Chapters | Revised Edition

SOLUTION MANUAL
First Course in Abstract Algebra A
8th Edition by John B. Fraleigh
All Chapters Full Complete

, CONTENTS
0. Sets and Relations 1

I. Groups and Subgroups
1. Introduction and Examples 4
2. Binary Operations 7
3. Isomorphic Binary Structures 9
4. Groups 13
5. Subgroups 17
6. Cyclic Groups 21
7. Generators and Cayley Digraphs 24

II. Permutations, Cosets, and Direct Products
8. Groups of Permutations 26
9. Orbits, Cycles, and the Alternating Groups 30
10. Cosets and the Theorem of Lagrange 34
11. Direct Products and Finitely Generated Abelian Groups 37
12. Plane Isometries 42

III. Homomorphisms and Factor Groups
13. Homomorphisms 44
14. Factor Groups 49
15. Factor-Group Computations and Simple Groups 53
16. Group Action on a Set 58
17. Applications of G-Sets to Counting 61

IV. Rings and Fields
18. Rings and Fields 63
19. Integral Domains 68
20. Fermat’s and Euler’s Theorems 72
21. The Field of Quotients of an Integral Domain 74
22. Rings of Polynomials 76
23. Factorization of Polynomials over a Field 79
24. Noncommutative Examples 85
25. Ordered Rings and Fields 87

V. Ideals and Factor Rings
26. Homomorphisms and Factor Rings 89
27. Prime and Maximal Ideals 94
28. Gröbner Bases for Ideals 99

, VI. Extension Fields

29. Introduction to Extension Fields 103
30. Vector Spaces 107
31. Algebraic Extensions 111
32. Geometric Constructions 115
33. Finite Fields 116

VII. Advanced Group Theory

34. Isomorphism Theorems 117
35. Series of Groups 119
36. Sylow Theorems 122
37. Applications of the Sylow Theory 124
38. Free Abelian Groups 128
39. Free Groups 130
40. Group Presentations 133

VIII. Groups in Topology

41. Simplicial Complexes and Homology Groups 136
42. Computations of Homology Groups 138
43. More Homology Computations and Applications 140
44. Homological Algebra 144

IX. Factorization
45. Unique Factorization Domains 148
46. Euclidean Domains 151
47. Gaussian Integers and Multiplicative Norms 154

X. Automorphisms and Galois Theory
48. Automorphisms of Fields 159
49. The Isomorphism Extension Theorem 164
50. Splitting Fields 165
51. Separable Extensions 167
52. Totally Inseparable Extensions 171
53. Galois Theory 173
54. Illustrations of Galois Theory 176
55. Cyclotomic Extensions 183
56. Insolvability of the Quintic 185

APPENDIX Matrix Algebra 187


iv

, 0. Sets and Relations 1

0. Sets p and p Relations
√ √
1. { 3, p − 3} 2. p The p set p is p empty.

3. p {1, p −1, p 2, p−2, p 3, p −3, p4, p −4, p 5, p−5, p 6, p−6, p 10, p −10, p12, p −12, p 15, p−15, p 20, p−20, p 30, p −30,
60, p −60}

4. p {−10, p−9, p −8, p −7, p −6, p−5, p−4, p−3, p−2, p−1, p0, p 1, p2, p3, p4, p 5, p 6, p 7, p 8, p9, p 10, p11}

5. It p is p not p a p well-defined p set. p (Some p may p argue p that p no p element p of p Z+ p is p large, p
because p every p element p exceeds p only p a p finite p number p of p other p elements p but p is p exceeded p by
p an p infinite p number p of p other p elements. p Such p people p might p claim p the p answer p should p be p
∅.)

6. ∅ 7. p The p set p is p ∅ p because p 33 p = p 27 p and p 43 p = p 64.

8. p It p is p not p a p well-defined p set. 9. p Q

10. The p set p containing p all p numbers p that p are p (positive, p negative, p or p zero) p integer p
multiples p of p 1, p 1/2, p or p 1/3.

11. {(a, p 1), p (a, p 2), p (a, p c), p (b, p 1), p (b, p 2), p (b, p c), p (c, p 1), p (c, p 2), p (c, p c)}

12. a. p It p is p a p function. p It p is p not p one-to-one p since p there p are p two p pairs p with p second p
member p 4. p It p is p not p onto
B p because p there p is p no p pair p with p second p member p 2.
b. (Same p answer p as p Part(a).)
c. It p is p not p a p function p because p there p are p two p pairs p with p first p member p 1.
d. It p is p a p function. p It p is p one-to-one. p It p is p onto p B p because p every p element p
of p B p appears p as p second p member p of p some p pair.
e. It p is p a p function. p It p is p not p one-to-one p because p there p are p two p pairs p with p second p
member p 6. p It p is p not p onto p B p because p there p is p no p pair p with p second p member p 2.
f. It p is p not p a p function p because p there p are p two p pairs p with p first p member p 2.

13. Draw p the p line p through p P p and p x, p and p let p y p be p its p point p of p intersection p with p the
p line p segment p CD.

14. a. p φ p : p [0, p1] p → p [0, p2] p where p φ(x) p = p 2x b. p φ p : p [1, p3] p → p [5, p25] p where p φ(x) p =
p 5 p + p 10(x p − p 1)
c. p φ p : p [a,
→pb]
d c
− [c, p d] p where p φ(x) p = p c p + p − p(x a)
b−a
1p
15. Let p φ p : p S p → p R p be p defined p by p φ(x) p2 = p tan(π(x p − p )).

16. a. p ∅; p cardinality p 1 b. p ∅, p {a}; p cardinality p 2 c. p ∅, p{a}, p{b}, p{a, pb}; p cardinality p
4
d. p ∅, p{a}, p{b}, p{c}, p{a, pb}, p{a, pc}, p{b, pc}, p{a, pb, pc}; p cardinality p 8

17. Conjecture: |P(A)| p = p 2s p = p 2|A|.
Proof p The p number p of p subsets p of p a p set p A p depends p only p on p the p cardinality p of p A, p
not p on p what p the p elements p of p A p actually p are. p Suppose p B p = p {1, p2, p3, p· p· p · p, ps p − p
1} p and p A p = p {1, p2, p3, p p , ps}. p Then p A p has p all
the p elements p of p B p plus p the p one p additional p element p s. p All p subsets p of p B p are p also p