School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet V: Direct and semidirect products (Solutions)

Size: px
Start display at page:

Download "School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet V: Direct and semidirect products (Solutions)"

Transcription

1 CMRD 2010 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet V: Direct and semidirect products (Solutions) 1. Give an example of two groups G and H and a subgroup of the direct product G H which does not have the form G 1 H 1 where G 1 G and H 1 H. Solution: Let X be a non-trivial group, and let G = H = X. Let D = { (x, x) x X }. If (x, x), (y, y) D, then (x, x)(y, y) =(xy, xy) D(x, x) 1 =(x 1,x 1 ) D. Hence D is a subgroup of X X. We cannot write D as G 1 H 1 where G 1 G and H 1 H, because such G 1 and H 1 would have to be non-trivial (as D contains elements with non-identity values in both entries), yet D contains no element of the form (g, 1) with g = 1, while G 1 H 1 contains such elements. (Subgroups of the form D are often described as diagonal subgroups, although this refers to a slightly larger class of subgroups.) 2. Let M and N be normal subgroups of a group G. By considering the map g (Mg,Ng), or otherwise, show that G/(M N) isisomorphictoasubgroupofthedirectproductg/m G/N. Solution: Let φ denote the above map, so φ: G G/M G/N. Now (gh)φ =(Mgh,Ngh)=(Mg Mh,Ng Nh)=(Mg,Ng)(Mh,Nh)=(gφ)(hφ) so φ is a homomorphism. Furthermore, ker φ = { g G (Mg,Ng)=(M1,N1) } = { g G Mg = M1 and Ng = N1 } = { g G g M and g N } = M N. The First Isomorphism Theorem implies that G/(M N) = im φ G/M G/N. 3. Using Question 2, or otherwise, show that if m and n are coprime integers, then C m C n = C mn. 1

2 Solution: Let G = x = C mn,so x = mn. Let M = x m and N = x n. Then M has index m in G and N has index n in G. Hence G/M = Mx = C m and G/N = Nx = C n. Now M = n and N = m, som N = 1 (since m and n are coprime). Hence G = G/(M N) (a group of order mn) is isomorphic to a subgroup of G/M G/N (the latter also a group of order mn). Thus C mn = G = G/(M N) = G/M G/N = Cm C n. 4. Let X 1, X 2,...,X n be non-abelian simple groups and let G = X 1 X 2 X n. (In this question we will identify the concepts of internal and external direct products. Thus we speak a subgroup of G containing a direct factor X i instead of it containing the subgroup X i in the notation of the lectures.) Prove that a non-trivial normal subgroup of G necessarily contains one of the direct factors X i. Hence show that every normal subgroup of G has the form X i1 X i2 X ik for some subset {i 1,i 2,...,i k} of {1, 2,...,n}. [Hint: If N is a non-trivial normal subgroup of G, chooseanon-identity(x 1,x 2,...,x n) N. Consider conjugating this element by (1,...,1,g,1,...,1).] Now suppose that X 1, X 2,...,X n are abelian simple groups. Is it still true that every normal subgroup of the direct product has this form? Solution: Let N be a non-trivial normal subgroup of G and consider a non-identity element x =(x 1,x 2,...,x n ). One of these entries must be not the identity, say x i = 1. Consider conjugating by a =(1,...,1,g,1,...,1), where the g occurs in the ith entry: so N contains a 1 xa =(x 1,...,x i 1,g 1 x i g, x i+1,...,x n ) N x 1 a 1 xa =(1,...,1,x 1 i g 1 x i g, 1,...,1). Now X i is a non-abelian simple group, so Z(X i )=1. In particular, x i Z(X i ), so there exists some g X i which does not commute with x i. Thus if we take this g in the above, we deduce that 1 = x 1 a 1 xa N X i,where X i = { (1,...,1,h,1,...,1) h X i } G. Now N X i is a normal subgroup of X i (since N G) and X i = Xi is simple. Since N X i = 1, it follows that N X i = X i.thus X i N. This holds for every index i such that N contains an element of the form x = (x 1,x 2,...,x n )withx i = 1. Let i 1, i 2,...,i k be the indices for which this holds. The above shows X i1, X i2,..., X ik N, so X i1 X i2 X ik = X i1 Xi2... X ik N. (Here we have identified the direct product on the left with the obvious subgroup of G isomorphic to it.) Furthermore, if (x 1,x 2,...,x n ) N, then x i = 1 for i {i 1,i 2,...,i k } by the choice of the indices i j,son is contained in the product X i1 Xi2... X ik. Hence N = X i1 Xi2... X ik = X i1 X i2 X ik. 2

3 On the other hand, suppose that X 1 = X 2 = C p, the cyclic group of prime order. Then G = X 1 X 2 is abelian, so every subgroup is normal in G. In particular, D = { (x, x) x C p } is a normal subgroup of G which does not have the claimed form. Thus the result no longer holds if the X i are abelian. 5. Let p be a prime number. (a) Show that Aut C p = Cp 1. (b) Show that Aut(C p C p) = GL 2(F p)(wheref p = Z/pZ denotes the field of p elements). [For (a), let C p = x. Observe that an automorphism α is given by x x m where m is a representative for a non-zero element of F p. Recall the multiplicative group of a finite field is cyclic. For (b), write C p C p additively and view it as a vector space over F p. Show that automorphisms of the group then correspond to invertible linear maps.] Solution: (a) Let G = C p = x where x = p. First note that we can specify a homomorphism θ : G H, whereh is any group, by specifying the image y of x. This is a homomorphism whenever the order of y divides p. In particular, we can specify a homomorphism φ: G G by specifying the value of xφ to be one of {1,x,x 2,...,x p 1 }.Ifφ is an automorphism, then xφ = x m where m = 1, 2,..., p 1. (For φ is onto and therefore maps x to one of the elements of G of order p. Sincep is prime, this is just saying that xφ = 1.) Thus Aut G = {φ 1,φ 2,...,φ p 1 } where φ m : x x m. We have now parametrised Aut G by the non-zero elements in the field F p = Z/pZ. Let m, n be non-zero elements in F p (i.e., the congruence classes of the integers m and n (mod p) wherep m, n). Then xφ m φ n =(x m )φ n =(xφ n ) m =(x n ) m = x mn = xφ mn and we deduce that the map m φ m is an isomorphism from the multiplicative group of F p to Aut G. Thus Aut G = (F p ) = Cp 1. (We use the fact that the multiplicative group of F p is cyclic of order p 1.) (b) Consider G = C p C p.writeg additively, so that it is generated by two elements x and y and consists of all elements of the form: g = λx + µy where λ, µ {0, 1, 2,...,p 1}. It then makes sense to multiply g by the scalar ν F p = {0, 1, 2,...,p 1}. We simply multiply g by ν (as an integer) and reduce coefficients modulo p. Inthisway,G can be viewed as a vector space over the field F p, and now the generators x and y form a basis for G. Furthermore, since a scalar λ F p can be viewed as λ = , λ times 3

4 any (group) homomorphism φ: G G satisfies (λx)φ =(x + x + + x)φ =(xφ)+(xφ)+ +(xφ) =λ(xφ). Hence a group homomorphism φ from G to itself is the same thing as a linear transformation. (The only difference is the requirement that φ preserves scalar multiplication, and this follows from the fact that φ preserves addition.) Therefore the set of invertible group homomorphisms G G (i.e., automorphisms of G) is the same as the set of invertible linear transformations of G (as a 2-dimensional vector space over F p ) and hence Aut G = GL 2 (F p ). 6. Let G = x be a cyclic group. Show that Aut G is abelian. Solution: Let φ, ψ Aut G. They (and their products) are determined by their effect on the generator x. Suppose that xφ = x r and xψ = x s. Then, using the fact that φ and ψ are homomorphisms, and xφψ =(x r )ψ =(xψ) r =(x s ) r = x rs xψφ =(x s )φ =(xφ) s =(x r ) s = x rs. Hence φψ = ψφ since they have the same effect on x. Therefore Aut G is abelian. 7. Show that the dihedral group D 2n is isomorphic to a semidirect product of a cyclic group of order n by a cyclic group of order 2. What is the associated homomorphism φ : C 2 Aut C n? Solution: Recall that D 2n = α, β where α has order n and β has order 2. Now N = α has index 2 in D 2n,soN D 2n. Let H = β. Since α and β do not commute, β N, soh N is a proper subgroup of H. As H = 2, this forces H N = 1. Now HN = H N / H N =2n. Hence D 2n = HN, N H and H N = 1. ThusD 2n = H N. The associated homomorphism φ: H Aut N is determined by the value of βφ (since H = β) and this automorphism is determined by its effect on α. Now α βφ = β 1 αβ by definition of φ (see the proof that internal and external semidirect products are equivalent) and by calculating in D 2n,weseeβ 1 αβ = α 1. Thus φ maps β to the inversion automorphism (α α 1 ) of N. 8. Show that the quaternion group Q 8 may not be decomposed (in a non-trivial way) as a semidirect product. [Hint: How many elements of order 2 does Q 8 contain?] Solution: Suppose that Q 8 = H N, wheren,h are non-trivial subgroups of Q 8. Then N has order 2 or 4 and H has order 4 or 2. In particular, N and H both contain elements of order 2, so Q 8 contains at least two elements of order 2 (since N H = 1). However, this is not the case since Q 8 has a unique element of order 2. Thus Q 8 does not decompose as a nontrivial semidirect product. 9. Show that the symmetric group S 4 of degree 4 is isomorphic to a semidirect product of the Klein 4-group V 4 by the symmetric group S 3 of degree 3. Show that S 4 is also isomorphic to a semidirect product of the alternating group A 4 by a cyclic group of order 2. 4

5 Solution: Let N = V 4 S 4 and H = S 3 S 4. Only the identity in V 4 fixes the point 4, so N H = 1. Therefore HN =(6 4)/1 = 24 = S 4. We deduce that S 4 = HN = H N = S 3 V 4. Let M = A 4 S 4 and K = (1 2) S 4. Clearly, M K = 1, so KM =(2 12)/1 = 24 = S 4. We deduce that S 4 = KM = K M = C 2 A Let G be a group of order pq, wherep and q are primes with p<q. (a) If p does not divide q 1, show that G = C pq, thecyclicgroupoforderpq. (b) If p does divide q 1, show that there are essentially two different groups of order pq. Solution: Sylow s Theorem tells us that there is a unique Sylow q-subgroup. Thus G has a normal subgroup Q of order q. The number n p of Sylow p-subgroups divides q and is congruent to 1 modulo p. Hence if n p = 1, then n p = q and then q 1(modp), that is, p (q 1). (a) If p (q 1), then there is a normal Sylow p-subgroup P G, withq G, P Q = 1 and PQ = pq = G. ThusG = PQ = P Q = C p C q = Cpq. (b) Now suppose that p (q 1). Let P be any Sylow p-subgroup of G. (In this case, we cannot deduce it is unique.) Then P Q = 1, Q G and PQ = pq = G, so G = PQ. Therefore G = P Q and so the structure of G is determined by the conjugation action of P on Q (since the structures of Q = C q and P = C p are determined). Note that Aut Q = C q 1 by Question 5(a). Consider the homomorphism φ: P Aut Q determined by the conjugation of elements of Q by elements of P. If the image of φ is trivial, then choose a generator x for Q and a generator y for P.Then y 1 xy = x yφ = x (since yφ is the identity). Hence G has presentation x, y x q = y p =1,xy= yx = x x q =1 y y p =1 = C q C p = Cpq. If im φ = 1, then by the First Isomorphism Theorem, im φ = C p. Now Aut Q = C q 1 has a unique subgroup of order p (as p (q 1)) and this must be im φ. Fix a generator α for this subgroup and fix a generator x for Q. Now φ is a bijection from P to im φ = α, so we can choose a generator y for P such that yφ = α. Then we deduce that G has presentation x, y x q = y p =1,y 1 xy = x α. This group exists (it is the semidirect product C p φ C q where φ maps the generator of C p to the automorphism α) and is not isomorphic to C pq as α = 1. Hence if p (q 1), there are two different groups of order pq up to isomorphism. 11. Classify the groups of order 52 up to isomorphism. 5

6 Solution: Let G be a group of order 52. Let n 13 denote the number of Sylow 13-subgroups of G. Sylow s Theorem tells us that n 13 1 (mod 13) and n Hence n 13 = 1, so G has a normal Sylow 13-subgroup P = C 13. Choose x such that P = x. Let T be a Sylow 2-subgroup of G. Then P T = 1 by Lagrange s Theorem, so TP = T P / P T = 52. Hence G = TP, P G and P T = 1, so G = T φ P with respect to some φ: T Aut P. Now Aut P = C 12. Consider the automorphism α: x x 2. We calculate xα 2 =(xα)α =(x 2 )α =(xα) 2 =(x 2 ) 2 = x 4 xα 3 =(xα 2 )α =(x 4 )α =(xα) 4 =(x 2 ) 4 = x 8 xα 4 =(xα 3 )α =(x 8 )α =(xα) 8 =(x 2 ) 8 = x 16 = x 3 xα 6 =(xα 4 )α 2 =(x 3 )α 2 =(xα 2 ) 3 =(x 4 ) 3 = x 12 = x 1 xα 12 =(xα 6 )α 6 =(x 1 )α 6 =(xα 6 ) 1 =(x 1 ) 1 = x. Hence α 12 =id,butα, α 2, α 3, α 4 and α 6 are non-identity. Thus, α is an element of order 12, so Aut P = α. In particular, it follows that α 3 is the unique subgroup of order 4 in Aut P. To determine the possibilities for φ, note that T = C 4 or T = C 2 C 2. Case 1: T = C 4. Now Tφis a subgroup of Aut P and is isomorphic to a quotient of T.Then Tφ = 1, 2 or 4, so Tφ = 1, α 6 or α 3. If Tφ = 1, lety be any generator of T,soyφ = id. Hence G = x, y x 13 = y 4 =1,y 1 xy = x = x, y x 13 = y 4 =1,xy= yx = C 13 C 4 = C 52. (10) If Tφ = α 6,thenkerφ must be the unique subgroup of order 2 in T. Choose y T such that yφ = α 6.Theny must be an element of order 4 (as y ker φ), so T = y. Therefore G = x, y x 13 = y 4 =1,y 1 xy = x 1, (11) since xα 6 = x 1. If Tφ = α 3,thenφ induces an isomorphism between T and α 3. We may pick a generator y for T satisfying yφ = α 3.Then since xα 3 = x 8. G = x, y x 13 = y 4 =1,y 1 xy = x 8, (12) There are therefore at most three groups of order 52 with Sylow 2-subgroup cyclic. Note that group (10) is abelian while (11) and (12) are not. Furthermore in group (11), the centraliser C G (P ) of the unique Sylow 13-subgroup has order 26 (it contains P and ker φ), while in (12) it has order 13 (as ker φ = 1). Hence these three groups are non-isomorphic. Case 2: T = C 2 C 2. Now Tφ is a subgroup of the cyclic group Aut P,somustbecyclic.Sinceg 2 = 1 for all g T, we deduce that either Tφ = 1 or Tφ = C 2,i.e.,T = α 6. 6

7 If Tφ = 1, thenlety and z be two generators for T,so G = x, y, z x 13 = y 2 = z 2 =1,yz= zy, y 1 xy = x, z 1 xz = x = x x 13 =1 y y 2 =1 z z 2 =1 = C 13 C 2 C 2 = C 2 C 26. (13) If Tφ = α 6,then ker φ = 2. Choose an element y T such that yφ = α 6 and a generator z for ker φ. ThenT = y, z since y ker φ. Therefore G = x, y, z x 13 = y 2 = z 2 =1,yz= zy, y 1 xy = x 1,z 1 xz = x = x, y x 13 = y 2 =1,y 1 xy = x 1 z z 2 =1 = D 2 13 C 2 = D2 26. (14) These two groups are not isomorphic since (13) is abelian while (14) is not. Finally, none of these groups in Case 2 are isomorphic to those in Case 1, since the Sylow 2-subgroups are not isomorphic. We conclude that there are five groups of order 52 up to isomorphism. We have not yet justified the claim that D 2 13 C 2 = D2 26. Consider D 2 26 = α, β α 26 = β 2 =1,β 1 αβ = α 1. Now α has order 26, so α = α 13 α 2 (this simply being the result from Q 3 that C 26 = C2 C 13 ). Now α 13 is the unique element of order 2 in α, so while β 1 α 13 β =(β 1 αβ) 13 =(α 1 ) 13 = α 13 = α 13, β 1 α 2 β =(β 1 αβ) 2 =(α 1 ) 2 =(α 2 ) 1. It follows that α 2,β = D 2 13 and α 2,β D 2 26 (as it has order 2), while α 13 D 2 26 (since α 13 commutes with both α and β). Therefore D 2 26 = α, β = α 13 α 2,β = α 13 α 2,β = C 2 D [A similar argument shows that D 2 2m = C2 D 2m whenever m is an odd number, since C 2m = C2 C m.] 12. Show that a group of order 30 is isomorphic to one of C 30, C 3 D 10, D 6 C 5, D 30. Solution: Let G be a group of order 30. Let n 3 and n 5 denote the number of Sylow 3- and Sylow 5-subgroups, respectively. Sylow s Theorem tells us that so n 3 = 1 or 10. Equally n 3 1 (mod 3) and n 3 10, n 5 1 (mod 5) and n 5 6, so n 5 = 1 or 6. If n 3 = 10, then the Sylow 3-subgroups account for 2 10 = 20 elements of order 3, while if n 5 = 6, then the Sylow 5-subgroups account for 4 6 = 24 elements of order 5. Since G = 30, at least one of n 3 and n 5 equals 1. 7

8 Thus G has a normal Sylow p-subgroup P for p = 3 or 5. Consider the quotient group G/P. This has order 10 or 6 (respectively according to p) and Sylow s Theorem applied again shows that G/P has a normal Sylow q-subgroup for q = 5 or 3 (according to the value of p). Hence, by the Correspondence Theorem, G has a normal subgroup K of order 15 (namely the one that corresponds to this normal subgroup of the quotient group). Apply Question 10(a). This shows that K = C 15. Let H be a Sylow 2-subgroup of G, soh = C 2. Now H K = 1 and so HK = ( H K )/ H K = 30. Hence we deduce G = H K and the structure of G is determined by the action of H on K by conjugation. Now K = C 15 = C3 C 5, so we may choose elements x and y in K of orders 3 and 5 respectively such that K = x y = x, y. Now x is the unique Sylow 3-subgroup of G and hence any automorphism of K must map this subgroup back to itself. The same applies to the effect of any automorphism of K on the subgroup y. Hence if α Aut K, then we induce an automorphism α 1 of x by restriction and similarly we induce an automorphism α 2 of y. Let z be the generator for H. (In this case, H = 2, so there is no choice!) If Hφ = 1, the action of z on K by conjugation is now determined: z 1 az = a where a is a generator for K, because zφ is the identity map. Hence in this case G has presentation a, z a 15 = z 2 =1,az= za = a a 15 =1 z z 2 =1 = C 15 C 2 = C30. Suppose then that Hφ = 1. ThenHφ is cyclic of order 2 and the generator z of H is mapped to to an element α of order 2. The induced automorphisms α 1 and α 2 of x and y above then have order 1 or 2. Since α 1 Aut C 3 = C2 and α 2 Aut C 5 = C4, each of these automorphisms are either the identity map or the unique automorphism of order two, namely the inversion map. Hence we have three further possibilities: (a) α 1 is inversion, α 2 is the identity: so z 1 xz = x 1 and z 1 yz = y. Hence G has presentation x, y, z x 3 = y 5 = z 2 =1,xy= yx, z 1 xz = x 1,yz= zy (b) α 1 is the identity, α 2 is inversion: so G has presentation = x, z x 3 = z 2 =1,z 1 xz = x 1 y y 5 =1 = D 2 3 C 5 = S 3 C 5. x, y, z x 3 = y 5 = z 2 =1,xy= yx, xz = zx, z 1 yz = y 1 = y, z y 5 = z 2 =1,z 1 yz = y 1 x x 3 =1 = D 2 5 C 3. (c) α 1 and α 2 are both inversion. In this case, a = xy is an element of order 15 which generates K. Furthermore z 1 az = z 1 xz z 1 yz = x 1 y 1 = a 1,so G has presentation a, z a 15 = z 2 =1,z 1 az = a 1 = D Classify the groups of order 98 up to isomorphism. 8

9 Solution: By Sylow s Theorem, if G = 98, then G has a normal subgroup S of order 49. If T is a Sylow 2-subgroup (so T = 2), then S T = 1 and TS = G, so G = T S. We now divide according to the structure of S. Case 1: S = C 49. Let x be a generator for S. We need to consider φ: T Aut S. IfTφ = 1, thenthe (unique) generator y for T satisfies y 1 xy = x and so G has presentation x, y x 49 = y 2 =1,xy= yx = x x 49 =1 y y 2 =1 = C 49 C 2 = C98. Otherwise, yφ = α where α is an element of Aut S of order 2. Such an α is determined by its effect on x. If xα = x m,thenx = xα 2 =(x m )α =(xα) m =(x m ) m = x m2. Hence x m2 1 = x, som 2 1=(m 1)(m + 1) is divisible by 49. Hence 49 divides m 1 or m + 1. (It is not possible for 7 to divide both!) We may assume that 0 m 48, so m = 1 or m = 48. If m =1thenα is the identity, which does not have order 2. If m = 48 then xα = x 48 = x 1, and we do indeed have an element of order 2. Then y 1 xy = xα = x 1,soG has presentation Case 2: S = C 7 C 7. x, y x 49 = y 2 =1,y 1 xy = x 1 = D 98. We can view S as a vector space of dimension 2 over the field F 7 of order 7. An automorphism of S corresponds to an invertible linear transformation of the vector space. Consider the generator y for T and its image yφ = α GL 2 (F 7 ). Then α is a linear transformation satisfying α 2 = I (the 2 2 identity matrix). Hence X 2 1 is a polynomial satisfied by α, so the minimal polynomial m(x) of α divides X 2 1=(X 1)(X + 1). There are three possibilities for m(x): m(x) =X 1, X +1, or (X 1)(X + 1). If α = I, we may pick any basis (i.e., generating set) for S, sayu and v, and see that uα = u and vα = v. This means that the conjugation action of y on S is given by y 1 uy = u and y 1 vy = v. Hence G has presentation u, v, y u 7 = v 7 = y 2 =1,uv= vu, uy = yu, vy = yv = u u 7 =1 v v 7 =1 y y 2 =1 = C 7 C 7 C 2 = C7 C 14. If m(x) =X + 1, then α = I, so in additive notation, uα = u and vα = v for a basis {u, v} for S. Switching back to multiplicative notation, this means that y 1 uy = u 1 and y 1 vy = v 1. Hence G has presentation u, v, y u 7 = v 7 = y 2 =1,uv= vu, y 1 uy = u 1,y 1 vy = v 1. If m(x) =(X 1)(X +1) then our transformation α is diagonalisable (as the minimal polynomial is a product of distinct linear factors) so we may pick a basis {u, v} for S of eigenvectors. Thus uα = u and vα = v. (The corresponding eigenvalues are 1 and 1.) In multiplicative notation, y 1 uy = u and y 1 vy = v 1. Hence G has presentation u, v, y u 7 = v 7 = y 2 =1,uv= vu, uy = yu, y 1 vy = v 1 = u u 7 =1 v, y y 7 = y 2 =1,y 1 vy = v 1 = C 7 D

10 We to show that the two non-abelian groups we have constructed are not isomorphic. The last group has a subgroup of order 7 lying in the centre of the group (namely, the C 7 direct factor), whereas the previous group has no elements in the Sylow 7-subgroup which commute with y (all elements in the Sylow 7-subgroup are inverted by y), so has no non-trivial central elements. Hence up to isomorphism there are five groups of order 98: C 98 and C 7 C 14 are abelian, while D 2 49, C 7 D 2 7 and C 2 (C 7 C 7 ) are non-abelian. In the last group, C 2 acts by inversion on the (normal) Sylow 7-subgroup. 14. Classify the groups of order 117 up to isomorphism. Solution: Let G be a group of order 117 = By Sylow s Theorem, the number of Sylow 13-subgroups equals 1. Let T be the unique Sylow 13-subgroup, so T G, T = C 13 and Aut T = C 12. Let x be a generator for T. Then any automorphism has the form x x i for some i with 1 i 12. Consider the automorphism α: x x 2. We calculate that and therefore xα 2 =(x 2 )α =(xα) 2 =(x 2 ) 2 = x 4 xα 3 =(x 4 )α =(xα) 4 =(x 2 ) 4 = x 8 xα 4 =(x 8 )α =(xα) 8 =(x 2 ) 8 = x 16 = x 3 xα 6 =(x 3 )α 2 =(xα 2 ) 3 =(x 4 ) 3 = x 12 = x 1 xα 12 =(x 1 )α 6 =(x 1 ) 1 = x. Hence α 12 = 1 and α, α 2, α 3, α 4 and α 6 are not the identity map. This shows that α has order 12 and consequently Aut T = α. Let Θ be a Sylow 3-subgroup of G. ThenT Θ=1, as they have coprime order, so ΘT = Θ T = G and G =ΘT. Therefore G = Θ φ T for some φ: Θ Aut T. We now divide according to the structure of Θ. Case 1: Θ = C 9. If φ: Θ Aut T is a homomorphism, then im φ Aut T and im φ 9. Therefore im φ = 1 or α 4, the latter being the unique subgroup of order 3 in Aut T. If im φ = 1, lety be a generator for Θ. Then yφ = 1, so y 1 xy = x in G. Therefore G has presentation G = x, y x 13 = y 9 =1,xy= yx = C 13 C 9 = C117. If im φ = α 4, then choose y Θ such that yφ = α 4. Necessarily y generates Θ, since it does not lie in the kernel of φ (which is the unique subgroup of Θ of order 3). Then y 1 xy = xα 4 = x 3,soG has presentation G = x, y x 13 = y 9 =1,y 1 xy = x 3. Finally, note this is a non-abelian group, so is not isomorphic to C 117. Case 2: Θ = C 3 C 3. Again there are two possibilities for the image of a homomorphism φ: Θ Aut T, namely im φ = 1 or im φ = α 4. 10

11 If im φ = 1, take y and z to generate Θ. Then G has presentation G = x, y, z x 13 = y 3 = z 3 =1,yz= zy, xy = yx, xz = zx = C 13 C 3 C 3 = C3 C 39. If im φ = α 4, choose y Θ such that yφ = α 4 and choose z to generate ker φ (which is a subgroup of Θ of order 3). Then Θ = y, z and G has presentation G = x, y, z x 13 = y 3 = z 3 =1,yz= zy, y 1 xy = x 3,xz= zx = x, y x 13 = y 3 =1,y 1 xy = x 3 C 3. This last group is non-abelian, so is not isomorphic to C 3 C 39. No group in Case 1 is isomorphic to one in Case 2, as their Sylow 3-subgroups are different. In conclusion, there are four groups of order 117 up to isomorphism. 11

School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation

School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK

More information

Solutions to Assignment 4

Solutions to Assignment 4 1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2

More information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

φ(xy) = (xy) n = x n y n = φ(x)φ(y) Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =

More information

Groups and Symmetries

Groups and Symmetries Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group

More information

Exercises on chapter 1

Exercises on chapter 1 Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G

More information

Course 311: Abstract Algebra Academic year

Course 311: Abstract Algebra Academic year Course 311: Abstract Algebra Academic year 2007-08 D. R. Wilkins Copyright c David R. Wilkins 1997 2007 Contents 1 Topics in Group Theory 1 1.1 Groups............................... 1 1.2 Examples of Groups.......................

More information

Solutions of exercise sheet 8

Solutions of exercise sheet 8 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra

More information

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,

More information

Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

More information

5 Group theory. 5.1 Binary operations

5 Group theory. 5.1 Binary operations 5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1

More information

Math 451, 01, Exam #2 Answer Key

Math 451, 01, Exam #2 Answer Key Math 451, 01, Exam #2 Answer Key 1. (25 points): If the statement is always true, circle True and prove it. If the statement is never true, circle False and prove that it can never be true. If the statement

More information

Group Theory

Group Theory Group Theory 2014 2015 Solutions to the exam of 4 November 2014 13 November 2014 Question 1 (a) For every number n in the set {1, 2,..., 2013} there is exactly one transposition (n n + 1) in σ, so σ is

More information

MA441: Algebraic Structures I. Lecture 26

MA441: Algebraic Structures I. Lecture 26 MA441: Algebraic Structures I Lecture 26 10 December 2003 1 (page 179) Example 13: A 4 has no subgroup of order 6. BWOC, suppose H < A 4 has order 6. Then H A 4, since it has index 2. Thus A 4 /H has order

More information

CHAPTER III NORMAL SERIES

CHAPTER III NORMAL SERIES CHAPTER III NORMAL SERIES 1. Normal Series A group is called simple if it has no nontrivial, proper, normal subgroups. The only abelian simple groups are cyclic groups of prime order, but some authors

More information

7 Semidirect product. Notes 7 Autumn Definition and properties

7 Semidirect product. Notes 7 Autumn Definition and properties MTHM024/MTH74U Group Theory Notes 7 Autumn 20 7 Semidirect product 7. Definition and properties Let A be a normal subgroup of the group G. A complement for A in G is a subgroup H of G satisfying HA = G;

More information

A Little Beyond: Linear Algebra

A Little Beyond: Linear Algebra A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two

More information

School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet IV: Composition series and the Jordan Hölder Theorem (Solutions)

School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet IV: Composition series and the Jordan Hölder Theorem (Solutions) CMRD 2010 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet IV: Composition series and the Jordan Hölder Theorem (Solutions) 1. Let G be a group and N be a normal subgroup of G.

More information

Algebra SEP Solutions

Algebra SEP Solutions Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since

More information

CONSEQUENCES OF THE SYLOW THEOREMS

CONSEQUENCES OF THE SYLOW THEOREMS CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.

More information

School of Mathematics and Statistics. MT5824 Topics in Groups. Handout 0: Course Information

School of Mathematics and Statistics. MT5824 Topics in Groups. Handout 0: Course Information MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT4003 Groups. Lectures: Mon (odd), Wed & Fri 10am, Lecture

More information

DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents

DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3 T.K.SUBRAHMONIAN MOOTHATHU Contents 1. Cayley s Theorem 1 2. The permutation group S n 2 3. Center of a group, and centralizers 4 4. Group actions

More information

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1 IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1 Let Σ be the set of all symmetries of the plane Π. 1. Give examples of s, t Σ such that st ts. 2. If s, t Σ agree on three non-collinear points, then

More information

Math 210A: Algebra, Homework 5

Math 210A: Algebra, Homework 5 Math 210A: Algebra, Homework 5 Ian Coley November 5, 2013 Problem 1. Prove that two elements σ and τ in S n are conjugate if and only if type σ = type τ. Suppose first that σ and τ are cycles. Suppose

More information

MATH 251, Handout on Sylow, Direct Products, and Finite Abelian Groups

MATH 251, Handout on Sylow, Direct Products, and Finite Abelian Groups MATH 251, Handout on Sylow, Direct Products, and Finite Abelian Groups 1. Let G be a group with 56 elements. Show that G always has a normal subgroup. Solution: Our candidates for normal subgroup are the

More information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely

More information

Theorems and Definitions in Group Theory

Theorems and Definitions in Group Theory Theorems and Definitions in Group Theory Shunan Zhao Contents 1 Basics of a group 3 1.1 Basic Properties of Groups.......................... 3 1.2 Properties of Inverses............................. 3

More information

MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis

MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis PART B: GROUPS GROUPS 1. ab The binary operation a * b is defined by a * b = a+ b +. (a) Prove that * is associative.

More information

May 6, Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work.

May 6, Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work. Math 236H May 6, 2008 Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work. 1. (15 points) Prove that the symmetric group S 4 is generated

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

Two subgroups and semi-direct products

Two subgroups and semi-direct products Two subgroups and semi-direct products 1 First remarks Throughout, we shall keep the following notation: G is a group, written multiplicatively, and H and K are two subgroups of G. We define the subset

More information

ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.

ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld. ENTRY GROUP THEORY [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld Group theory [Group theory] is studies algebraic objects called groups.

More information

SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III Week 1 Lecture 1 Tuesday 3 March.

SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III Week 1 Lecture 1 Tuesday 3 March. SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III 2009 Week 1 Lecture 1 Tuesday 3 March. 1. Introduction (Background from Algebra II) 1.1. Groups and Subgroups. Definition 1.1. A binary operation on a set

More information

1 First Theme: Sums of Squares

1 First Theme: Sums of Squares I will try to organize the work of this semester around several classical questions. The first is, When is a prime p the sum of two squares? The question was raised by Fermat who gave the correct answer

More information

Math 594, HW2 - Solutions

Math 594, HW2 - Solutions Math 594, HW2 - Solutions Gilad Pagi, Feng Zhu February 8, 2015 1 a). It suffices to check that NA is closed under the group operation, and contains identities and inverses: NA is closed under the group

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

3. G. Groups, as men, will be known by their actions. - Guillermo Moreno

3. G. Groups, as men, will be known by their actions. - Guillermo Moreno 3.1. The denition. 3. G Groups, as men, will be known by their actions. - Guillermo Moreno D 3.1. An action of a group G on a set X is a function from : G X! X such that the following hold for all g, h

More information

Lecture 4.1: Homomorphisms and isomorphisms

Lecture 4.1: Homomorphisms and isomorphisms Lecture 4.: Homomorphisms and isomorphisms Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4, Modern Algebra M. Macauley (Clemson) Lecture

More information

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly

More information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 3. (a) Yes; (b) No; (c) No; (d) No; (e) Yes; (f) Yes; (g) Yes; (h) No; (i) Yes. Comments: (a) is the additive group

More information

Abstract Algebra II Groups ( )

Abstract Algebra II Groups ( ) Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition

More information

A SIMPLE PROOF OF BURNSIDE S CRITERION FOR ALL GROUPS OF ORDER n TO BE CYCLIC

A SIMPLE PROOF OF BURNSIDE S CRITERION FOR ALL GROUPS OF ORDER n TO BE CYCLIC A SIMPLE PROOF OF BURNSIDE S CRITERION FOR ALL GROUPS OF ORDER n TO BE CYCLIC SIDDHI PATHAK Abstract. This note gives a simple proof of a famous theorem of Burnside, namely, all groups of order n are cyclic

More information

REMARKS 7.6: Let G be a finite group of order n. Then Lagrange's theorem shows that the order of every subgroup of G divides n; equivalently, if k is

REMARKS 7.6: Let G be a finite group of order n. Then Lagrange's theorem shows that the order of every subgroup of G divides n; equivalently, if k is FIRST-YEAR GROUP THEORY 7 LAGRANGE'S THEOREM EXAMPLE 7.1: Set G = D 3, where the elements of G are denoted as usual by e, a, a 2, b, ab, a 2 b. Let H be the cyclic subgroup of G generated by b; because

More information

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups This Ark concerns the weeks No. (Mar ) and No. (Mar ). Plans until Eastern vacations: In the book the group theory included in the curriculum

More information

UNIVERSITY OF MICHIGAN UNDERGRADUATE MATH COMPETITION 28 APRIL 7, 2011

UNIVERSITY OF MICHIGAN UNDERGRADUATE MATH COMPETITION 28 APRIL 7, 2011 UNIVERSITY OF MICHIGAN UNDERGRADUATE MATH COMPETITION 28 APRIL 7, 20 Instructions. Write on the front of your blue book your student ID number. Do not write your name anywhere on your blue book. Each question

More information

A. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that

A. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that MATH 402A - Solutions for the suggested problems. A. (Groups of order 8. (a Which of the five groups G (as specified in the question have the following property: G has a normal subgroup N such that N =

More information

ALGEBRA QUALIFYING EXAM PROBLEMS

ALGEBRA QUALIFYING EXAM PROBLEMS ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General

More information

B Sc MATHEMATICS ABSTRACT ALGEBRA

B Sc MATHEMATICS ABSTRACT ALGEBRA UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc MATHEMATICS (0 Admission Onwards) V Semester Core Course ABSTRACT ALGEBRA QUESTION BANK () Which of the following defines a binary operation on Z

More information

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall 2015 Midterm Exam Review Solutions Practice exam questions: 1. Let V 1 R 2 be the subset of all vectors whose slope

More information

Homework Problems, Math 200, Fall 2011 (Robert Boltje)

Homework Problems, Math 200, Fall 2011 (Robert Boltje) Homework Problems, Math 200, Fall 2011 (Robert Boltje) Due Friday, September 30: ( ) 0 a 1. Let S be the set of all matrices with entries a, b Z. Show 0 b that S is a semigroup under matrix multiplication

More information

DIHEDRAL GROUPS II KEITH CONRAD

DIHEDRAL GROUPS II KEITH CONRAD DIHEDRAL GROUPS II KEITH CONRAD We will characterize dihedral groups in terms of generators and relations, and describe the subgroups of D n, including the normal subgroups. We will also introduce an infinite

More information

FINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.

FINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =. FINITE GROUP THEORY: SOLUTIONS TONY FENG These are hints/solutions/commentary on the problems. They are not a model for what to actually write on the quals. 1. 2010 FALL MORNING 5 (i) Note that G acts

More information

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators. PRACTICE FINAL MATH 18.703, MIT, SPRING 13 You have three hours. This test is closed book, closed notes, no calculators. There are 11 problems, and the total number of points is 180. Show all your work.

More information

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND

More information

Math 120: Homework 6 Solutions

Math 120: Homework 6 Solutions Math 120: Homewor 6 Solutions November 18, 2018 Problem 4.4 # 2. Prove that if G is an abelian group of order pq, where p and q are distinct primes then G is cyclic. Solution. By Cauchy s theorem, G has

More information

Ultraproducts of Finite Groups

Ultraproducts of Finite Groups Ultraproducts of Finite Groups Ben Reid May 11, 010 1 Background 1.1 Ultrafilters Let S be any set, and let P (S) denote the power set of S. We then call ψ P (S) a filter over S if the following conditions

More information

Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson

Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson On almost every Friday of the semester, we will have a brief quiz to make sure you have memorized the definitions encountered in our studies.

More information

9. Finite fields. 1. Uniqueness

9. Finite fields. 1. Uniqueness 9. Finite fields 9.1 Uniqueness 9.2 Frobenius automorphisms 9.3 Counting irreducibles 1. Uniqueness Among other things, the following result justifies speaking of the field with p n elements (for prime

More information

its image and kernel. A subgroup of a group G is a non-empty subset K of G such that k 1 k 1

its image and kernel. A subgroup of a group G is a non-empty subset K of G such that k 1 k 1 10 Chapter 1 Groups 1.1 Isomorphism theorems Throughout the chapter, we ll be studying the category of groups. Let G, H be groups. Recall that a homomorphism f : G H means a function such that f(g 1 g

More information

IUPUI Qualifying Exam Abstract Algebra

IUPUI Qualifying Exam Abstract Algebra IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order

More information

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Do 6 problems with at least 2 in each section. Group theory problems: (1) Suppose G is a group. The

More information

Before you begin read these instructions carefully.

Before you begin read these instructions carefully. MATHEMATICAL TRIPOS Part IA Tuesday, 4 June, 2013 1:30 pm to 4:30 pm PAPER 3 Before you begin read these instructions carefully. The examination paper is divided into two sections. Each question in Section

More information

HOMEWORK Graduate Abstract Algebra I May 2, 2004

HOMEWORK Graduate Abstract Algebra I May 2, 2004 Math 5331 Sec 121 Spring 2004, UT Arlington HOMEWORK Graduate Abstract Algebra I May 2, 2004 The required text is Algebra, by Thomas W. Hungerford, Graduate Texts in Mathematics, Vol 73, Springer. (it

More information

2MA105 Algebraic Structures I

2MA105 Algebraic Structures I 2MA105 Algebraic Structures I Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/2ma105.html Lecture 7 Cosets once again Factor Groups Some Properties of Factor Groups Homomorphisms November 28, 2011

More information

Representation Theory

Representation Theory Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character

More information

ANALYSIS OF SMALL GROUPS

ANALYSIS OF SMALL GROUPS ANALYSIS OF SMALL GROUPS 1. Big Enough Subgroups are Normal Proposition 1.1. Let G be a finite group, and let q be the smallest prime divisor of G. Let N G be a subgroup of index q. Then N is a normal

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013 18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and

More information

120A LECTURE OUTLINES

120A LECTURE OUTLINES 120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication

More information

ISOMORPHISMS KEITH CONRAD

ISOMORPHISMS KEITH CONRAD ISOMORPHISMS KEITH CONRAD 1. Introduction Groups that are not literally the same may be structurally the same. An example of this idea from high school math is the relation between multiplication and addition

More information

Math 581 Problem Set 9

Math 581 Problem Set 9 Math 581 Prolem Set 9 1. Let m and n e relatively prime positive integers. (a) Prove that Z/mnZ = Z/mZ Z/nZ as RINGS. (Hint: First Isomorphism Theorem) Proof: Define ϕz Z/mZ Z/nZ y ϕ(x) = ([x] m, [x] n

More information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

A connection between number theory and linear algebra

A connection between number theory and linear algebra A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.

More information

Lecture 7 Cyclic groups and subgroups

Lecture 7 Cyclic groups and subgroups Lecture 7 Cyclic groups and subgroups Review Types of groups we know Numbers: Z, Q, R, C, Q, R, C Matrices: (M n (F ), +), GL n (F ), where F = Q, R, or C. Modular groups: Z/nZ and (Z/nZ) Dihedral groups:

More information

HOMEWORK 3 LOUIS-PHILIPPE THIBAULT

HOMEWORK 3 LOUIS-PHILIPPE THIBAULT HOMEWORK 3 LOUIS-PHILIPPE THIBAULT Problem 1 Let G be a group of order 56. We have that 56 = 2 3 7. Then, using Sylow s theorem, we have that the only possibilities for the number of Sylow-p subgroups

More information

Math 103 HW 9 Solutions to Selected Problems

Math 103 HW 9 Solutions to Selected Problems Math 103 HW 9 Solutions to Selected Problems 4. Show that U(8) is not isomorphic to U(10). Solution: Unfortunately, the two groups have the same order: the elements are U(n) are just the coprime elements

More information

Math 546, Exam 2 Information.

Math 546, Exam 2 Information. Math 546, Exam 2 Information. 10/21/09, LC 303B, 10:10-11:00. Exam 2 will be based on: Sections 3.2, 3.3, 3.4, 3.5; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/546fa09/546.html)

More information

Math 594. Solutions 5

Math 594. Solutions 5 Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses

More information

BASIC GROUP THEORY : G G G,

BASIC GROUP THEORY : G G G, BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e

More information

Groups of Prime Power Order with Derived Subgroup of Prime Order

Groups of Prime Power Order with Derived Subgroup of Prime Order Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*

More information

Groups. Chapter The symmetric group

Groups. Chapter The symmetric group Chapter 1 Groups In this chapter we ll cover pretty much all of group theory. This material is roughly the same as Rotman s chapters 2 and 5, but beware there are some extra things not in Rotman... You

More information

Problem 1.1. Classify all groups of order 385 up to isomorphism.

Problem 1.1. Classify all groups of order 385 up to isomorphism. Math 504: Modern Algebra, Fall Quarter 2017 Jarod Alper Midterm Solutions Problem 1.1. Classify all groups of order 385 up to isomorphism. Solution: Let G be a group of order 385. Factor 385 as 385 = 5

More information

Elements of solution for Homework 5

Elements of solution for Homework 5 Elements of solution for Homework 5 General remarks How to use the First Isomorphism Theorem A standard way to prove statements of the form G/H is isomorphic to Γ is to construct a homomorphism ϕ : G Γ

More information

CLASSIFICATION OF GROUPS OF ORDER 60 Alfonso Gracia Saz

CLASSIFICATION OF GROUPS OF ORDER 60 Alfonso Gracia Saz CLASSIFICATION OF GROUPS OF ORDER 60 Alfonso Gracia Saz Remark: This is a long problem, and there are many ways to attack various of the steps. I am not claiming this is the best way to proceed, nor the

More information

Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.

Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. 24. We basically know already that groups of order p 2 are abelian. Indeed, p-groups have non-trivial

More information

Topics in linear algebra

Topics in linear algebra Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over

More information

Some notes on Coxeter groups

Some notes on Coxeter groups Some notes on Coxeter groups Brooks Roberts November 28, 2017 CONTENTS 1 Contents 1 Sources 2 2 Reflections 3 3 The orthogonal group 7 4 Finite subgroups in two dimensions 9 5 Finite subgroups in three

More information

Extra exercises for algebra

Extra exercises for algebra Extra exercises for algebra These are extra exercises for the course algebra. They are meant for those students who tend to have already solved all the exercises at the beginning of the exercise session

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

1 Fields and vector spaces

1 Fields and vector spaces 1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary

More information

PROBLEMS FROM GROUP THEORY

PROBLEMS FROM GROUP THEORY PROBLEMS FROM GROUP THEORY Page 1 of 12 In the problems below, G, H, K, and N generally denote groups. We use p to stand for a positive prime integer. Aut( G ) denotes the group of automorphisms of G.

More information

MATH RING ISOMORPHISM THEOREMS

MATH RING ISOMORPHISM THEOREMS MATH 371 - RING ISOMORPHISM THEOREMS DR. ZACHARY SCHERR 1. Theory In this note we prove all four isomorphism theorems for rings, and provide several examples on how they get used to describe quotient rings.

More information

Some practice problems for midterm 2

Some practice problems for midterm 2 Some practice problems for midterm 2 Kiumars Kaveh November 14, 2011 Problem: Let Z = {a G ax = xa, x G} be the center of a group G. Prove that Z is a normal subgroup of G. Solution: First we prove Z is

More information

Higher Algebra Lecture Notes

Higher Algebra Lecture Notes Higher Algebra Lecture Notes October 2010 Gerald Höhn Department of Mathematics Kansas State University 138 Cardwell Hall Manhattan, KS 66506-2602 USA gerald@math.ksu.edu This are the notes for my lecture

More information

Exercises MAT2200 spring 2013 Ark 3 Cosets, Direct products and Abelian groups

Exercises MAT2200 spring 2013 Ark 3 Cosets, Direct products and Abelian groups Exercises MAT2200 spring 2013 Ark 3 Cosets, Direct products and Abelian groups This Ark concerns the weeks No. (Feb ) andno. (Feb Mar ). The plans for those two weeks are as follows: On Wednesday Feb I

More information

Algebraic Structures Exam File Fall 2013 Exam #1

Algebraic Structures Exam File Fall 2013 Exam #1 Algebraic Structures Exam File Fall 2013 Exam #1 1.) Find all four solutions to the equation x 4 + 16 = 0. Give your answers as complex numbers in standard form, a + bi. 2.) Do the following. a.) Write

More information

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by Seminar 1 1. Which ones of the usual symbols of addition, subtraction, multiplication and division define an operation (composition law) on the numerical sets N, Z, Q, R, C? 2. Let A = {a 1, a 2, a 3 }.

More information

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication. Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions

More information