Contemporary abstract algebra gallian 8th edition solutions




















Oct 14, Tasha Cruz rated it it was amazing. Jim Belk belk bard. Sujeet Tiwari rated it it was amazing Sep 30, There are no discussion topics on this book yet.

Nurholis Greatboy rated it it was amazing Feb 20, Would you like to tell us about a lower price? Ali rated it it was amazing Mar 01, Page 1 of 1 Start over Page 1 of 1.

Delivery and Returns see our delivery rates and policies thinking of returning an item? The Fourth Edition features important concepts as well as specialized topics, including: Permutations Here are some practice problems on permutations: Homework 2 The second homework assignment is due this Friday, February Books by Joseph A.

Not as helpful as I had hoped. This website uses cookies to improve your experience while you navigate through the website. Out of these cookies, the cookies that are categorized as necessary are stored on your browser as they are as essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent.

You also have the option to opt-out of these cookies. Other Editions 8. Friend Reviews. To see what your friends thought of this book, please sign up. Lists with This Book. Community Reviews. Showing Average rating 3. Rating details. More filters. Sort order. Aug 26, Hari Priya added it Shelves: solutions. This review has been hidden because it contains spoilers. To view it, click here. Mar 28, Hamza Abualhaj rated it it was amazing.

Aug 31, Abhishek Pant rated it really liked it. I loved this i really helped me. Aug 21, Rajani Das is currently reading it. Feb 09, Ali rated it did not like it. Feb 21, Pradeep rated it it was amazing. Oct 14, Tasha Cruz rated it it was amazing. Tashi Norbu rated it it was amazing Apr 07, Brijendra Chaurasiya rated it really liked it Jan 13, Raymond Paul rated it it was amazing Oct 13, Saad Ahmed rated it it was amazing Nov 16, Jaider Luis rated it it was amazing Sep 13, Astrid rated it really liked it Dec 24, Jatin Mann rated it it was ok Aug 26, Ariyan Sohan rated it it was amazing Dec 13, The group of rotations is Abelian and a group of order 2 is Abelian; now use Exercise 4.

In general, if the external direct product of any number of groups is cyclic, each of the factors is cyclic. Since any cycle group of even order has exactly 1 element of order 2 and 1 of order 1 there are only 3 choices for a, b.

But isomorphisms preserve order. If exactly one ni is even then x is the unique element of order 2. Otherwise x is the identity. Each cyclic subgroup of order 6 has two elements of order 6.

So, the 24 elements of order 6 yield 12 cyclic subgroups of order 6. In general, if a group has 2n elements of order 6 it has n cyclic subgroups of order 6. Recall from the Corollary of Theorem 4. S3 In each position we must have an element of order 1 or 2 except for the case that every position has the identity.

For the second question, we must use the identity in every position for which the order of the group is odd. Using the fact that an isomorphism from Z12 is determined by the image of 1 and the fact that a generator must map to a generator, we determine that there are 4 isomorphisms.

Since 2, 0 has order 2, it must map to an element in Z12 of order 2. The only such element in Z12 is 6. Since 1, 0 has order 4, it must map to an element in Z12 of order 4. The only such elements in Z12 is 3 and 9. A second subgroup of order 5 is ha2 i where a2 is any element not in ha1 i. A third subgroup of order 5 is ha3 i where a3 is any element not in ha1 i or ha2 i.

This gives us Z3 and Z4. As before no prime can be greater than 3. Identify A with 0,0 , T with 1,1 , G with 1,0 and C with 0,1. Then a string of length n of the four bases is represented by a string of 0s and 1s of length 2n and the complementary string of a1 a2. So we have 2 choices for each of a, b, c, and d.

This gives 16 in all. Now use Theorem 8. So, all cubes in U 55 are distinct. We need to find relatively prime m and n so that both U m and U n are divisible by 5.

U This is the same argument as in Exercise 77 with 5 replaced by 3. Um n is a subgroup of Uk n. Obviously, 72 is one choice. Step 3 of the Sender part of the algorithm fails.

So, we need to compute mod The result is , which converts to NO. Consider the finite and infinite cases separately. For the infinite case, use Exercise 2 of Chapter 6. See Theorem 6. When K is characteristic, and automorphism of G is an automorphism of K, which in turn, is an automorphism of N when N is characteristic. All nonidentity elements of G and H have order 3. Let a and b be distinct nonidentity elements in G of order 2.

Note that H1 is a subgroup of G and the product of all its elements is e. If not, then let c be an element of G not in H1. If not, then let d be an element of G not in H2.

Continuing in this way finishes the proof. Let x and y belong to H. Observe that the exponent of a finite group is the least common multiple of the order of all the elements of the group. For U n to have exponent 2 every nonidentity element must have order 2. So every element can be expressed in the desired form. But there is no rational number whose cube is 2. By property 2 of Theorem 6.

In R under addition every nonzero element has infinite order. Fix a1 ,. Then x1 ,. Count elements of order 2. See Exercises A pyramid with a regular pentagonal base. There are 7! This makes in all. Notice the second coordinate is triple the first minus 1. These steps are reversible. So, there is a prime p that divides both a and b. Use the previous exercise.

First observe that by Theorem 8. By Theorem 8. It follows from Corollary 4 of Theorem 7. D6 has an element of order 6 but S4 does not. Also, 1n So, by induction, 12 and This means that every 2-cycle not involving n can be generated. H contains the identity so H is not empty. This proves that H is a subgroup. By Theorem 9.

Since H and K have order 2 they are both isomorphic to Z2 and therefore isomorphic to each other. This means that H has at least 27 elements. First observe that every proper subgroup of D4 is Abelian. Now use Theorem 9. If h or k is infinite, so is g. Suppose H is any subgroup of index 2. Now use Corollary 2 to Theorem 4. Suppose that H is a proper subgroup of Q of index n.

The proof is valid for any integer. G and the trivial subgroup are normal. By Exercise 9 of this chapter By Example 14 of Chapter 3, Z D13 is the identity. Then by Theorem 9. Say aH has finite order n. But this implies that an and therefore a is finite. Say H has an index n. Use part a of this exercise and part a of Exercise 4 of Supplementary Exercises for Chapters So, K is not normal in D4. The same argument works for the intersection of any family of normal subgroups.

By Exercise 55, N M is a subgroup. Use Theorem 9. Let C the collection of all subgroups of G of order n. Suppose that Aut G is cyclic. Then Inn G is also cyclic. So, by Theorem 9. It follows from Example 5 of this chapter and Theorem 7. Note DK and V K are two of the four cosets but their product is not one of the four.

So, closure fails. This does not contradict Theorem 9. Suppose that H is a subgroup of S4 of order 12 distinct from A4. Then Example 5 in this chapter and Theorem 7. But this contradicts Example 5 of Chapter 7. By Theorem 7. If A5 had a normal subgroup of order 2 then, by Exercise 72, the subgroup has a nonidentity element that commutes with every element of A5. An element of A5 of order 2 has the form ab cd. But ab cd does not commute with abc , which also belong to A5.

Thus, a is in H. So, elements of order 5 or 25 account for at most 84 elements of G. It now follows from Theorem 4. Let E denote any even permutation and O any odd. The other cases are similar. It follows from Theorem See Exercise 20 of Chapter 5. The kernel is the set of even permutations in G. When G is Sn the kernel is An and from Theorem So, An has index 2 in Sn and is normal in Sn.

The kernel is the subgroup of even permutations in G. If the members of G are not all even then the coset other than the kernel is the set of odd permutations in G.

All cosets have the same size. See Exercise 9 of Chapter 1. The kernel is the subgroup of rotations in G. If the members of G are not all rotations then the coset other than the kernel is the set of reflections in G. So, by Theorem Chapter 5. By property 6 of Theorem Observe that such a mapping would be an isomorphism and isomorphisms preserve order. By Theorem No, because of part 3 of Theorem No, because the homomorphic image of a cycle group must be cyclic.

The only subgroup of Z30 of order 6 is h5i. To generalize replace 8 by n. To define a homomorphism from Z20 onto Z10 we must map 1 to a generator of Z Since there are four generators of Z10 we have four homomorphisms. To define a homomorphism from Z20 to Z10 we can map 1 to any element of Z Be careful here, these mappings are well defined only because 10 divides The trivial homomorphism and the one given in Example 11 are the only homomorphisms.

To verify this use Theorem Say the kernel of the homomorphism is K. By properties 5, 7, and 8 of Theorem Use parts 5 and 8 of Theorem A homomorphism from Zn to a subgroup of Zk must carry 1 to a generator of the subgroup. Furthermore, since the order of the image of 1 must divide n, so we need consider only those divisors d of k that also divide n. Uk n is the kernel. Let N be a normal subgroup of D4. Use Theorem It is divisible by In general, if Zn is the homomorphic image of G, then G is divisible by n.

In general, the order of G is divisible by the least common multiple of the orders of all its homomorphic images. It is infinite. Let A be the coefficient matrix of the system. The identity belongs to H. The kernel is the set of elements in Z[x] whose graphs pass through the point 3, 0.

For the first part use trig identities. Let G be a group of order If G has an element of order 77, then G is cyclic. So, we may assume that all nonidentity elements of G have order 7 or Not all nonidentity elements can have order 11 because, by the Corollary of Theorem 4.

Not all nonidentity elements of G can have order 7 because the number of such elements is a multiple of 6. Then H is the only subgroup of G of order 11 for if K is another one then by Theorem 7.

But HK is a subset of G and G only has 77 elements. Since H has prime order, H is cyclic and therefore Abelian. This implies that C H contains H. So, 11 divides C H and C H divides There are no homomorphisms from Z onto S3 since the image of a cyclic group must be cyclic. It follows from part 2 of Theorem Suppose that H is a proper subgroup of G that is not properly contained in a proper subgroup of G.

Both Q and R satisfy the hypothesis. In order to have exactly four subgroups of order 3, the group must have exactly 8 elements of order 3.

When counting elements of order 3 we may ignore the components of the direct product that represent the subgroup of order 4 since their contribution is only the identity. Thus, we examine Abelian groups of order 27 to see which have exactly 8 elements of order 3. Elements of order 2 are determined by the factors in the direct product that have order a power of 2.

By the Fundamental Theorem, any finite Abelian group G is isomorphic to some direct product of cyclic groups of prime-power order. Now go across the direct product and, for each distinct prime you have, pick off the largest factor of that prime-power. Next, combine all of these into one factor you can do this, since their orders are relatively prime. Let us call the order of this new factor n1. Now repeat this process with the remaining original factors and call the order of the resulting factor n2.

Then n2 divides n1 , since each prime-power divisor of n2 is also a prime-power divisor of n1. By the corollary to the Fundamental Theorem of Finite Abelian Groups the given group has a subgroup of order If G is an Abelian group of order n and m is a divisor of n, then G has a cyclic subgroup of order m if m is squarefree i.

There is a unique Abelian group of order n if and only if n is not divisible by the square of any prime. This is equivalent to asking how many Abelian groups of order 16 have no element of order 8. Consider every possible isomorphism class one by one and show each has the desired subgroup. Because of the Fundamental Theorem and Corollary 1 of Theorem 8.

Let x be an element of G of maximum order. Then for any y in G we have y divides hxi. By the Corollary of Theorem 8. Among the first 11 elements in the table, there are 9 elements of order 4. None of the other isomorphism classes has this many. First observe that G is Abelian and has order Now we check the orders of the elements. Since Z9 has exactly 2 elements of order 3 once we choose 3 nonidentity elements we will either have at least one element of order 9 or 3 elements of order 3.

In either case we have determined the group. The worst case scenario is that at the end of 5 choices we have selected 2 of order 6, 2 of order 3, and 1 of order 2. In this case we still have not determined which group we have. Observe that the elements of order 2 together with the identity form a subgroup.

And from Theorem 4. If every element has order a power of p use the corollary to the Fundamental Theorem. The general case 1 2 follows in the same way. It follows from Exercise 4 of Chapter 8 and Theorem 9. Let G be a finite Abelian group of order n and let p be a prime divisor of m. This H is a subgroup of order m. Suppose diag G is normal. The index of diag G is G. The proofs are valid for R and Zp. Note that the factor group has order 4 and that the square of any element in the factor group is the identity.

Now use Exercise Let C be a collection of normal subgroups. For H to be a subgroup n must be prime. For the first example, take Dp where p is any odd prime. Since A4 has 8 elements of order 3, we have a contradiction.

For the case that the image has order 6 observe that the kernel would have order 2 so that the mapping is 2 to 1. Since the 8 elements of order 3 in A4 must map to elements of order 3 or 1 and the image has only 3 such elements, we have a contradiction.

For the last portion use Theorem But S4 has no element of order 6 see Exercise 7 in Chapter 5. By part 5 of Theorem Since m is odd the only elements in Dm of order 2 are the m reflections. Theorem 7. Use the subgroup test to show that H is a subgroup. Then, by property 5 of Theorem 6. Use Exercises 29 and Theorem 4. If the group is not Abelian, for any element a not in the center, the inner automorphism induced by a is not the identity.

In this case, the mapping that takes a1 , a2 , a3 ,. Suppose K is a maximal subgroup of Q. Since reflections are their own inverses that N is a normal subgroup follows from Exercise 44 of Chapter 2 and the observation that rotations commute with rotations. Thus, 0 1 0 1 H is a subgroup of G. The proof given in Theorem 2. The proof in Theorem 2. Consider Zn where n is not prime. If a and b belong to the intersection, then they belong to each member of the intersection.

Observe that all the sets in the examples are closed under subtraction and multiplication. Let S be any subring of Z. By definition of a ring, S is a subgroup under addition. Use induction.

If m or n is 0 the statement follows from part 1 of Theorem For the case when m is negative and n is positive just reverse the roles of m and n is the preceding argument. Let a, b belong to the center. Say ei is the unity of Ri. Then a1 ,. Thus we may reduce to the first case. Then b is a common multiple of m and n. Every subgroup of Zn is closed under multiplication.

The operations are different. The set is not closed under multiplication. The subring test is satisfied. So, T contains S. For Example 1, observe that Z is a commutative ring with unity 1 and has no zero divisors. For Example 2, note that Z[i] is a commutative ring with unity 1 and no zero divisors since it is a subset of C, which has no zero divisors.

Example 5 3. The zero-divisors and the units constitute a partition of Z Thus the set is a ring. Since Z[ d] is a subring of the ring of complex numbers, it has no zero-divisors.

The ring of even integers does not have a unity. Look in Z6. This contradicts the assumption that n was as small as possible.

We proceed by induction. Since F is commutative so is K. The assumptions about K satisfy the conditions for the One-Step Subgroup Test for addition and for multiplication excluding the 0 element. So, K is a subgroup under addition and a subgroup under multiplication excluding 0. Thus K is a subring in which every nonzero element in a unit. A subdomain of an integral domain D is a subset of D that is an integral domain under the operations of D. Also, since every subdomain contains 1 and is closed under addition and subtraction, every subdomain contains P.

An integral domain of order 6 would be an Abelian group of order 6 under addition. So, it would be cyclic under addition. Now use Theorems The argument can not be adapted since there is an integral domain with 4 elements.

The argument can be adapted for 15 elements. Thus, the characteristic is 2. This is true only for fields of characteristic 2. If n is a prime then Zn is a field and therefore has no zero divisors. Since m and n are relatively prime, by the corollary of Theorem 0.

Since one of s and t is negative we may assume that s is negative. Then a1 a1 , a1 a2 ,. Use part b of Exercise By Theorems Then by Exercise 47 every nonzero element has order p. If the order of the field were divisible by a prime q other than p, Theorem 9. Thus, the order of the field is pn for some prime p and some positive integer n.

Now use Corollary 2 to Theorem 7. This follows directly from Exercise Since the only prime that divides both 20 and 12 is 2, the characteristic is 2.

Use Corollary 4 of Theorem 7. So, by Exercise 29, K is a subfield. This contradicts our choice of a. Let r1 a and r2 a belong to hai.

Clearly, I is not empty. Mimic Exercise 9 of Chapter Now AB is just the sum of such terms. Observe that h2i and h3i are the only nontrivial ideals of Z6 , so both are maximal. More generally, Zpq , where p and q are distinct primes, has exactly two maximal ideals. So there is not a proper subgroup of R that strictly contains I.

I is closed under subtraction since the even integers are closed under subtraction. Let a be a nonzero element of I. Use Example 15 and Theorem Now use Theorem Since Z is an integral domain but not a field, we have by Theorems Every ideal is a subgroup.

Every subgroup of a cyclic group is cyclic. Let x be an element of J that is not in I. Use the ideal test to show that I is an ideal of R. To show that I is not generated by a single element observe that every element of I has the form b1 , b2 , b3 ,. If J is any ideal that contains a and b, then it contains I because of the closure conditions. In Z10 they are 0, 1, 5, 6. In Z20 , they are 0, 1, 5, In Z30 , they are 0, 1, 6, 10, 15, 16, 21, Let 2k be the k k smallest power of 2 greater than n.

Thus b is the unity. The rest is easy. This contradicts the definition of a prime ideal. Since n divides am , every prime p divisor of n divides am. Finally, reduce the original problem to the previous case. Say I is an ideal that contains a. Now note that aR is an ideal that contains a. For the example consider the ring of even integers. We first prove that A is a ideal of R. In general, the characteristic of the direct product of any finite number of rings with nonzero characteristics is the least common multiple of the characteristics of the rings.

Then, by Exercise 4, R is a field. Observe that ha, xi properly contains hai. Moreover, ha, xi does not contain 1. Suppose A is prime and B is an ideal which properly contains A.

It suffices to show b is a unit. It is the external direct product of n copies of Zp. Let A be a prime ideal of R. Then, by Theorem For this it follows that R is commutative. Thus, by Theorem A finite subset of a field is a subfield if it contains a nonzero element and is closed under addition and multiplication. According to Theorem So, a or b is a zero-divisor or exactly one of a or b is 0.

A similar argument applies if b is a zero-divisor.



0コメント

  • 1000 / 1000