CHAPTER 9. Normal Subgroups and Factor Groups. Normal Subgroups

Size: px
Start display at page:

Download "CHAPTER 9. Normal Subgroups and Factor Groups. Normal Subgroups"

Transcription

1 Normal Subgroups CHAPTER 9 Normal Subgroups and Factor Groups If H apple G, we have seen situations where ah 6= Ha 8 a 2 G. Definition (Normal Subgroup). A subgroup H of a group G is a normal subgroup of G if ah = Ha 8 a 2 G. We denote this by H C G. Note. This means that if H C G, given a 2 G and h 2 H, 9 h 0, h 00 2 H 3 ah = h 0 a and ah 00 = ha. and conversely. It does not mean ah = ha for all h 2 H. Recall (Part 8 of Lemma on Properties of Cosets). ah = Ha () H = aha 1. Theorem (9.1 Normal Subgroup Test). If H apple G, H C G () xhx 1 H for all x 2 G. (=)) H C G =) 8 x 2 G and 8 h 2 H, 9 h 0 2 H 3 xh = h 0 x =) xhx 1 = h 0 2 H. Thus xhx 1 H. ((=) Suppose xhx 1 H 8 x 2 G. Let x = a. Then aha 1 H =) ah Ha. Now let x = a 1. Then a 1 H(a 1 ) 1 = a 1 Ha H =) Ha ah. By mutual inclusion, Ha = ah =) H C G. 117

2 NORMAL SUBGROUPS AND FACTOR GROUPS Example. (1) Every subgroup of an Abelian group is normal since ah = ha for all a 2 G and for all h 2 H. (2) The center Z(G) of a group is always normal since ah = ha for all a 2 G and for all h 2 Z(G). Theorem (4). If H apple G and [G : H] = 2, then H C G. If a 2 H, then H = ah = Ha. If a 62 H, ah is a left coset distinct from H and Ha is a right coset distinct from H. Since [G : H] = 2, G = H [ah = H [Ha and H \ ah = ; = H \ Ha =) ah = Ha. Thus H C G. Example. A n C S n since [S n : A n ] = 2. Note, for example, that for (1 2) 2 S n and (1 2 3) 2 A n, but and (1 3 2) 2 A n. (1 2)(1 2 3) 6= (1 2 3)(1 2), (1 2)(1 2 3) = (1 3 2)(1 2) Example. hr 360/n i C D n since [D n : R 360/n ] = 2. Example. SL(2, R) C GL(2, R). Let x 2 GL(2, R). Recall det(x 1 ) = h 2 SL(2, R), 1 det(x) = (det(x)) 1. Then, for all det(xhx 1 ) = (det(x))(det(h))(det(x)) 1 = (det(x))(det(x)) 1 (det(h)) = 1 1 = 1, so xhx 1 2 SL(2, R) =) x SL(2, R)x 1 SL(2, R). Thus SL(2, R) C GL(2, R).

3 9. NORMAL SUBGROUPS AND FACTOR GROUPS 119 Example. Consider A 4, with group table from page 111 shown below: Let H = { 1, 2, 3, 4 } apple A 4, A = { 5, 6, 7, 8 } A 4, and B = { 9, 10, 11, 12 }. 8 a 2 A, a 1 2 B, and 8 b 2 B, b 1 2 A. Let x 2 A 4 : Case 1: x 2 H. Then xh H. Since x 1 2 H, xhx 1 H. Case 2: x 2 A. Then xh A =) xhx 1 H. Case 3: x 2 B. Then xh B =) xhx 1 H. Thus, 8 x 2 A 4, xhx 1 H =) H C A 4 by Theorem 9.1. Now let K = { 1, 5, 9 } apple A 4. Now 5 2 K, but so K 6C A = = 2 8 = 7 62 K,

4 NORMAL SUBGROUPS AND FACTOR GROUPS Factor Groups Theorem (9.2 Factor Groups). Let G be a group and H C G. The set G/H = {ah a 2 G} is a group under the operation (ah)(bh) = abh. This group is called the factor group or quotient group of G by H. We first show the operation is well-defined. [Our product is determined by the coset representatives chosen, but is the product uniquely determined by the cosets themselves?] Suppose ah = a 0 H and bh = b 0 H. Then a 0 = ah 1 and b 0 = bh 2 for some h 2, h 2 2 H =) a 0 b 0 H = ah 1 bh 2 H = ah 1 bh = ah 1 Hb = ahb = abh by associativity in G, the Lemma on cosets (page 145), and the fact that H C G. Thus the operation is well-defined. Associativity in G/H follows directly from associativity in G: (ahbh)ch = (abh)ch = (ab)ch = a(bc)h = ah(bch) = ah(bhch). The identity is eh = H, and the inverse of ah is a 1 H. Thus G/H is a group.

5 9. NORMAL SUBGROUPS AND FACTOR GROUPS 121 Example. Let 3Z = {0, ±3, ±6, ±9,... }. Then 3Z C Z since Z is abelian. Consider the following 3 cosets: 0 + 3Z = 3Z = {0, ±3, ±6, ±9,... }, 1 + 3Z = {1, 4, 7,... ; 2, 5, 8,... }, 2 + 3Z = {2, 5, 8... ; 1, 4, 7,... }. For k 2 Z, k = 3q + r where 0 apple r < 3. Thus k + 3Z = r + 3q + 3Z = r + 3Z. So we have all the cosets. A Cayley table for Z/3Z: 0 + 3Z 1 + 3Z 2 + 3Z 0 + 3Z 0 + 3Z 1 + 3Z 2 + 3Z 1 + 3Z 1 + 3Z 2 + 3Z 0 + 3Z 2 + 3Z 2 + 3Z 0 + 3Z 1 + 3Z Therefore, Z/3Z Z 3. In general, for n > 0, nz = {0, ±n, ±2n, ±3n,... }, and Z/nZ Z n.

6 NORMAL SUBGROUPS AND FACTOR GROUPS Example. Consider the multiplication table for A 4 below, where i represents the permutation i on page 117 of these notes. Let H = {1, 2, 3, 4}. The 3 cosets of H are H, 5H = {5, 6, 7, 8}, and 9H = {9, 10, 11, 12}. Notice how the above table is divided into coset blocks. Since H C A 4, when we replace the various boxes by their coset names, we get the Cayley table below for A 4 /H. The factor group collapses all the elements of a coset to a single group element of A 4 /H. When H C G, one can always arrange a Cayley table so this happens. When H 6C G, one cannot.

7 9. NORMAL SUBGROUPS AND FACTOR GROUPS 123 Example. Is U(30)/U 5 (30) isomorphic to Z 2 Z 4? Solution. Z 2 (the Klein 4-group) or U(30) = {1, 7, 11, 13, 17, 19, 23, 29}, U 5 (30) = {1, 11}. 7U 5 (30) = {7, 17}, 13U 5 (30) = {13, 23}, 19U 5 (30) = {19, 29}. Thus U(30/U 5 (30) = {U 5 (30), 7U 5 (30), 13U 5 (30), 19U 5 (30)}. (7U 5 (30)) 2 = 19U 5 (30), so 7U 5 ((30) 6= 2 =) 7U 5 ((30) = 4 =) U(30)/U 5 (30) Z 4. Note. ah has two possible interpretations: (1) The order of ah as an element of G/H. (2) The size of the set ah. The appropriate interpretation will be clear from the context. Note. When we take a group and factor out by a normal subgroup H, we are essentially defining every element in H to be the identity. In the example above, 7U 5 (30) = 17U 5 (30) since 17 = 7 11 in U(30) and going to the factor group makes 11 the identity.

8 NORMAL SUBGROUPS AND FACTOR GROUPS Problem (Page 201 # 25). Let G = U(32) and H = {1, 31}. Which of Z 8, Z 4 Z 2, or Z 2 Z 2 Z 2 is G/H isomorphic to? Solution. G = U(32) = {1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31}. The cosets in G/H are: H = {1, 31}, 3H = {3, 29}, 5H = {5, 27}, 7H = {7, 25}, 9H = {9, 23}, 11H = {11, 21}, 13H = {13, 19}, 15H = {15, 17}. (3H) 2 = 9H 6= H, do 3H has order at least 4, ruling out Z 2 Z 2 Z 2. (3H) 4 = 17H 6= H, so 3H 6= 4 =) 3H = 8. Thus G/H Z 8. Applications of Factor Groups Why are factor groups important? When G is finite and H 6= {e}, G/H is smaller than G, yet simulates G in many ways. One can often deduce properties of G from G/H. Theorem (9.3 G/Z Theorem). Let G be a group and let Z(G) be the center of G. If G/Z(G) is cyclic, then G is Abelian. Let gz(g) be a generator of G/Z(G), and let a, b 2 G. Then 9 i, j 2 Z 3 az(g) = (gz(g)) i = g i Z(G) and bz(g) = (gz(g)) j = g j Z(G). Thus a = g i x and b = g j y for some x, y 2 Z(G). Then ab = (g i x)(g j y) = g i (xg j )y = g i (g j x)y = (g i g j )(xy) = Thus G is Abelian. (g j g i )(yx) = (g j y)(g i x) = ba.

9 Note. 9. NORMAL SUBGROUPS AND FACTOR GROUPS 125 (1) From the proof above, we have a stronger e ect: Theorem (9.3 0 ). Let G be a group and H apple Z(G). If G/H is cyclic, then G is Abelian. (2) Contrapositive: Theorem ( ). If G is non-abelian, then G/Z(G) is not cyclic. Example. Consider a non-abelian group of order pq, where p and q are primes. Then, since G/Z(G) is not cyclic, Z(G) 6= p and Z(G) 6= q, so Z(G) = 1 and Z(G) = {e}. (3) If G/Z(G) is cyclic, it must be trivial (only the identity). Theorem (9.4 G/Z(G) Inn(G)). For any group G, G/Z(G) is isomorphic to Inn(G). Consider T : G/Z(G)! INN(G) defined by T (gz(g)) = g. [To show T is a well-defined function.] Suppose gz(g) = hz(g) =) h 1 g 2 Z(G). Then, 8 x 2 G, h 1 gx = xh 1 g =) gx = hxh 1 g =) gxg 1 = hxh 1 =) g (x) = h (x). Thus g = h. Reversing the above argument shows T is 1 1. T is clearly onto. For operation preservation, suppose gz(g), hz(g) 2 G/Z(G). Then T (gz(g) hz(g)) = T (ghz(g)) = gh = g h = T (gz(g)) T (hz(g)). Thus T is an isomorphism.

10 NORMAL SUBGROUPS AND FACTOR GROUPS Problem (Page 204 # 60). Find Inn(D n ). Solution. By Example 14, page 67, Z(D n ) = {R 0, R 180 } for n even and Z(D n ) = {R 0 } for n odd. Thus, for n odd, D n /Z(D n ) = D n Inn(D n ) by Theorem 9.4, Inn(D n ) = D n = 2n for n odd. Now suppose n is even. Then D n /Z(D n ) = [D n : Z(D n )] = D n Z(D n ) = 2n 2 = n. Then, since D n /Z(D n ) Inn(D n ) by Theorem 9.4, Inn(D n ) = D n /Z(D n ) = n. Further, n = 2p, p a prime. Then, by Theorem 7.3, Inn(D n ) Z n or Inn(D n ) D p. If Inn(D n ) were cyclic, D n /Z(D n ) would also be by Theorem 9.4 =) D n is Abelian by Theorem 9.3, an impossibility. Thus Inn(D 2p ) D p.

11 9. NORMAL SUBGROUPS AND FACTOR GROUPS 127 Theorem (9.5 Cauchy s Theorem for Abelian groups). Let G be a finite Abelian group and let p be a prime such that p G. Then G has an element of order p. Clearly, the theorem is true if G = 2. We use the Second Principle of Induction on G. Assume the staement is true for all Abelian groups with order less than G. [To show, based on the induction assumption, that the statement holds for G also.] Now G must have elements of prime order: if x = m and m = qn, where q is prime, then x n = q. Let x be an element of prime order q. If q = p, we are finished, so assume q 6= p. Since every subgroup of an Abelian group is normal, we may construct G = G/hxi. Then G is Abelian and p G, since G = G. By induction, then, G q has an element call it yhxi of order p. For the conclusion of the proof we use the following Lemma: Lemma (Page 204 # 67). Suppose H C G, G finite. If G/H has an element of order n, G has an element of order n. Suppose gh = n. Suppose g = m. Then (gh) m = g m H = eh = H, so by Corollary 2 to Theorem 4.1, n m. [We just proved Page 202 # 37.] Then so, by Theorem 4.2, 9 t 2 Z 3 m = g = nt = gh t g t = m gcd(m, t) = m t = n. Example. Consider, for k 2 Z, hki C Z. 1 + hki 2 Z/hki with 1 + hki = k, but all elements of Z have infinite order, so the assumption that G must be finite in the Lemma is necessary.

12 NORMAL SUBGROUPS AND FACTOR GROUPS Internal Direct Products Our object here is to break a group into a product of smaller groups. Definition. G is the internal direct product of H and K and we write G = H K if H C G, K C G, G = HK, and H \ K = {e}. Note. (1) For an internal direct product, H and K must be di erent normal subgroups of the same group. (2)For external direct products, H and K can be any groups. (3) One forms an internal direct product by starting with G, and then finding two normal subgroups H and K within G such that G is isomorphic to the external direct product of H and K.

13 9. NORMAL SUBGROUPS AND FACTOR GROUPS 129 Example. Consider Z 35 where, as we recall, the group operation is addition. h5i C Z 35 and h7i C Z 35 since Z 35 is Abelian. Since gcd(5, 7) = 1, 9 s, t 2 Z 3 1 = 5s + 7t. In fact, 1 = ( 4)5 + (3)7. Thus, for m 2 Z 35, m = ( 4m)5 + (3m)7 2 h5i + h7i. So Z 35 = h5i + h7i. Also, h5i \ h7i = {0}, so Z 35 = h5i h7i. We also know h5i Z 7 and h7i Z 5, so that Z 35 Z 7 Z 5 h5i h7i. Example. S 3 = {(1), (1 2 3), (1 3 2), (2 3), (1 2), (1 3)}. Let H = h(1 2 3)i and K = h(1 2)i. Then H = {(1), (1 2 3), (1 3 2)} and K = {(1), (1 2)}. Since (1 2 3)(1 2) = (1 3) and (1 3 2)(1 2) = (2 3), S 3 = HK. Also, H \ K = h(1)i. But S 3 6 H K since S 3 6 H K because S 3 is not cyclic and H K is cyclic since H and K are relatively prime. What is the problem here? K 6C S 3 since (1 3)(1 2)(1 3) 1 = (1 3)(1 2)(1 3) = (2 3) 62 K. Definition (Internal Direct Product H 1 H 2 H n ).! Let H 1, H 2,..., H n be a finite collection of normal subgroups of G. We say that G is the internal direct product of H 1, H 2,..., H n and write G = H 1 H 2 H n if (1) G = H 1 H 2 H n = {h 1 h 2 h n h i 2 H i }, (2) (H 1 H 2 H i ) \ H i+1 = {e} for i = 1, 2,..., n 1.

14 NORMAL SUBGROUPS AND FACTOR GROUPS Theorem (9.6 H 1 H 2 H n H 1 H 2 H n ). If a group G is the internal direct product of a finite number of subgroups H 1, H 2,..., H n, then G = H 1 H 2 H n, i.e., H 1 H 2 H n H 1 H 2 H n. [To show h s from di erent H i s commute.] Let h i 2 H i and h j 2 H j with i 6= j. Then, since H i C G and H j C G, (h i h j h 1 i )h 1 j 2 H j h 1 j = H j and h i (h j h 1 i h 1 j ) 2 h i H i = H i. Thus h i h j hi 1 hj 1 2 H i \ H j = {e} by Page 200 # 5. [WLOG, suppose i < j. Then, if h 2 H i \H j, h 2 H 1 H 2 H i H j 1 \H j = {e} from the definition of internal direct product.] Thus h i h j = h j h i. [To show each element of G can be expressed uniquely in the form h 1 h 2 h n where h i 2 H i.] From the definition of internal direct product, there exist h 1 2 H 1,..., h n 2 H n such that g = h 1 h 2 h n for g 2 G. Suppose also g = h 0 1h 0 2 h 0 n where h 0 i 2 H i. Using the commutative property shown above, we can solve (?) h 1 h 2 h n = h 0 1h 0 2 h 0 n to get h 0 nhn 1 = (h 0 1) 1 h 1 (h 0 2) 1 h 2 (h 0 n 1) 1 h n 1. Then h 0 nhn 1 2 H 1 H 2 H n 1 \ H n = {e} =) h 0 nhn 1 = e =) h 0 n = h n. We can thus cancel h n and h 0 n from opposite sides of (?) and repeat the preceding to get h 0 n 1 = h n 1. continuing, we eventually get h i = h 0 i for i = 1, 2,..., n.

15 9. NORMAL SUBGROUPS AND FACTOR GROUPS 131 Now define : G! H 1 H 2 H n by (h 1 h 2 h n ) = (h 1, h 2,, h n ). From the above, is well-=defined. If (h 1 h 2 h n ) = (h 0 1h 0 2 h 0 n), (h 1, h 2,, h n ) = (h 0 1, h 0 2,, h 0 n) =) so is 1 1. That is onto is clear. [To show operation preservation.] h i = h 0 i for i = 1,..., n =) h 1 h 2 h n = h 0 1h 0 2 h 0 n, Now let h 1 h 2 h n, h 0 1h 0 2 h 0 n 2 G. Again, using the commutativity shown above, (h1 h 2 h n )(h 0 1h 0 2 h 0 n) = (h 1 h 0 1)(h 2 h 0 2) (h n h 0 n) = (h 1 h 0 1, h 2 h 0 2,, h n h 0 n) = (h 1 h 2 h n ) (h 0 1h 0 2 h 0 n) = (h 1 h 2 h n ) (h 0 1h 0 2 h 0 n), so operations are preserved and is an isomorphism. Note. If G = H 1 H 2 H n, then for Clearly, each H i H i. H i = {e} H i {e}, i = 1,..n, G = H 1 H 2 H n.

16 NORMAL SUBGROUPS AND FACTOR GROUPS Theorem (9.7 Classification of Groups of Order p 2 ). Every group of order p 2, where p is a prime, is isomorphic to Z p 2 or Z p Z p. Let G be a group of order p 2, p a prime. If G has an element of order p 2, then G Z p 2. Otherwise, by Corollary 2 of Lagrange s Theorem, we may assume every non-identity element of G has order p. [To show that 8 a 2 G, hai is normal in G.] Suppose this is not the case. Then 9 b 2 G 3 bab 1 62 hai. Then hai and hbab 1 i are distinct subgroups of order p. Since hai \ hbab 1 i is a subgroup of both hai and hbab 1 i, hai \ hbab 1 i = {e}. Thus the distinct left cosets of hbab 1 i are hbab 1 i, ahbab 1 i, a 2 hbab 1 i,..., a p 1 hbab 1 i. Since b 1 must lie in one of these cosets, b 1 = a i (bab 1 ) j = a i ba j b 1 for some i and j. Cancelling the b 1 terms, we get e = a i ba j =) b = a i j 2 hai, a contradiction. Thus, 8 a 2 G, hai is normal in G. Now let x be any non-identity element in G and y any element of G not in hxi. Then, by comparing orders and from Theorem 9.6, G = hxi hyi Z p Z p. Corollary. If G is a group of order p 2, where p is a prime, then G is Abelian.

17 9. NORMAL SUBGROUPS AND FACTOR GROUPS 133 Example. We use Theorem 8.3, its corollary, and Theorem 9.6 for the following. If m = n 1 n 2 n k where gcd(n i, n j ) = 1 for i 6= j, then U(m) = U m/n1 (m) U m/n2 (m) U m/nk (m) U(n 1 ) U(n 2 ) U(n k ). We use the = sign for the internal direct product since the elements are all within U(m). U(105) = U(15) U(7) = U 15 (105) U 7 (105) = {1, 16, 31, 46, 61, 76} {1, 8, 22, 29, 43, 64, 71, 92} U(7) U(15) U(105) = U(5 21) = U 5 (105) U 21 (105) = {1, 11, 16, 26, 31, 41, 46, 61, 71, 76, 86, 101} {1, 22, 43, 64} U(21) U(5) U(105) = U(3 5 7) = U 35 (105) U 21 (105) U 15 (105) = {1, 71} {1, 22, 43, 64} {1, 16, 31, 46, 61, 76} U(3) U(5) U(7)

Normal Subgroups and Factor Groups

Normal Subgroups and Factor Groups Normal Subgroups and Factor Groups Subject: Mathematics Course Developer: Harshdeep Singh Department/ College: Assistant Professor, Department of Mathematics, Sri Venkateswara College, University of Delhi

More information

Homework #11 Solutions

Homework #11 Solutions Homework #11 Solutions p 166, #18 We start by counting the elements in D m and D n, respectively, of order 2. If x D m and x 2 then either x is a flip or x is a rotation of order 2. The subgroup of rotations

More information

First Semester Abstract Algebra for Undergraduates

First Semester Abstract Algebra for Undergraduates First Semester Abstract Algebra for Undergraduates Lecture notes by: Khim R Shrestha, Ph. D. Assistant Professor of Mathematics University of Great Falls Great Falls, Montana Contents 1 Introduction to

More information

1.1 Definition. A monoid is a set M together with a map. 1.3 Definition. A monoid is commutative if x y = y x for all x, y M.

1.1 Definition. A monoid is a set M together with a map. 1.3 Definition. A monoid is commutative if x y = y x for all x, y M. 1 Monoids and groups 1.1 Definition. A monoid is a set M together with a map M M M, (x, y) x y such that (i) (x y) z = x (y z) x, y, z M (associativity); (ii) e M such that x e = e x = x for all x M (e

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

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

A while back, we saw that hai with hai = 42 and Z 42 had basically the same structure, and said the groups were isomorphic, in some sense the same.

A while back, we saw that hai with hai = 42 and Z 42 had basically the same structure, and said the groups were isomorphic, in some sense the same. CHAPTER 6 Isomorphisms A while back, we saw that hai with hai = 42 and Z 42 had basically the same structure, and said the groups were isomorphic, in some sense the same. Definition (Group Isomorphism).

More information

MA441: Algebraic Structures I. Lecture 18

MA441: Algebraic Structures I. Lecture 18 MA441: Algebraic Structures I Lecture 18 5 November 2003 1 Review from Lecture 17: Theorem 6.5: Aut(Z/nZ) U(n) For every positive integer n, Aut(Z/nZ) is isomorphic to U(n). The proof used the map T :

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

Basic Definitions: Group, subgroup, order of a group, order of an element, Abelian, center, centralizer, identity, inverse, closed.

Basic Definitions: Group, subgroup, order of a group, order of an element, Abelian, center, centralizer, identity, inverse, closed. Math 546 Review Exam 2 NOTE: An (*) at the end of a line indicates that you will not be asked for the proof of that specific item on the exam But you should still understand the idea and be able to apply

More information

Examples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are

Examples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are Cosets Let H be a subset of the group G. (Usually, H is chosen to be a subgroup of G.) If a G, then we denote by ah the subset {ah h H}, the left coset of H containing a. Similarly, Ha = {ha h H} is the

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

Algebra-I, Fall Solutions to Midterm #1

Algebra-I, Fall Solutions to Midterm #1 Algebra-I, Fall 2018. Solutions to Midterm #1 1. Let G be a group, H, K subgroups of G and a, b G. (a) (6 pts) Suppose that ah = bk. Prove that H = K. Solution: (a) Multiplying both sides by b 1 on the

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

φ(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

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

Assigment 1. 1 a b. 0 1 c A B = (A B) (B A). 3. In each case, determine whether G is a group with the given operation.

Assigment 1. 1 a b. 0 1 c A B = (A B) (B A). 3. In each case, determine whether G is a group with the given operation. 1. Show that the set G = multiplication. Assigment 1 1 a b 0 1 c a, b, c R 0 0 1 is a group under matrix 2. Let U be a set and G = {A A U}. Show that G ia an abelian group under the operation defined by

More information

Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems

Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems Group Theory Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems Groups Definition : A non-empty set ( G,*)

More information

MODEL ANSWERS TO THE FIFTH HOMEWORK

MODEL ANSWERS TO THE FIFTH HOMEWORK MODEL ANSWERS TO THE FIFTH HOMEWORK 1. Chapter 3, Section 5: 1 (a) Yes. Given a and b Z, φ(ab) = [ab] = [a][b] = φ(a)φ(b). This map is clearly surjective but not injective. Indeed the kernel is easily

More information

FROM GROUPS TO GALOIS Amin Witno

FROM GROUPS TO GALOIS Amin Witno WON Series in Discrete Mathematics and Modern Algebra Volume 6 FROM GROUPS TO GALOIS Amin Witno These notes 1 have been prepared for the students at Philadelphia University (Jordan) who are taking the

More information

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary

More information

Group Theory. Hwan Yup Jung. Department of Mathematics Education, Chungbuk National University

Group Theory. Hwan Yup Jung. Department of Mathematics Education, Chungbuk National University Group Theory Hwan Yup Jung Department of Mathematics Education, Chungbuk National University Hwan Yup Jung (CBNU) Group Theory March 1, 2013 1 / 111 Groups Definition A group is a set G with a binary operation

More information

Chapter 5 Groups of permutations (bijections) Basic notation and ideas We study the most general type of groups - groups of permutations

Chapter 5 Groups of permutations (bijections) Basic notation and ideas We study the most general type of groups - groups of permutations Chapter 5 Groups of permutations (bijections) Basic notation and ideas We study the most general type of groups - groups of permutations (bijections). Definition A bijection from a set A to itself is also

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

We begin with some definitions which apply to sets in general, not just groups.

We begin with some definitions which apply to sets in general, not just groups. Chapter 8 Cosets In this chapter, we develop new tools which will allow us to extend to every finite group some of the results we already know for cyclic groups. More specifically, we will be able to generalize

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

Answers to Final Exam

Answers to Final Exam Answers to Final Exam MA441: Algebraic Structures I 20 December 2003 1) Definitions (20 points) 1. Given a subgroup H G, define the quotient group G/H. (Describe the set and the group operation.) The quotient

More information

Math 430 Final Exam, Fall 2008

Math 430 Final Exam, Fall 2008 IIT Dept. Applied Mathematics, December 9, 2008 1 PRINT Last name: Signature: First name: Student ID: Math 430 Final Exam, Fall 2008 Grades should be posted Friday 12/12. Have a good break, and don t forget

More information

Written Homework # 2 Solution

Written Homework # 2 Solution Math 516 Fall 2006 Radford Written Homework # 2 Solution 10/09/06 Let G be a non-empty set with binary operation. For non-empty subsets S, T G we define the product of the sets S and T by If S = {s} is

More information

Math 430 Exam 2, Fall 2008

Math 430 Exam 2, Fall 2008 Do not distribute. IIT Dept. Applied Mathematics, February 16, 2009 1 PRINT Last name: Signature: First name: Student ID: Math 430 Exam 2, Fall 2008 These theorems may be cited at any time during the test

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

The Class Equation X = Gx. x X/G

The Class Equation X = Gx. x X/G The Class Equation 9-9-2012 If X is a G-set, X is partitioned by the G-orbits. So if X is finite, X = x X/G ( x X/G means you should take one representative x from each orbit, and sum over the set of representatives.

More information

Algebra I: Final 2012 June 22, 2012

Algebra I: Final 2012 June 22, 2012 1 Algebra I: Final 2012 June 22, 2012 Quote the following when necessary. A. Subgroup H of a group G: H G = H G, xy H and x 1 H for all x, y H. B. Order of an Element: Let g be an element of a group G.

More information

To hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G.

To hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G. Homework #6. Due Thursday, October 14th Reading: For this homework assignment: Sections 3.3 and 3.4 (up to page 167) Before the class next Thursday: Sections 3.5 and 3.4 (pp. 168-171). Also review the

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

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

Introduction to Groups

Introduction to Groups Introduction to Groups Hong-Jian Lai August 2000 1. Basic Concepts and Facts (1.1) A semigroup is an ordered pair (G, ) where G is a nonempty set and is a binary operation on G satisfying: (G1) a (b c)

More information

Automorphism Groups Definition. An automorphism of a group G is an isomorphism G G. The set of automorphisms of G is denoted Aut G.

Automorphism Groups Definition. An automorphism of a group G is an isomorphism G G. The set of automorphisms of G is denoted Aut G. Automorphism Groups 9-9-2012 Definition. An automorphism of a group G is an isomorphism G G. The set of automorphisms of G is denoted Aut G. Example. The identity map id : G G is an automorphism. Example.

More information

Section III.15. Factor-Group Computations and Simple Groups

Section III.15. Factor-Group Computations and Simple Groups III.15 Factor-Group Computations 1 Section III.15. Factor-Group Computations and Simple Groups Note. In this section, we try to extract information about a group G by considering properties of the factor

More information

INTRODUCTION TO THE GROUP THEORY

INTRODUCTION TO THE GROUP THEORY Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc e-mail: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher

More information

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY HANDOUT ABSTRACT ALGEBRA MUSTHOFA DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY 2012 BINARY OPERATION We are all familiar with addition and multiplication of two numbers. Both

More information

CHAPTER 14. Ideals and Factor Rings

CHAPTER 14. Ideals and Factor Rings CHAPTER 14 Ideals and Factor Rings Ideals Definition (Ideal). A subring A of a ring R is called a (two-sided) ideal of R if for every r 2 R and every a 2 A, ra 2 A and ar 2 A. Note. (1) A absorbs elements

More information

M3P10: GROUP THEORY LECTURES BY DR. JOHN BRITNELL; NOTES BY ALEKSANDER HORAWA

M3P10: GROUP THEORY LECTURES BY DR. JOHN BRITNELL; NOTES BY ALEKSANDER HORAWA M3P10: GROUP THEORY LECTURES BY DR. JOHN BRITNELL; NOTES BY ALEKSANDER HORAWA These are notes from the course M3P10: Group Theory taught by Dr. John Britnell, in Fall 2015 at Imperial College London. They

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

Section 10: Counting the Elements of a Finite Group

Section 10: Counting the Elements of a Finite Group Section 10: Counting the Elements of a Finite Group Let G be a group and H a subgroup. Because the right cosets are the family of equivalence classes with respect to an equivalence relation on G, it follows

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

Foundations of Cryptography

Foundations of Cryptography Foundations of Cryptography Ville Junnila viljun@utu.fi Department of Mathematics and Statistics University of Turku 2015 Ville Junnila viljun@utu.fi Lecture 7 1 of 18 Cosets Definition 2.12 Let G be a

More information

Contents. Applied Algebra MAT Group Definitions Some Special Subgroups Conjugacy Conjugacy in S n...

Contents. Applied Algebra MAT Group Definitions Some Special Subgroups Conjugacy Conjugacy in S n... Applied Algebra MAT 340 Lecturer: Mark McConnell Scribe: Kiran Vodrahalli Contents 1 Group Definitions 2 1.1 Some Special Subgroups............................. 3 1.2 Conjugacy.....................................

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

Teddy Einstein Math 4320

Teddy Einstein Math 4320 Teddy Einstein Math 4320 HW4 Solutions Problem 1: 2.92 An automorphism of a group G is an isomorphism G G. i. Prove that Aut G is a group under composition. Proof. Let f, g Aut G. Then f g is a bijective

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

MODEL ANSWERS TO HWK #4. ϕ(ab) = [ab] = [a][b]

MODEL ANSWERS TO HWK #4. ϕ(ab) = [ab] = [a][b] MODEL ANSWERS TO HWK #4 1. (i) Yes. Given a and b Z, ϕ(ab) = [ab] = [a][b] = ϕ(a)ϕ(b). This map is clearly surjective but not injective. Indeed the kernel is easily seen to be nz. (ii) No. Suppose that

More information

Physics 251 Solution Set 1 Spring 2017

Physics 251 Solution Set 1 Spring 2017 Physics 5 Solution Set Spring 07. Consider the set R consisting of pairs of real numbers. For (x,y) R, define scalar multiplication by: c(x,y) (cx,cy) for any real number c, and define vector addition

More information

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3... Algebra Exam Fall 2006 Alexander J. Wertheim Last Updated: October 26, 2017 Contents 1 Groups 2 1.1 Problem 1..................................... 2 1.2 Problem 2..................................... 2

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

LECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS

LECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS LECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS Recall Lagrange s theorem says that for any finite group G, if H G, then H divides G. In these lectures we will be interested in establishing certain

More information

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Selected exercises from Abstract Algebra by Dummit Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 4.1 Exercise 1. Let G act on the set A. Prove that if a, b A b = ga for some g G, then G b = gg

More information

Algebraic Structures II

Algebraic Structures II MAS 305 Algebraic Structures II Notes 9 Autumn 2006 Composition series soluble groups Definition A normal subgroup N of a group G is called a maximal normal subgroup of G if (a) N G; (b) whenever N M 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

2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.

2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a. Chapter 2 Groups Groups are the central objects of algebra. In later chapters we will define rings and modules and see that they are special cases of groups. Also ring homomorphisms and module homomorphisms

More information

Algebra Exercises in group theory

Algebra Exercises in group theory Algebra 3 2010 Exercises in group theory February 2010 Exercise 1*: Discuss the Exercises in the sections 1.1-1.3 in Chapter I of the notes. Exercise 2: Show that an infinite group G has to contain a non-trivial

More information

Normal Subgroups and Quotient Groups

Normal Subgroups and Quotient Groups Normal Subgroups and Quotient Groups 3-20-2014 A subgroup H < G is normal if ghg 1 H for all g G. Notation: H G. Every subgroup of an abelian group is normal. Every subgroup of index 2 is normal. If H

More information

( ) 3 = ab 3 a!1. ( ) 3 = aba!1 a ( ) = 4 " 5 3 " 4 = ( )! 2 3 ( ) =! 5 4. Math 546 Problem Set 15

( ) 3 = ab 3 a!1. ( ) 3 = aba!1 a ( ) = 4  5 3  4 = ( )! 2 3 ( ) =! 5 4. Math 546 Problem Set 15 Math 546 Problem Set 15 1. Let G be a finite group. (a). Suppose that H is a subgroup of G and o(h) = 4. Suppose that K is a subgroup of G and o(k) = 5. What is H! K (and why)? Solution: H! K = {e} since

More information

Groups. Chapter 1. If ab = ba for all a, b G we call the group commutative.

Groups. Chapter 1. If ab = ba for all a, b G we call the group commutative. Chapter 1 Groups A group G is a set of objects { a, b, c, } (not necessarily countable) together with a binary operation which associates with any ordered pair of elements a, b in G a third element ab

More information

Modern Algebra (MA 521) Synopsis of lectures July-Nov 2015 semester, IIT Guwahati

Modern Algebra (MA 521) Synopsis of lectures July-Nov 2015 semester, IIT Guwahati Modern Algebra (MA 521) Synopsis of lectures July-Nov 2015 semester, IIT Guwahati Shyamashree Upadhyay Contents 1 Lecture 1 4 1.1 Properties of Integers....................... 4 1.2 Sets, relations and

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

MAT1100HF ALGEBRA: ASSIGNMENT II. Contents 1. Problem Problem Problem Problem Problem Problem

MAT1100HF ALGEBRA: ASSIGNMENT II. Contents 1. Problem Problem Problem Problem Problem Problem MAT1100HF ALEBRA: ASSINMENT II J.A. MRACEK 998055704 DEPARTMENT OF MATHEMATICS UNIVERSITY OF TORONTO Contents 1. Problem 1 1 2. Problem 2 2 3. Problem 3 2 4. Problem 4 3 5. Problem 5 3 6. Problem 6 3 7.

More information

Cosets, factor groups, direct products, homomorphisms, isomorphisms

Cosets, factor groups, direct products, homomorphisms, isomorphisms Cosets, factor groups, direct products, homomorphisms, isomorphisms Sergei Silvestrov Spring term 2011, Lecture 11 Contents of the lecture Cosets and the theorem of Lagrange. Direct products and finitely

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

Math 345 Sp 07 Day 7. b. Prove that the image of a homomorphism is a subring.

Math 345 Sp 07 Day 7. b. Prove that the image of a homomorphism is a subring. Math 345 Sp 07 Day 7 1. Last time we proved: a. Prove that the kernel of a homomorphism is a subring. b. Prove that the image of a homomorphism is a subring. c. Let R and S be rings. Suppose R and S are

More information

[x, y] =x 1 y 1 xy. Definition 7.1 Let A and B be subgroups of a group G. Define the commutator. [A, B] = [a, b] a A, b B,

[x, y] =x 1 y 1 xy. Definition 7.1 Let A and B be subgroups of a group G. Define the commutator. [A, B] = [a, b] a A, b B, Chapter 7 Nilpotent Groups Recall the commutator is given by [x, y] =x 1 y 1 xy. Definition 7.1 Let A and B be subgroups of a group G. Define the commutator subgroup [A, B] by [A, B] = [a, b] a A, b B,

More information

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV. Glossary 1 Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.23 Abelian Group. A group G, (or just G for short) is

More information

Algebra: Groups. Group Theory a. Examples of Groups. groups. The inverse of a is simply a, which exists.

Algebra: Groups. Group Theory a. Examples of Groups. groups. The inverse of a is simply a, which exists. Group Theory a Let G be a set and be a binary operation on G. (G, ) is called a group if it satisfies the following. 1. For all a, b G, a b G (closure). 2. For all a, b, c G, a (b c) = (a b) c (associativity).

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

Solutions of exercise sheet 4

Solutions of exercise sheet 4 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 4 The content of the marked exercises (*) should be known for the exam. 1. Prove the following two properties of groups: 1. Every

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

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

MATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory.

MATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory. MATH 101: ALGEBRA I WORKSHEET, DAY #3 Fill in the blanks as we finish our first pass on prerequisites of group theory 1 Subgroups, cosets Let G be a group Recall that a subgroup H G is a subset that is

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

Math 450 Fall 2000 Solutions to selected problems. Proof. Let i mod n = k and j mod n = l. Then we need to show that. i = qn + k and j = sn + l.

Math 450 Fall 2000 Solutions to selected problems. Proof. Let i mod n = k and j mod n = l. Then we need to show that. i = qn + k and j = sn + l. Math 450 Fall 2000 Solutions to selected problems Page 21. 14. Suppose that n is a fixed positive integer, greater than 1. For any integers i and j show that i mod n + j mod n =(i + j) mod n. Proof. Let

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

Solution Outlines for Chapter 6

Solution Outlines for Chapter 6 Solution Outlines for Chapter 6 # 1: Find an isomorphism from the group of integers under addition to the group of even integers under addition. Let φ : Z 2Z be defined by x x + x 2x. Then φ(x + y) 2(x

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

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

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

MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN

MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN NAME: MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN 1. INSTRUCTIONS (1) Timing: You have 80 minutes for this midterm. (2) Partial Credit will be awarded. Please show your work and provide full solutions,

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

x 2 = xn xn = x 2 N = N = 0

x 2 = xn xn = x 2 N = N = 0 Potpourri. Spring 2010 Problem 2 Let G be a finite group with commutator subgroup G. Let N be the subgroup of G generated by the set {x 2 : x G}. Then N is a normal subgroup of G and N contains G. Proof.

More information

Cosets and Normal Subgroups

Cosets and Normal Subgroups Cosets and Normal Subgroups (Last Updated: November 3, 2017) These notes are derived primarily from Abstract Algebra, Theory and Applications by Thomas Judson (16ed). Most of this material is drawn from

More information

Fundamental Theorem of Finite Abelian Groups

Fundamental Theorem of Finite Abelian Groups Monica Agana Boise State University September 1, 2015 Theorem (Fundamental Theorem of Finite Abelian Groups) Every finite Abelian group is a direct product of cyclic groups of prime-power order. The number

More information

3.3 Equivalence Relations and Partitions on Groups

3.3 Equivalence Relations and Partitions on Groups 84 Chapter 3. Groups 3.3 Equivalence Relations and Partitions on Groups Definition 3.3.1. Let (G, ) be a group and let H be a subgroup of G. Let H be the relation on G defined by a H b if and only if ab

More information

Math 4320, Spring 2011

Math 4320, Spring 2011 Math 4320, Spring 2011 Prelim 2 with solutions 1. For n =16, 17, 18, 19 or 20, express Z n (A product can have one or more factors.) as a product of cyclic groups. Solution. For n = 16, G = Z n = {[1],

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

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Math 2070BC Term 2 Weeks 1 13 Lecture Notes Math 2070BC 2017 18 Term 2 Weeks 1 13 Lecture Notes Keywords: group operation multiplication associative identity element inverse commutative abelian group Special Linear Group order infinite order cyclic

More information

ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY

ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY John A. Beachy Northern Illinois University 2000 ii J.A.Beachy This is a supplement to Abstract Algebra, Second Edition by John A. Beachy and

More information

MATH 430 PART 2: GROUPS AND SUBGROUPS

MATH 430 PART 2: GROUPS AND SUBGROUPS MATH 430 PART 2: GROUPS AND SUBGROUPS Last class, we encountered the structure D 3 where the set was motions which preserve an equilateral triangle and the operation was function composition. We determined

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

Problem Set Mash 1. a2 b 2 0 c 2. and. a1 a

Problem Set Mash 1. a2 b 2 0 c 2. and. a1 a Problem Set Mash 1 Section 1.2 15. Find a set of generators and relations for Z/nZ. h 1 1 n 0i Z/nZ. Section 1.4 a b 10. Let G 0 c a, b, c 2 R,a6 0,c6 0. a1 b (a) Compute the product of 1 a2 b and 2 0

More information

Math 430 Exam 1, Fall 2006

Math 430 Exam 1, Fall 2006 c IIT Dept. Applied Mathematics, October 21, 2008 1 PRINT Last name: Signature: First name: Student ID: Math 430 Exam 1, Fall 2006 These theorems may be cited at any time during the test by stating By

More information

Group Theory and Applications MST30010

Group Theory and Applications MST30010 Group Theory and Applications MST30010 ii Contents 1 Material from last year 1 2 Normal subgroups and quotient groups 3 3 Morphims 7 4 Subgroups of quotient groups 13 5 Group actions 15 5.1 Size of orbits...........................

More information