Access Solution Manual for A First Course in Abstract Algebra, 8th Edition, John B. Fraleigh, Neal Brand All Chapters Immediate PDF Download
Access Solution Manual for A First Course in Abstract Algebra, 8th Edition, John B. Fraleigh, Neal Brand All Chapters Immediate PDF Download
Access Solution Manual for A First Course in Abstract Algebra, 8th Edition, John B. Fraleigh, Neal Brand All Chapters Immediate PDF Download
https://testbankmall.com
https://testbankmall.com/product/solution-manual-
for-a-first-course-in-abstract-algebra-8th-
edition-john-b-fraleigh-neal-brand-2/
https://testbankmall.com/product/solutions-manual-to-accompany-a-
first-course-in-abstract-algebra-3rd-edition-9780131862678/
testbankmall.com
https://testbankmall.com/product/solutions-manual-to-accompany-a-
first-course-in-probability-8th-edition-013603313x/
testbankmall.com
https://testbankmall.com/product/solution-manual-for-a-first-course-
in-mathematical-modeling-5th-edition/
testbankmall.com
https://testbankmall.com/product/solution-manual-for-big-c-late-
objects-3rd-edition-cay-s-horstmann/
testbankmall.com
https://testbankmall.com/product/solution-manual-for-case-studies-in-
finance-managing-for-corporate-value-creation-6th-edition-by-bruner/
testbankmall.com
https://testbankmall.com/product/principles-of-money-banking-
financial-markets-ritter-12th-edition-test-bank/
testbankmall.com
https://testbankmall.com/product/solution-manual-for-management-a-
faith-based-perspective-michael-e-cafferky/
testbankmall.com
https://testbankmall.com/product/solution-manual-for-classical-
electromagnetism-jerrold-franklin/
testbankmall.com
Test Bank for Criminology: Theories, Patterns and
Typologies 13th Edition
https://testbankmall.com/product/test-bank-for-criminology-theories-
patterns-and-typologies-13th-edition/
testbankmall.com
The author and publisher of this book have used their best efforts in preparing this book.
These efforts include the development, research, and testing of the theories and
programs to determine their effectiveness. The author and publisher make no warranty
of any kind, expressed or implied, with regard to these programs or the documentation
contained in this book. The author and publisher shall not be liable in any event
for incidental or consequential damages in connection with, or arising out of, the
furnishing, performance, or use of these programs.
Copyright © 2021, 2003 by Pearson Education, Inc. 221 River Street, Hoboken,
NJ
07030. All rights
reserved.
All rights reserved. No part of this publication may be reproduced, stored in a retrieval
system, or transmitted, in any form or by any means, electronic, mechanical,
photocopying, recording, or otherwise, without the prior written permission of
the publisher. Printed in the United States of America.
ISBN-13: 978-0-32-139037-0
ISBN-10: 0-321-39037-7
Preface for Seventh Edition
This manual contains solutions to all exercises in the text, except those odd-numbered
exercises for which fairly lengthy complete solutions are given in the answers at the
back of the text. Then reference is simply given to the text answers to save typing.
I prepared these solutions myself. While I tried to be accurate, there are sure to be
the inevitable mistakes and typos. An author reading proof tends to see what he or she
wants to see. However, the instructor should find this manual adequate for the
purpose for which it is intended.
In keeping with the seventh edition, this manual contains solutions to all exercises in
the text except for some of the odd-numbered exercises whose solutions are in the back
of the text book. I made few changes to solutions to exercises that were in the seventh
edition. However, solutions to new exercises do not always include as much detail as
would be found in the seventh edition. My thinking is that instructors teaching the class
would use the solution manual to see the idea behind a solution and they would
easily fill in the routine details.
As in the seventh edition, I tried to be accurate. However, there are sure to be
some errors. I hope instructors find the manual helpful.
1. Binary Operations 05
2. Groups 08
3. Abelian Examples 14
4. Nonabelian Examples 19
5. Subgroups 22
6. Cyclic Groups 27
7. Generators and Cayley Digraphs 32
8. Groups of Permutations 34
9. Finitely Generated Abelian Groups 40
10. Cosets and the Theorem of Lagrange 45
11. Plane Isometries 50
1. { 3, − 3}
2. {2, –3}.
3. {1, −1, 2, −2, 3, −3, 4, −4, 5, −5, 6, −6, 10, −10, 12, −12, 15, −15, 20, −20, 30, −30,
60, −60}
4. {2, 3, 4, 5, 6, 7, 8}
+
5. It is not a well-defined set. (Some may argue that no element is large,
of
because every element exceeds only a finite number of other elements but
is exceeded by an infinite number of other elements. Such people might claim
the answer should be ∅.)
6. ∅
7. The set is ∅ because 33 = 27 and 43 = 64.
+
8. { r ∈ r =2 a for some a a ∈
n and some integer n ≥ 0}.
d −c
c. φ : [ a, b ] → [ c, d ] where φ ( x ) = c + ( x − a)
Copyright
Copyright ©
© 2021
2021 Pearson
Pearson Education,
Education,
Inc.
Inc.
2 0. Sets
0. Sets
andand 2
Relations
Relations
b−a
15. Let φ : S → be defined by φ ( x ) tan(π (x − 21 )).
=
16. a. ∅; cardinality 1
b. ∅,{a}; cardinality 2
c. ∅,{a},{b},{a, b}; cardinality 4
d. ∅,{a},{b},{c},{a, b},{a, c},{b, c},{a, b, c}; cardinality 8
Copyright
Copyright ©
© 2021
2021 Pearson
Pearson Education,
Education,
Inc.
Inc.
Visit https://testbankmall.com
now to explore a rich
collection of testbank,
solution manual and enjoy
exciting offers!
2 0. Sets
0. Sets
andand 3
Relations
Relations
17. | P ( A ) |= 2 s = 2|A|.
Conjecture:
Proof The number of subsets of a set A depends only on the cardinality of A, not
on what the elements of A actually are. Suppose B = {1, 2, 3, · · · , s − 1} and A =
{1, 2,
3, · · · , s}. Then A has all the elements of B plus the one additional element s.
All subsets of B are also subsets of A; these are precisely the subsets of A that
do not contain s, so the number of subsets of A not containing s is |P(B)|. Any
other subset of A must contain s, and removal of the s would produce a subset
of B. Thus the number of subsets of A containing s is also |P(B)|. Because every
subset of A either contains s or does not contain s (but not both), we see that the
number of subsets of A is 2|P(B)|.
We have shown that if A has one more element that B, then |P(A)| = 2|P(B)|.
Now
|P(∅)| = 1, so if |A| = s, then |P(A)| = 2s.
18. We define a one-to-one map φ of BA onto P(A). Let f ∈ BA, and let
φ ( f ) = {x ∈ A | f ( x ) = 1}. Suppose φ (f ) = φ (g). Then f (x) = 1 if and only if
g(x)
= 1. Because the only possible values for f (x) and g(x) are 0 and 1, we see that f
(x)
= 0 if and only if g(x) = 0. Consequently f (x) = g(x) for all x ∈ A so f = g and φ
is
one to one. To show that φ is onto P(A), let S ⊆ A, and let h : A → {0, 1}
be defined by h(x) = 1 if x ∈ S and h(x) = 0 otherwise. Clearly φ (h) = S, showing
that φ is indeed onto P(A).
19. Picking up from the hint, Z = {x ∈ A | x ∈ φ ( x )}. We claim that for any
let
case a ∈ Z. Thus Z and φ (a) are certainly different subsets of A; one of them
power set, then form the power set of that, and continue this process indefinitely.
If there were only a finite number of infinite cardinal numbers, this process
would have to terminate after a fixed finite number of steps. Since it doesn’t, it
appears that there must be an infinite number of different infinite cardinal numbers.
Copyright
Copyright ©
© 2021
2021 Pearson
Pearson Education,
Education,
Inc.
Inc.
2 0. Sets
0. Sets
andand 4
Relations
Relations
The set of everything is not logically acceptable, because the set of all subsets
of the set of everything would be larger than the set of everything, which is a
fallacy.
20. a. The set containing precisely the two elements of A and the three (different)
elements of B is C = {1, 2, 3, 4, 5} which has 5 elements.
i) Let A = {−2, −1, 0} and B = {1, 2, 3, · · ·} = + . Then |A| = 3 and |B| = ℵ0, and A
and
B have no elements in common. The set C containing all elements in either A or B is
C = {−2, −1, 0, 1, 2, 3, · · ·}. The map φ : C → B defined by φ (x) = x + 3 is one to
one and onto B, so |C| = |B| = ℵ0. Thus we consider 3 + ℵ0 = ℵ0.
ii) Let A = {1, 2, 3, · · ·} and B = {1/2, 3/2, 5/2, · · ·}. Then |A| = |B| = ℵ0 and A and
B
have no elements in common. The set C containing all elements in either A of B is C =
{1/2, 1, 3/2, 2, 5/2, 3, · · ·}. The map φ : C → A defined by φ (x) = 2x is one to one
and onto A, so |C| = |A| = ℵ0. Thus we consider ℵ0 + ℵ0 = ℵ0
b. We leave the plotting of the points in A × B to you. Figure 0.15 in the text,
where there are ℵ0 rows each having ℵ0 entries, illustrates that we would
consider that ℵ0 · ℵ0 = ℵ0.
Copyright
Copyright ©
© 2021
2021 Pearson
Pearson Education,
Education,
Inc.
Inc.
2 0. Sets
0. Sets
andand 5
Relations
Relations
21. There are 102 = 100 numbers (.00 through .99) of the form .##, and 105 = 100,
000 numbers (.00000 through .99999) of the form .#####. Thus for .##### ·
· ·, we
expect 10ℵ sequences representing all numbers x ∈
0
such that 0 ≤ x ≤ 1, but a
sequence trailing off in 0’s may represent the same x ∈ as a sequence trailing of
in 9’s. At any rate, we should have ≥ |[0, 1]| = ; see Exercise 15. On the
10ℵ0
other hand, we can represent numbers in using any integer base n > 1, and these
same 10ℵ0 sequences using digits from 0 to 9 in base n = 12 would not represent all
could make the same argument using any other integer base n > 1, and
thus consider nℵ = for n ∈ + , n > 1. In particular, 12ℵ = 12ℵ =
0
. 0 0
(2 )
22. ℵ0 ,| |, 2| | , 2(2 ) , 2(2 )
relation on the collection of cells in the partition, we see that x = 30. Not an
z equivalence
the same cell as z. Consequently, x R z. relation; 3 ≥
29. Not an equivalence relation; 0 is not related to 0, so it is not 2 but 2 ≥ 3,
reflexive.
Copyright
Copyright ©
© 2021
2021 Pearson
Pearson Education,
Education,
Inc.
Inc.
2 0. Sets
0. Sets
andand 6
Relations
Relations
Copyright
Copyright ©
© 2021
2021 Pearson
Pearson Education,
Education,
Inc.
Inc.
4 0. Sets
1. Binary
and 7
Relations
Operations
Copyright
Copyright ©
© 2021
2021 Pearson
Pearson Education,
Education,
Inc.
Inc.
4 0. Sets
1. Binary
and 8
Relations
Operations
1. Binary Operations
1. b ∗ d = e, c ∗ c = b, [(a ∗ c) ∗ e] ∗ a = [c ∗ e] ∗ a = a ∗ a = a
2. (a ∗ b) ∗ c = b ∗ c = a and a ∗ (b ∗ c) = a ∗ a = a, so the operation might
be associative, but we can’t tell without checking all other triple products.
3. (b ∗ d) ∗ c = e ∗ c = a and b ∗ (d ∗ c) = b ∗ b = c, so the operation is
not associative.
4. It is not commutative because b ∗ e = c but e ∗ b = b.
5. Now d ∗ a = d so fill in d for a ∗ d. Also, c ∗ b = a so fill in a for b ∗ c. Now
b ∗ d = c so fill in c for d ∗ b. Finally, c ∗ d = b so fill in b for d ∗ c.
6. d ∗ a = (c ∗ b) ∗ a = c ∗ (b ∗ a) = c ∗ b = d. In a similar fashion, substituting c ∗ b
for d and using the associative property, we find that d ∗ b = c, d ∗ c = c, and d ∗ d
= d. a is an identity.
7. It is not commutative because 1 – 2 ≠ 2 – 1. It is not associative because 2 = 1
– (2 – 3) ≠ (1 – 2) – 3 = –4. No identity.
8. Commutative since 2ab + 3 = 2ba + 3. Not associative since (1 ∗ 2) ∗ 3 = 45 and
1 ∗ (2 ∗ 3) = 33. No identity since 0 ∗ e = 3 ≠ 0.
9. Commutative since a ∗ b = ab + a + b = b ∗ a. Associative since a ∗ b = (a +
1) (b + 1) – 1 making it easy to see that (a * b) ∗ c = (a + 1) (b + 1) (c + 1) – 1
= a ∗ (b ∗ c). The identity is 0.
+
10. It is commutative because 2ab = 2ba for a,b ∈ . It is not associative because
all
ab bc
(a ∗ b) ∗ c = 2ab ∗ c = 2(2 )c
, but a ∗ (b ∗ c) = a ∗ bc
= 2 a(2 ) . No identity.
2
Copyright
Copyright ©
© 2021
2021 Pearson
Pearson Education,
Education,
Inc.
Inc.
4 0. Sets
1. Binary
and 9
Relations
Operations
n2 − n n2 + n
n+ = .
2 2
( n2 +n ) / 2
Thus there are n possible commutative binary operations on an n-element
Copyright
Copyright ©
© 2021
2021 Pearson
Pearson Education,
Education,
Inc.
Inc.
6 1. Binary Operations
((n–1) 2 )
15. n since after the first row and column are determined there are (n – 1)2
spots to be filled.
16. It is incorrect. Mention should be made of the underlying set for ∗ and
the universal quantifier, for all, should appear.
A binary operation ∗ on a set S is commutative if and only if a ∗ b = b ∗ a
for all a, b ∈ S.
17. The definition is correct.
18. It is incorrect. Replace the final S by H.
19. An identity in the set S with operation ∗ is element e ∈ such that for all a ∈ S,
S
a ∗ e = e ∗ a = a.
20. No, because e1 ∗ e2 = e1 and e1 ∗ e2 = e2.
21. This is an operation.
22. No. Condition 2 is violated. 1 ∗ 2 should be 0, but 0 ∉
+
.
23. No. Condition 2 is violated. 2 ∗ 1 should be 0, but
0∉ +.
24. No. Condition 1 is violated since the value of 1 ∗ 2 is not well defined as it
could either be 1 or –1. Also, Condition 2 is violated since –1 ∗ 2 is undefined.
25. It is not a binary operation. Condition 1 is violated, for 2 ∗ 3 might be any
integer greater than 9.
+
26. It is not a binary operation. Condition 2 is violated, for 1 ∗ 1 = 0 and 0 ∉ .
a −b c −d a + c −(b + d )
27. a. Yes. + = a + c
.
b a d c b + d
a −b c −d ac − bd −(ad + bc)
b. Yes. = ac − bd
.
b a d c ad + bc
28. F T F F F T T T T F F F T F
29. (See the answer in the text.)
30. We have (a ∗ b) ∗ (c ∗ d) = (c ∗ d) ∗ (a ∗ b) = (d ∗ c) ∗ (a ∗ b) = [(d ∗ c) ∗ a] ∗
b, where we used commutativity for the first two steps and associativity for the
last.
31. The statement is true. Commutativity and associativity assert the equality
of certain computations. For a binary operation on a set with just one element,
that element is the result of every computation involving the operation, so the
operation must be commutative and associative.
∗ a b
32. a b a The statement is false. Consider the operation on {a, b} defined by
b a a
(a ∗ b) ∗ x = a ∗ (b ∗ x) = a ∗ (x ∗ b) = (a ∗ x) ∗ b = (x ∗ a) ∗ b = x ∗ (a ∗ b).
This shows that a ∗ b satisfies the defining criterion for an element of H, so
(a ∗ b) ∈ H .
43. Let a, b ∈ H . By definition of H, we have a ∗ a = a and b ∗ b = b. Using, one
step at a time, the fact that ∗ is associative and commutative, we obtain
(a ∗ b) ∗ (a ∗b) = [(a ∗b) ∗ a]∗ b = [a ∗ (b ∗ a)]∗ b = [a ∗ (a ∗ b)]∗ b
= [(a ∗ a) ∗ b]∗ b = (a ∗b) ∗ b = a ∗ (b ∗ b) = a ∗b.
This show that a ∗ b satisfies the defining criterion for an element of H, so
(a ∗ b) ∈ H .
44. For any x, y ∈ S , x ∗ y = (x ∗ y) ∗ (x ∗ y) = ((x ∗ y) ∗ x) ∗ y = ((y ∗ x) ∗ x) ∗ y = ((x
∗ x) ∗ y) ∗ y = (x ∗ y) ∗ y = (y ∗ y) ∗ x = y ∗ x. So ∗ is commutative. Since ∗ is
commutative, (x ∗ y) ∗ z = (y ∗ z) ∗ x = x ∗ (y ∗ z) for x, y ∈ S . So ∗ is
and associative.
1.D. The copyright laws of the place where you are located also
govern what you can do with this work. Copyright laws in most
countries are in a constant state of change. If you are outside
the United States, check the laws of your country in addition to
the terms of this agreement before downloading, copying,
displaying, performing, distributing or creating derivative works
based on this work or any other Project Gutenberg™ work. The
Foundation makes no representations concerning the copyright
status of any work in any country other than the United States.
1.E.6. You may convert to and distribute this work in any binary,
compressed, marked up, nonproprietary or proprietary form,
including any word processing or hypertext form. However, if
you provide access to or distribute copies of a Project
Gutenberg™ work in a format other than “Plain Vanilla ASCII” or
other format used in the official version posted on the official
Project Gutenberg™ website (www.gutenberg.org), you must,
at no additional cost, fee or expense to the user, provide a copy,
a means of exporting a copy, or a means of obtaining a copy
upon request, of the work in its original “Plain Vanilla ASCII” or
other form. Any alternate format must include the full Project
Gutenberg™ License as specified in paragraph 1.E.1.
• You pay a royalty fee of 20% of the gross profits you derive
from the use of Project Gutenberg™ works calculated using the
method you already use to calculate your applicable taxes. The
fee is owed to the owner of the Project Gutenberg™ trademark,
but he has agreed to donate royalties under this paragraph to
the Project Gutenberg Literary Archive Foundation. Royalty
payments must be paid within 60 days following each date on
which you prepare (or are legally required to prepare) your
periodic tax returns. Royalty payments should be clearly marked
as such and sent to the Project Gutenberg Literary Archive
Foundation at the address specified in Section 4, “Information
about donations to the Project Gutenberg Literary Archive
Foundation.”
• You comply with all other terms of this agreement for free
distribution of Project Gutenberg™ works.
1.F.
Most people start at our website which has the main PG search
facility: www.gutenberg.org.