ALGEBRA HW 1 1 Define the Center of a Group G to Be Z

Total Page:16

File Type:pdf, Size:1020Kb

ALGEBRA HW 1 1 Define the Center of a Group G to Be Z ALGEBRA HW 1 CLAY SHONKWILER 1 Define the center of a group G to be Z = {g ∈ G|(∀h ∈ G)gh = hg}. (a) Is Z a subgroup? Is it normal? Answer: Yes to both questions. To demonstrate that Z is a subgroup, we must demonstrate that it is closed under the group operation and that each element in the center has an inverse in the center (since associativity will be inherited and the identity is clearly in the center). To that end, let a, b ∈ Z and let h ∈ G. Then h(ab)h−1 = hah−1hbh−1 = ab, so Z is closed under the group operation. Now, let a ∈ Z. Then a has an inverse a−1 in G; we want to show that a−1 ∈ Z. Let h ∈ G. Then (ha−1h−1)−1 = hah−1 = a, which implies that ha−1h−1 = a−1, so a−1 ∈ Z. Therefore, we conclude that Z is, in fact, a subgroup of G. Furthermore, the calculation we did above to demonstrate that Z is closed under the group operation is precisely the calculation necessary to demonstrate that Z is normal in G. ♣ (b) Find the center of Cn, Dn, Sn, An, Q, Z, GL2(R). Answer: Let a ∈ Cn. Then, for all b ∈ Cn, ab = ba, since Cn is abelian. Since our choice of a was arbitrary, we see that the center of Cn is Cn itself. n 2 −1 −1 Consider Dn under the presentation hx, y|x = y = 1, yxy = x i. Then if σ, τ ∈ Dn, there exist i, j ∈ {0, . , n − 1}, a, b ∈ {0, 1} such that σ = xiya, τ = xjyb. Then if a = b = 1, στ = xiyaxjyb = xix−jyayb = xi−jya+b and τσ = xjybxiya = xjx−iybya = xj−iya+b. i−j j−i If σ in the center of Dn, then it must be the case that x = x for all choices of j; Clearly this is impossible. On the other hand, if a = 0, then στ = xixjyb = xi+jyb and xj−iyb if b = 1 τσ = xjybxi = xj+i if b = 0. 1 2 CLAY SHONKWILER If σ in the center of Dn, then it must be the case that i + j ≡ j − i( mod n) for all choices of j. This, in turn, implies that 2i ≡ 0(modn), which is to say that i = n/2, which is only possible if n is even. Therefore, we conclude n/2 that the center of Dn is trivial when n is odd and is {1, x } when n is even. Since S2 = C2, the center of S2 is itself. If n ≥ 3, let σ ∈ Sn. We can write σ as the product of a unique decomposition of disjoint cycles, σ = ζ1 ··· ζj. If j = 1 and σ is just a transposition, then σ = ζ1 = (ab) for some a, b ∈ {1, . , n}. Then (bc)σ = (bc)(ab) = (acb) 6= (abc) = (ab)(bc) = σ(bc), so σ is not in the center of Sn. If j > 1, then we know that ζ1 = (a1a2 . am) for m ≤ n, ai ∈ {1, . , n}. Then, since a1 is fixed by ζi for i > 1 (because the cycle decomposition of σ is into disjoint cycles), the product (a1a2)σ = (a1a2)ζ1 ··· ζj = (a1a2)(a1a2 . am)ζ2 ··· ζj fixes a1. On the other hand, σ(a1a2) = (a1a2 . am)ζ2 ··· ζj(a1a2) = (a1a3 . d)ξ1 ··· ξk, where d ∈ {1, . , n} and the ξl are disjoint cycles. Specifically, a1 is not fixed by σ(a1a2), so we see that σ is not in the center of Sn. Since our choice of σ was arbitrary, we see that the center of Sn is trivial. When n ≤ 3, An is cyclic and so its center is all of An. If n ≥ 4, let σ ∈ Sn. Then we can write σ as the product of disjoint cycles σ = ζ1 ··· ζj. Suppose ζ1 is at least a 3-cycle. Then σ = ζ1 ··· ζj = (a1a2a3 . am)ζ2 ··· ζj for m ≥ 3. Then (a1a2a3) = (a1a3)(a1a2) ∈ An and (a1a2a3)σ = (a1a2a3)(a1a2a3 . am)ζ1 ··· ζj = (a1a3 . d)ξ1 ··· ξk for d ∈ {1, . , n} and disjoint cycles ξl. On the other hand, σ(a1a2a3) = (a1a2a3 . am)ζ1 ··· ζj(a1a2a3) fixes a1, so (a1a2a3)σ 6= σ(a1a2a3) and so σ is not in the center of An. Therefore, if σ is to be in the center of An, it must be the case that ζ1 is a transposition; specifically, σ = ζ1 ··· ζj = (b1b2)(b3b4 ··· br)ζ3 ··· ζj for r ≥ 2. Now, again, (b1b2b3) = (b1b3)(b1b2) ∈ An and (b1b2b3)σ = (b1b2b3)(b1b2)(b3b4 . br)ζ3 ··· ζj = (b1b3 . c)ξ1 ··· ξk for c ∈ {1, . , n} and disjoint cycles ξl. On the other hand, σ(b1b2b3) = (b1b2)(b3b4 . br)ζ3 ··· ζj(b1b2b3) ALGEBRA HW 1 3 fixes b1, meaning (b1b2b3)σ 6= σ(b1b2b3) and so σ is not in the center of An. Since ζ1 must either be a transposition or a cycles of length ≥ 3 and we’ve just demonstrated that in both cases σ∈ / Z, we conclude that the center of An is trivial. Suppose a ∈ Q. If a = ±1, the fact that ag = ga for all g ∈ Q follows directly from the definition of Q. Otherwise, since ij = k ji = −k ik = −j ki = j we see that a cannot be in the center of Q. Thus, the center of Q is simply {1, −1}. Since Z is abelian, the same argument we gave to show that the center of Cn is the entire group suffices to show that the center of Z is Z itself. a b To characterize the center of GL ( ), let A = be in the center 2 R c d e f of GL ( ) and let B = ∈ GL ( ). Then it must be the case that 2 R g h 2 R a b e f ae + bg af + bh = c d g h ce + dg cf + dh is equal to e f a b ae + cf be + df = . g h c d ag + ch bg + dh Hence, it must be the case that ae + bg = ae + cf, or bg = cf. Since our choice of B was arbitrary, we see that this relationship must hold for any choice of g and f. The only values of b and c for which this is true are if b = c = 0. Using this fact, then the equation af + bh = be + df reduces to af = df or a = d. Hence, elements in the center of GL2(R) must be of the form a 0 . Furthermore, if a 6= 0, then 0 a a 0 1 0 1 0 a 0 C = aC = a C = C 0 a 0 1 0 1 0 a 4 CLAY SHONKWILER so every matrix of this form is in the center. Hence, the center of GL2(R) is the set a 0 |a 6= 0 . 0 a ♣ 2 If H is a subgroup of G, define the normalizer of H by N(H) = {a ∈ G|aHa−1 = H}. Is N(H) a subgroup of G? Is H a subgroup of N(H)? Is H C N(H)? Is N(H) C G? Answer: To demonstrate that N(H) is a subgroup of G, we need to demonstrate that it is closed under the group operation, that the identity is in N(H) and that the inverse of each element in N(H) is in N(H). To that end, let a, b ∈ N(H) and let h ∈ H. Then we know that bhb−1 = h0 for some h0 ∈ H. Therefore, (ab)h(ab)−1 = abhb−1a−1 = ah0a−1 ∈ H. Therefore, ab ∈ N(H). The identity e is clearly in N(H), since ehe−1 = ehe = eh = h ∈ H. Now, suppose a ∈ N(H) and h ∈ H. Then a has an inverse a−1 in G. Furthermore, since a ∈ N(H), aHa−1 = H, so there exists h0 ∈ H such that ah0a−1 = h. Multiplying both sides of this equation by a−1 on the left and a on the right, we see that h0 = a−1ha = a−1h(a−1)−1, so a−1 ∈ N(H). Therefore, we conclude that N(H) is a subgroup of G. To see that H is a subgroup of N(H), it suffices to show that H is con- tained in N(H), since both H and N(H) are subgroups of G. However, this is clear, since for any a, b ∈ H, bab−1 ∈ H. This implies that b ∈ N(H). Since our choices of a and b were arbitrary, we see that every element of H is in N(H), and so we conclude that H is a subgroup of N(H). The fact that H C N(H) follows directly from how we have defined N(H). For any a ∈ N(H), aHa−1 = H, which is precisely what it means to say that H C N(H). To see that it is not necessarily the case that N(H) C G, consider the case where G = S3 and H = h(12)i = {1, (12)}. Now, (13)(12)(13) = (23) (23)(12)(23) = (13) (123)(12)(132) = (23) (132)(12)(123) = (13), ALGEBRA HW 1 5 so we see that N(H) = H. However, the above calculations demonstrate that H is not normal in G, so it’s clear that N(H) is not normal in G. ♣ 3 (a) If H is a subgroup of G and H 6= G, we say that H is a maximal subgroup if the only subgroups containing H are itself and G. Show that if H is maximal then so is aHa−1, for any a ∈ G.
Recommended publications
  • Complete Objects in Categories
    Complete objects in categories James Richard Andrew Gray February 22, 2021 Abstract We introduce the notions of proto-complete, complete, complete˚ and strong-complete objects in pointed categories. We show under mild condi- tions on a pointed exact protomodular category that every proto-complete (respectively complete) object is the product of an abelian proto-complete (respectively complete) object and a strong-complete object. This to- gether with the observation that the trivial group is the only abelian complete group recovers a theorem of Baer classifying complete groups. In addition we generalize several theorems about groups (subgroups) with trivial center (respectively, centralizer), and provide a categorical explana- tion behind why the derivation algebra of a perfect Lie algebra with trivial center and the automorphism group of a non-abelian (characteristically) simple group are strong-complete. 1 Introduction Recall that Carmichael [19] called a group G complete if it has trivial cen- ter and each automorphism is inner. For each group G there is a canonical homomorphism cG from G to AutpGq, the automorphism group of G. This ho- momorphism assigns to each g in G the inner automorphism which sends each x in G to gxg´1. It can be readily seen that a group G is complete if and only if cG is an isomorphism. Baer [1] showed that a group G is complete if and only if every normal monomorphism with domain G is a split monomorphism. We call an object in a pointed category complete if it satisfies this latter condi- arXiv:2102.09834v1 [math.CT] 19 Feb 2021 tion.
    [Show full text]
  • The General Linear Group
    18.704 Gabe Cunningham 2/18/05 [email protected] The General Linear Group Definition: Let F be a field. Then the general linear group GLn(F ) is the group of invert- ible n × n matrices with entries in F under matrix multiplication. It is easy to see that GLn(F ) is, in fact, a group: matrix multiplication is associative; the identity element is In, the n × n matrix with 1’s along the main diagonal and 0’s everywhere else; and the matrices are invertible by choice. It’s not immediately clear whether GLn(F ) has infinitely many elements when F does. However, such is the case. Let a ∈ F , a 6= 0. −1 Then a · In is an invertible n × n matrix with inverse a · In. In fact, the set of all such × matrices forms a subgroup of GLn(F ) that is isomorphic to F = F \{0}. It is clear that if F is a finite field, then GLn(F ) has only finitely many elements. An interesting question to ask is how many elements it has. Before addressing that question fully, let’s look at some examples. ∼ × Example 1: Let n = 1. Then GLn(Fq) = Fq , which has q − 1 elements. a b Example 2: Let n = 2; let M = ( c d ). Then for M to be invertible, it is necessary and sufficient that ad 6= bc. If a, b, c, and d are all nonzero, then we can fix a, b, and c arbitrarily, and d can be anything but a−1bc. This gives us (q − 1)3(q − 2) matrices.
    [Show full text]
  • MATH 412 PROBLEM SET 11, SOLUTIONS Reading: • Hungerford
    MATH 412 PROBLEM SET 11, SOLUTIONS Reading: • Hungerford 8.4, 9.1, 9.2 Practice Problems: These are “easier” problems critical for your understanding, but not to be turned in. Be sure you can do these! You may see them or something very similar on Quizzes and Exams. Section 8.4: 9, 19, 21, Section 9.1: 1, 2, 3, 4, 5 Section 9.2: 1, 3 Problems due Friday. Write out carefully, staple solutions to A, B and C in one pack, and stable solutions to D and E in another. Write your name and section number on each. (A) Let F be a field. Consider the group SL2(F) of 2 × 2 matrices with entries in F and determinant one. 1 (1) Show that the center of SL2(F) is Z = {±Ig, where I is the 2 × 2 identity matrix. (2) Let PSL2(F) be the quotient group SL2(F)=Z. Compute the order of PSL2(Z7) as a group. 2 (3) For each of the following, compute its order as an element of PSL2(Z7). 0 2 • A = ± 3 0 1 1 • B = ± 6 0 1 3 • C = ± 0 1 Note: PSL2(Z7) is the smallest simple group that is neither cyclic nor isomorphic to An for some n. Solution. a b 1 1 1 0 (1) Let A = be an arbitrary element of SL ( ), B = , and C = . We c d 2 F 0 1 1 1 −c a − d b 0 compute AB − BA = and AC − CA = . If A 2 Z, then AB − BA = 0 c d − a −b AC − CA = 0, so b = c = a − d = 0.
    [Show full text]
  • Normal Subgroups of the General Linear Groups Over Von Neumann Regular Rings L
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 96, Number 2, February 1986 NORMAL SUBGROUPS OF THE GENERAL LINEAR GROUPS OVER VON NEUMANN REGULAR RINGS L. N. VASERSTEIN1 ABSTRACT. Let A be a von Neumann regular ring or, more generally, let A be an associative ring with 1 whose reduction modulo its Jacobson radical is von Neumann regular. We obtain a complete description of all subgroups of GLn A, n > 3, which are normalized by elementary matrices. 1. Introduction. For any associative ring A with 1 and any natural number n, let GLn A be the group of invertible n by n matrices over A and EnA the subgroup generated by all elementary matrices x1'3, where 1 < i / j < n and x E A. In this paper we describe all subgroups of GLn A normalized by EnA for any von Neumann regular A, provided n > 3. Our description is standard (see Bass [1] and Vaserstein [14, 16]): a subgroup H of GL„ A is normalized by EnA if and only if H is of level B for an ideal B of A, i.e. E„(A, B) C H C Gn(A, B). Here Gn(A, B) is the inverse image of the center of GL„(,4/S) (when n > 2, this center consists of scalar invertible matrices over the center of the ring A/B) under the canonical homomorphism GL„ A —►GLn(A/B) and En(A, B) is the normal subgroup of EnA generated by all elementary matrices in Gn(A, B) (when n > 3, the group En(A, B) is generated by matrices of the form (—y)J'lx1'Jy:i''1 with x € B,y £ A,l < i ^ j < n, see [14]).
    [Show full text]
  • Generalized Quaternions
    GENERALIZED QUATERNIONS KEITH CONRAD 1. introduction The quaternion group Q8 is one of the two non-abelian groups of size 8 (up to isomor- phism). The other one, D4, can be constructed as a semi-direct product: ∼ ∼ × ∼ D4 = Aff(Z=(4)) = Z=(4) o (Z=(4)) = Z=(4) o Z=(2); where the elements of Z=(2) act on Z=(4) as the identity and negation. While Q8 is not a semi-direct product, it can be constructed as the quotient group of a semi-direct product. We will see how this is done in Section2 and then jazz up the construction in Section3 to make an infinite family of similar groups with Q8 as the simplest member. In Section4 we will compare this family with the dihedral groups and see how it fits into a bigger picture. 2. The quaternion group from a semi-direct product The group Q8 is built out of its subgroups hii and hji with the overlapping condition i2 = j2 = −1 and the conjugacy relation jij−1 = −i = i−1. More generally, for odd a we have jaij−a = −i = i−1, while for even a we have jaij−a = i. We can combine these into the single formula a (2.1) jaij−a = i(−1) for all a 2 Z. These relations suggest the following way to construct the group Q8. Theorem 2.1. Let H = Z=(4) o Z=(4), where (a; b)(c; d) = (a + (−1)bc; b + d); ∼ The element (2; 2) in H has order 2, lies in the center, and H=h(2; 2)i = Q8.
    [Show full text]
  • The Number 6
    The number 6 Gabriel Coutinho 2013 Abstract The number 6 has a unique and distinguished property. It is the only natural number n for which there is a construction of n isomor- phic objects on a set with n elements, invariant under all permutations of the set, but not in natural bijection with the set. I will talk about this fact and a closely related result. This is based on Chapter 6 of Cameron and Van Lint [1]. 1 A distinguished property of 6 Theorem 1. The number 6 is the only natural number n that satisfies the following property: If E is an n-set, then there is a construction of exactly n isomor- phic objects on E whose union is invariant under the permuta- tions of E, but none correspond in natural way to an element of E. Some clarification is needed here. Neither the meaning of object nor that of natural is clear. I will make it even worse, and provide a bad definition for one, and an incomplete for the other. An object on a set E is a construction that can be made using the elements of E and set-theoretical operations, such as taking the union. An object on E corresponds naturally to a point of E if the automorphism group of the object is the stabilizer of that point in Sn. Despite such abstract formulation, we will see that this theorem has a very concrete interpretation. In particular, the \shape" of such objects will arise naturally throughout the proof. The idea of the proof is to analyse the automorphism group the objects defined by 1 the automorphisms of the ground set which do not change the object.
    [Show full text]
  • SL{2, R)/ ± /; Then Hc = PSL(2, C) = SL(2, C)/ ±
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 60, October 1976 ERRATUM TO "ON THE AUTOMORPHISM GROUP OF A LIE GROUP" DAVID WIGNER D. Z. Djokovic and G. P. Hochschild have pointed out that the argument in the third paragraph of the proof of Theorem 1 is insufficient. The fallacy lies in assuming that the fixer of S in K(S) is an algebraic subgroup. This is of course correct for complex groups, since a connected complex semisimple Lie group is algebraic, but false for real Lie groups. By Proposition 1, the theorem is correct for real solvable Lie groups and the given proof is correct for complex groups, but the theorem fails for real semisimple groups, as the following example, worked out jointly with Professor Hochschild, shows. Let G = SL(2, R); then Gc = SL(2, C) is the complexification of G and the complex conjugation t in SL(2, C) fixes exactly SL(2, R). Let H = PSL(2, R) = SL{2, R)/ ± /; then Hc = PSL(2, C) = SL(2, C)/ ± /. The complex conjugation induced by t in PSL{2, C) fixes the image M in FSL(2, C) of the matrix (° ¿,)in SL(2, C). Therefore M is in the real algebraic hull of H = PSL(2, R). Conjugation by M on PSL(2, R) acts on ttx{PSL{2, R)) aZby multiplication by - 1. Now let H be the universal cover of PSLÍ2, R) and D its center. Let K = H X H/{(d, d)\d ED}. Then the inner automorphism group of K is H X H and its algebraic hull contains elements whose conjugation action on the fundamental group of H X H is multiplication by - 1 on the fundamen- tal group of the first factor and the identity on the fundamental group of the second factor.
    [Show full text]
  • Automorphisms of Group Extensions
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 155, Number t, March 1971 AUTOMORPHISMS OF GROUP EXTENSIONS BY CHARLES WELLS Abstract. If 1 ->■ G -í> E^-Tt -> 1 is a group extension, with i an inclusion, any automorphism <j>of E which takes G onto itself induces automorphisms t on G and a on n. However, for a pair (a, t) of automorphism of n and G, there may not be an automorphism of E inducing the pair. Let à: n —*■Out G be the homomorphism induced by the given extension. A pair (a, t) e Aut n x Aut G is called compatible if a fixes ker á, and the automorphism induced by a on Hü is the same as that induced by the inner automorphism of Out G determined by t. Let C< Aut IT x Aut G be the group of compatible pairs. Let Aut (E; G) denote the group of automorphisms of E fixing G. The main result of this paper is the construction of an exact sequence 1 -» Z&T1,ZG) -* Aut (E; G)-+C^ H*(l~l,ZG). The last map is not surjective in general. It is not even a group homomorphism, but the sequence is nevertheless "exact" at C in the obvious sense. 1. Notation. If G is a group with subgroup H, we write H<G; if H is normal in G, H<¡G. CGH and NGH are the centralizer and normalizer of H in G. Aut G, Inn G, Out G, and ZG are the automorphism group, the inner automorphism group, the outer automorphism group, and the center of G, respectively.
    [Show full text]
  • Order (Group Theory) 1 Order (Group Theory)
    Order (group theory) 1 Order (group theory) In group theory, a branch of mathematics, the term order is used in two closely-related senses: • The order of a group is its cardinality, i.e., the number of its elements. • The order, sometimes period, of an element a of a group is the smallest positive integer m such that am = e (where e denotes the identity element of the group, and am denotes the product of m copies of a). If no such m exists, a is said to have infinite order. All elements of finite groups have finite order. The order of a group G is denoted by ord(G) or |G| and the order of an element a by ord(a) or |a|. Example Example. The symmetric group S has the following multiplication table. 3 • e s t u v w e e s t u v w s s e v w t u t t u e s w v u u t w v e s v v w s e u t w w v u t s e This group has six elements, so ord(S ) = 6. By definition, the order of the identity, e, is 1. Each of s, t, and w 3 squares to e, so these group elements have order 2. Completing the enumeration, both u and v have order 3, for u2 = v and u3 = vu = e, and v2 = u and v3 = uv = e. Order and structure The order of a group and that of an element tend to speak about the structure of the group.
    [Show full text]
  • (Order of a Group). the Number of Elements of a Group (finite Or Infinite) Is Called Its Order
    CHAPTER 3 Finite Groups; Subgroups Definition (Order of a Group). The number of elements of a group (finite or infinite) is called its order. We denote the order of G by G . | | Definition (Order of an Element). The order of an element g in a group G is the smallest positive integer n such that gn = e (ng = 0 in additive notation). If no such integer exists, we say g has infinite order. The order of g is denoted by g . | | Example. U(18) = 1, 5, 7, 11, 13, 17 , so U(18) = 6. Also, { } | | 51 = 5, 52 = 7, 53 = 17, 54 = 13, 55 = 11, 56 = 1, so 5 = 6. | | Example. Z12 = 12 under addition modulo n. | | 1 4 = 4, 2 4 = 8, 3 4 = 0, · · · so 4 = 3. | | 36 3. FINITE GROUPS; SUBGROUPS 37 Problem (Page 69 # 20). Let G be a group, x G. If x2 = e and x6 = e, prove (1) x4 = e and (2) x5 = e. What can we say 2about x ? 6 Proof. 6 6 | | (1) Suppose x4 = e. Then x8 = e = x2x6 = e = x2e = e = x2 = e, ) ) ) a contradiction, so x4 = e. 6 (2) Suppose x5 = e. Then x10 = e = x4x6 = e = x4e = e = x4 = e, ) ) ) a contradiction, so x5 = e. 6 Therefore, x = 3 or x = 6. | | | | ⇤ Definition (Subgroup). If a subset H of a group G is itself a group under the operation of G, we say that H is a subgroup of G, denoted H G. If H is a proper subset of G, then H is a proper subgroup of G.
    [Show full text]
  • On Inner Automorphisms of Finite Groups
    proceedings of the american mathematical society Volume 106, Number I, May 1989 ON INNER AUTOMORPHISMS OF FINITE GROUPS MARTIN R. PETTET (Communicated by Warren J. Wong) Abstract. It is shown that in certain classes of finite groups, inner automor- phisms are characterized by an extension property and also by a dual lifting property. This is a consequence of the fact that for any finite group G and any prime p , there is a p-group P and a semidirect product H = GP such that P is characteristic in H and every automorphism of H induces an inner automorphism on H/P. Every inner automorphism of a group G possesses the property that it ex- tends to an automorphism of any group which contains G as a subgroup. P. Schupp [2] has shown that in the category of all groups, this extendibility prop- erty characterizes inner automorphisms. However, since Schupp's argument uses a free product construction, the question arises whether inner automor- phisms can be similarly characterized in classes of groups which are not closed under free products. In this note, we confirm that the extendibility property does indeed charac- terize inner automorphisms in certain classes of finite groups. As it happens, with the same stroke the dual question of whether inner automorphisms are precisely those which can be lifted to homomorphic pre-images is also settled (affirmatively) for those classes. The basis for these conclusions amounts to an observation about a remarkable construction of H. Heineken and H. Liebeck [1] (and a subsequent extension of U. H. M. Webb [3]).
    [Show full text]
  • 1 Math 3560 Fall 2011 Solutions to the Second Prelim Problem 1: (10
    1 Math 3560 Fall 2011 Solutions to the Second Prelim Problem 1: (10 points for each theorem) Select two of the the following theorems and state each carefully: (a) Cayley's Theorem; (b) Fermat's Little Theorem; (c) Lagrange's Theorem; (d) Cauchy's Theorem. Make sure in each case that you indicate which theorem you are stating. Each of these theorems appears in the text book. Problem 2: (a) (10 points) Prove that the center Z(G) of a group G is a normal subgroup of G. Solution: Z(G) is the subgroup of G consisting of all elements that commute with every element of G. Let z be any element of the center, and let g be any element of G, Then, gz = zg. Since z is chosen arbitrarily, this shows that gZ(G) ⊆ Z(G)g, for every g. It also demonstrates the reverse inclusion, so that gZ(G) = Z(G)g. Since this holds for every g 2 G, Z(G) is normal in G. (b) (10 points) Let H be the subgroup of S3 generated by the transposition (12). That is, H =< (12) >. Prove that H is not a normal subgroup of S3. Solution: Denote < (12) > by H. There are many ways to show that H is not normal. Most are equivalent to the following. Choose some σ 2 S3 di®erent from " and di®erent from the transposition (12). In this case, almost any such choice will do. Say σ = (13). Compute (13)(12) and (12)(13) and see that they are not equal.
    [Show full text]