Cosets and Normal Subgroups

Size: px
Start display at page:

Download "Cosets and Normal Subgroups"

Transcription

1 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 Chapters 6, and Cosets Cosets are arguably one of the strangest structures that students encounter in abstract algebra, along with factor groups, which are strongly related. Here s a motivating question for this section: if H is a subgroup of a group G, then how are H and G related? A partial answer to this is contained in Lagrange s Theorem. Definition. Let G be a group and H a subgroup of G. A left coset of H with representative in G is the set gh = {gh : h H}. A right coset of H with representative in G is the set Hg = {hg : h H}. Disclaimer/Warning: For abelian groups there is no difference between left and right cosets. In additive notation, we write g + H = {g + h : h H}. Note that additive groups are by definition abelian and so g + H = H + g. Disclaimer/Warning: Cosets are NOT subgroups in general! Example. Let H = 3 = {0, 3} in Z 6. The cosets are 0 + H = {0, 3} = 3 + H 1 + H = {1, 4} = 4 + H 2 + H = {2, 5} = 5 + H. Example. Let K = {(1), (1 2)} in S 3. The left cosets are (1)K = (1 2)K = {(1), (1 2)} (1 3)K = (1 2 3)K = {(1 3), (1 2 3)} (2 3)K = (1 3 2)K = {(2 3), (1 3 2)}

2 The right cosets are K(1) = K(1 2) = {(1), (1 2)} K(1 3) = K(1 3 2) = {(1 3), (1 3 2)} K(2 3) = K(1 2 3) = {(2 3), (1 2 3)} Note that, except for the coset of the elements in H, the left and right cosets are different. Example. Let L = {(1), (1 2 3), (1 3 2)} in S 3. The left cosets are The right cosets are (1)L = (1 2 3)L = (1 3 2)L = L (1 2)L = (1 3)L = (2 3)L = {(1 2), (1 3), (2 3)} L(1) = L(1 2 3) = L(1 3 2) L(1 2) = L(1 3) = L(2 3) = {(1 2), (1 3), (2 3)} In this case, the left and right cosets are the same. Lemma 1. Let H be a subgroup of G and suppose g 1, g 2 G. The following are equivalent. (1) g 1 H g 2 H (2) g 1 H = g 2 H (3) Hg1 1 = Hg2 1 (4) g 2 g 1 H (5) g 1 1 g 2 H. Proof. (1) (2) Assume g 1 H g 2 H. We claim the opposite inclusion holds. Let g 2 h g 2 H for some h H. Since g 1 g 1 H g 2 H, then g 1 = g 2 h for some h. But then g 2 = g 1 (h ) 1 and so g 2 h = g 1 (h ) 1 h = g 1 ((h ) 1 h) g 1 H. (2) (3) Assume g 1 H = g 2 H. Let hg1 1 Hg1 1 with h H. Note that g 1 g 1 H = g 2 H, so g 1 = g 2 h for some h H. Then g1 1 = (h ) 1 g2 1 and so hg 1 1 = h((h ) 1 g 1 2 ) = (h(h ) 1 )g 1 2 Hg 1 2. Thus, Hg1 1 Hg2 1. A similar proof shows the reverse inclusion and the result follows. (3) (4) Assume Hg1 1 = Hg2 1. Then g 1 2 Hg2 1 = Hg1 1 so g2 1 = hg1 1 for some h H. Thus, g 2 = g 1 h 1 g 1 H. (4) (5) Assume g 2 g 1 H. Then g 2 = g 1 h for some h H. Thus, g 1 1 g 2 = h H. (5) (1) Assume g1 1 g 2 H. Let g 1 h g 1 H for some h H. By our assumption, g1 1 g 2 = h for some h H. Thus, g 1 = g 2 (h ) 1 and g 1 h = g 2 ((h ) 1 h) g 2 H. Therefore g 1 H g 2 H.

3 Disclaimer/Warning: Remember when we proved that the equivalence classes under some equivalence relation partition the set. This is when we need that result. Theorem 2. Let H be a subgroup of a group G. The left cosets of H in G partition G. Proof. Define an equivalence relation on G by g 1 g 2 if (and only if) g 2 g 1 H. Clearly is reflexive because g 1 = g 1 e g 1 H, so g 1 g 1. Suppose g 1 g 2. Then g 2 g 1 H. By the previous lemma, this implies g 1 H = g 2 H and so g 1 = g 1 e g 1 H = g 2 H. Thus, g 2 g 1 and so is reflexive. Finally, suppose g 1 g 2 and g 2 g 3. Then g 2 g 1 H and g 3 g 2 H. Again using the above lemma, g 1 H = g 2 H and g 2 H = g 3 H, so g 1 H = g 3 H. Thus, g 3 g 1 H so g 1 g 3. The equivalence classes under this relation are the cosets and therefore a partition of G. Note that the above result holds if we replace left with right. One could prove it similarly or apply the lemma (exercise). Definition. Let G be a group and H a subgroup. The index of H in G is the number of left cosets in G, denoted [H : G]. We will show momentarily that the number of left cosets is equal to the number of right cosets. Example. In the previous examples, we have [Z 6 : H] = 3, [S 3 : K] = 3, and [S 3 : L] = 2. Theorem 3. Let H be a subgroup of G. The number of left cosets of H in G is the same as the number of right cosets. Proof. Denote by L H the set of left cosets of H in G and by R H the set of right cosets of H in G. We will establish a bijection between these sets, which shows that L H = R H. Define a map φ : L H R H gh Hg 1. First we need to show that this map is well-defined. Suppose g 1 H = g 2 H. By the lemma, φ(g 1 H) = Hg 1 1 = Hg 1 2 = φ(g 2 H). Thus, φ is well-defined. Suppose φ(g 1 H) = φ(g 2 H), then Hg 1 1 = Hg 1 2. Again, the lemma implies g 1H = g 2 H, so φ is injective. Let Hg R H. Then φ(g 1 H) = H(g 1 ) 1 = Hg, so φ is surjective. Thus, φ is bijective and so the result holds. 2. Lagrange s Theorem The next lemma proves a fact we observed in the examples.

4 Lemma 4. Let H be a subgroup of G. For all g G, H = gh. Proof. Fix g G and define a map φ : H gh h gh It is clear that φ is well-defined. We will show that it is bijective. Suppose φ(h) = φ(h ). Then gh = gh and so by left cancelation, h = h. Thus φ is injective. Next let gh gh, then φ(h) = gh so the map is surjective. Thus, φ is a bijection and so H = gh. The proof of Lagrange s Theorem is very simple but only because we ve done a sizable amount of legwork already. Theorem 5 (Lagrange s Theorem). Let G be a finite group and H a subgroup of G. G / H = [G : H]. In particular, the order of H divides the order of G. Then Proof. The group G is partitioned into [G : H] distinct left cosets. Each coset has exactly H elements by the previous lemma. Hence, G = H [G : H]. We ll now examine a host of consequence of Lagrange s Theorem. Corollary 6. Suppose G is a finite group and g G. Then (1) g G. (2) g G = e. Proof. (1) Note that g = g. Thus, we simply apply Lagrange s Theorem with H = g. (2) Set d = G. Then g = k d by part (1). Thus, d = kl for some integer l. Then g d = g kl = (g k ) l = e l = e. Corollary 7. Let G be a group with G = p, p prime. Then G is cyclic and any g G, g e, is a generator. Proof. Let g G, g e. Then g G by the previous corollary, so g = 1 or p. But g e so g > 1, so g = p. Thus, g = G. Let s take a moment to consider what we have just proved. The last corollary says that every group of prime power order is cyclic. Thus, if G is a group of order p, p prime, then G is essentially the same as Z p. We will formalize this in coming sections. Corollary 8. Let H, K be subgroups of a finite group G such that K H G. Then [G : K] = [G : H][H : K].

5 Proof. We have by Lagrange s Theorem, [G : K] = G K = G H H = [G : H][H : K]. K The converse of Lagrange s Theorem is false (in general). If n G, this does not imply that there exists a subgroup H of G with H = n. For example, A 4 = 12 but A 4 (the alternating group on 4 letters) has no subgroup of order 6. Now for a fun little diversion into number theory. Definition. The Euler φ-function is defined as φ : N N with φ(1) = 1 and φ(n) = {m N : 1 m < n and gcd(m, n) = 1}. This next theorem formalizes something we discussed much earlier. Theorem 9. Let n N. (1) U(n) = φ(n). (2) (Euler s Theorem) Let a, n be integers such that n > 0 and gcd(a, n) = 1. Then a φ(n) 1 mod n. (3) (Fermat s Little Theorem) Let p be any prime and suppose p a. Then a p 1 1 mod p. Furthermore, for any b Z, b p b mod p. Proof. (1) By definition, U(n) is the set of integers m, 1 m < n that are invertible (under multiplication) mod n. We need only show that any such number is relatively prime to n. Suppose mk 1 mod n for some integer k. Then mk = nl + 1, or mk + n( l) = 1 for some integer l. Thus, by the Euclidean Algorithm, gcd(m, n) = 1. (2) Since U(n) = φ(n), then a φ(n) = 1 for all a U(n). This is equivalent to a φ(n) 1 mod n. (3) Apply Euler s Theorem with n = p. 3. Normal subgroups and factor groups Disclaimer/Warning: We are very much deviating from the structure of the book at this point. I make no apologies. On one hand, normality encapsulates the idea of left and right cosets being the same, but more importantly they lead to the idea of factor groups. The motivation for this is simply that subgroups do not give a full sense of the structure of the groups. The factor groups give the complementary hidden structure. Definition. A subgroup N of a group G is normal if gn = Ng for all g G.

6 Example. (1) If G is abelian, then every subgroup is normal. (2) K = {(1), (1 2)} in S 3 is not normal. (3) L = {(1), (1 2 3), (1 3 2)} is normal. Theorem 10. Let G be a group and N a subgroup. The following are equivalent. (1) N is normal. (2) For all g G, gng 1 N. (3) For all g G, gng 1 = N. Proof. (1) (2) Assume N is normal and fix g G. Let n N, then by the definition of normal, gn = Ng so gn = n g for some n N. Thus, gng 1 = (n g)g 1 = n (gg 1 ) = n N, so gng 1 N. (2) (3) Assume gng 1 N for all g G. We claim the opposite inclusion holds (for all g G). Let n N and fix g G. By our assumption, g 1 ng N (since it holds for all g G). Thus, g 1 ng = n for some n N, so n = gn g 1 gng 1. Therefore, N gng 1. (3) (1) Assume gng 1 = N for all g G. We will show gn Ng. The proof that Ng gn is similar. Let g G and n N. Then gng 1 = n for some n N. Thus, gn = n g Ng. Let N be a normal subgroup of a group G. We define a binary operation on the cosets by (an)(bn) = (ab)n. Before we proceed, we should verify that this operation is actually well-defined. Said another way, we must verify that the product is independent of choice of coset representative. Let an = cn and bn = dn. We claim (an)(bn) = (cn)(dn). Since c an and d bn, then there exists n 1, n 2 N such that c = an 1 and d = bn 2. Thus (cd)n = (an 1 )(bn 2 )N = (an 1 )b(n 2 N) = (an 1 )(bn) = (an 1 )(Nb) = a(n 1 N)b = anb = (ab)n. Note that bn = Nb by normality. Disclaimer/Warning: The operation for additive cosets is equivalent, (a + N) + (b + N) = (a + b) + N. We denote by G/N the cosets of N in G. Theorem 11. Let N be a normal subgroup of G. The cosets of N in G form a group G/N (with the operation above) of order [G : N]. Proof. We have already shown that the operation is binary. We verify the group axioms. Throughout, let an, bn, cn G/N. The operation is associative since (an)[(bn)(cn)] = (an)(bcn) = (a(bc))n = ((ab)c)n = (abn)(cn) = [(an)(bn)](cn).

7 The identity element in G/N is just the coset of the identity in G. (en)(an) = (ea)n = an. Finally, the inverse of an is just the coset of a 1, (an)(a 1 N) = (aa 1 )N = en. Disclaimer/Warning: We typically denote the identity element en simply by N. Definition. Let G be a group and N a normal subgroup. The group G/N is the factor group of G by N. Example. Let G = S 3 and N = {(1), (1 2 3), (1 3 2)}. (Note that N = A 3 ). Then N is normal in G (we have already verified this) and the cosets are N and (1 2)N. The Cayley Table is given by N (1 2)N N N (1 2)N (1 2)N (1 2)N N Observe that this table is equivalent to that of Z 2. Example. Consider the subgroup H = 3Z in Z. There are 3 cosets: 0 + H, 1 + H, 2 + H. Write out the Cayley Table for Z/H and observe how it is equivalent to that of Z 3. Example. Consider D n generated by r, s with r n = id, s 2 = id, srs = r 1. Let R n be the subgroup of rotational symmetries. Then R n is normal in D n because srs = r 1 R n. Note that D n /R n = [D n : R n ] = D n / R n = 2n/n = 2. Thus, the Cayley Table is equivalent to Z Homomorphisms Our next goal will be to explain how normal subgroups and factor groups arise naturally in the study of groups. In particular, a normal subgroups can be thought of as the kernel, or left over, part of a map between two groups. Definition. A homomorphism is a function φ : (G, ) (H, ) between groups such that φ(g 1 g 2 ) = φ(g 1 ) φ(g 2 ) for all g 1, g 2 G. The set im φ = {φ(g) : g G} is called the image of φ.

8 One should think of a homomorphism as a structure preserving map, that is, it preserves the structure of the groups G and H. In fact, whenever you see the word morphism, this is generally what is meant (though not always for groups). Example. (1) φ : GL 2 (R) R given by φ(m) = det(m) is a homomorphism. Note that in this case φ is surjective but not injective. (2) φ : M 2 (R) R given by φ(m) = det(m) is not a homomorphism because det(m + N) det(m) + det(n) in general. (3) φ : Z 2 Z 4 by φ(0) = 0 and φ(1) = 2. This map is injective but not surjective. (4) Choose g G, G a group, and define φ : Z G by φ(n) = g n. Then φ is a homomorphism and im φ = g. (5) Let C = ({1, 1}, ). Define φ : S n C by σ(σ) = sgn σ where sgn σ = 1 if σ is even and 1 is σ is odd. (We say sgn σ is the sign of σ). (6) Let G be a group and N a normal subgroup. The map φ : G G/N given by φ(g) = gn. This map is surjective but not injective. (This map is known as the quotient map. Proposition 12. Let φ : G H be a homomorphism of groups. (1) φ(e G ) = e H. (2) For any g G, φ(g 1 ) = g 1. (3) If K is a subgroup of G, then φ(k) is a subgroup of H. (4) If L is a subgroup of H, then φ 1 (L) = {g G : φ(g) L} is a subgroup of G. Furthermore, if L is normal in H then φ 1 (L) is normal in G. Proof. (1) Let g G, then φ(g)e H = φ(g) = φ(ge G ) = φ(g)φ(e G ). By left cancellation, e H = φ(e G ). (2) Let g G, then by (1), e H = φ(gg 1 ) = φ(g)φ(g 1 ). By uniqueness of the inverse, φ(g 1 ) = φ(g) 1. (3) Let K be a subgroup of G. Since e G K, the K. Let a, b φ(k), so there exists k 1, k 2 K such that φ(k 1 ) = a and φ(k 2 ) = b. Then ab 1 = φ(k 1 )φ(k 2 ) 1 K because K is a subgroup of G. Thus, φ(k) is a subgroup of H. (4) Let L be a subgroup of H. Since e G φ 1 (L), then φ 1 (L). Choose c, d φ 1 (L), so φ(c), φ(d) L. Then by (2) φ(cd 1 ) = φ(c)φ(d 1 ) = φ(c)φ(d) 1 L because L is a subgroup of H. Thus, cd 1 φ 1 (L) and so φ 1 (L) is a subgroup of G.

9 Finally, suppose L is normal in H. Let g H. We claim gφ 1 (L)g 1 φ 1 (L). Let a φ 1 (L), then φ(gag 1 ) = φ(g)φ(a)φ(g) 1 L because L is normal. Thus, gag 1 φ 1 (L) for all a φ 1 (L), so φ 1 (L) is normal in G. Definition. The kernel of a homomorphism φ : G H is the set ker φ = {g G : φ(g) = e}. Theorem 13. Let φ : G H be a group homomorphism. Then ker φ is a normal subgroup of G. Proof. By the previous proposition, e ker φ and so ker φ. Let g 1, g 2 ker φ. Then Thus, ker φ is a subgroup. φ(g 1 g 1 2 ) = φ(g 1)φ(g 2 ) 1 = ee 1 = e. Next we claim ker φ is normal. Let g G and k ker φ. Then φ(gkg 1 ) = φ(g)φ(k)φ(g) 1 = φ(g)eφ(g) 1 = e. Thus, g ker φg 1 ker φ and so ker φ is normal. Example. (1) φ : GL 2 (R) R given by φ(m) = det(m). Then ker φ = SL 2 (R). (2) φ : Z 2 Z 4 by φ(0) = 0 and φ(1) = 2. We can check directly that ker φ = {0, 2}. (3) Choose g G, G a group, and define φ : Z G by φ(n) = g n. If g = then ker φ = {0}. If g = k, then ker φ = kz. (4) Let φ : S n C by σ(σ) = sgn σ. Then ker φ = A n. (5) Let G be a group and N a normal subgroup. The map φ : G G/N given by φ(g) = gn has ker φ = N. 5. Isomorphisms Definition. Two groups (G, ) and (H, ) are said to be isomorphic if there exists a bijective homomorphism φ : G H. The map φ in this case is called an isomorphism. Example. (1) Let H be a cyclic group of order 3 generated by h (so H = {e, h, h 2 }). The map φ : Z 3 H is an isomorphism. Note that we have already verified that this map is an isomorphism, we need only verify that it is injective and surjective, but this is an easy exercise in this case. (2) The groups D 3 and S 3 are isomorphic. This is not difficult to see by comparing the Cayley Tables of the two groups. Theorem 14. Let φ : G H be an isomorphism of groups. (1) φ 1 : H G is an isomorphism.

10 (2) G = H. (3) If G abelian, then H is abelian. (4) If G is cyclic, then H is cyclic. (5) If G has a subgroup of order n, then H has a subgroup of order n. Proof. (1) By standard results on functions, φ 1 exists and is bijective (see the book s introductory chapter). We need only verify that it is a homomorphism, but this is easy. Since φ(ab) = φ(a)φ(b) for all a, b G, then φ 1 (ab) = φ 1 (a)φ 1 (b) for all a, b G. (2) This follows because φ is bijective. (3) Assume G is abelian. Let h 1, h 2 H, then there exist (unique) elements g 1, g 2 G such that φ(g 1 ) = h 1 and φ(g 2 ) = h 2. Then h 1 h 2 = φ(g 1 )φ(g 2 ) = φ(g 1 g 2 ) = φ(g 2 g 1 ) = φ(g 2 )φ(g 1 ) = h 2 h 1. Thus, H is abelian. (4) Exercise. (5) Let K be a subgroup of G of order n. Then φ(k) is a subgroup of H because φ is a homomorphism. Moreover, φ(k) = n because φ is bijective. Proposition 15. A surjective group homomorphism φ : G H is an isomorphism if and only if ker φ = {e H }. Proof. Assume φ is an isomorphism. Because it is a homomorphism, e H ker φ. Because it is 1-1, then ker φ = {e H }. Assume ker φ = {e H }. We claim φ is 1-1. Suppose φ(g 1 ) = φ(g 2 ) for some g 1, g 2 G. Then e = φ(g 1 )φ(g 2 ) 1 = φ(g 1 g 1 2 ). Thus, by our assumption, g 1g 1 2 = e so g 1 = g 2. It follows that G is 1-1 and thus an isomorphism. The next theorem may be regarded as a classification of all cyclic groups (up to isomorphism). Theorem 16. Let G be a cyclic group with generator a G. (1) If a =, then G = Z. (2) If a = n <, then G = Z n. Proof. Define a map φ : Z G by φ(n) = a n. Note that we have already verified that φ is a homomorphism. We verify in (1) that φ is bijective and leave (2) as an exercise. It is clear that φ is surjective. We will show that it is injective and thus an isomorphism.. Let k, l Z such that φ(k) = φ(l). Then a k = a l and so a k l = e. Since a =, this implies k l = 0, so k = l. Thus, φ is injective and the result follows.

11 Corollary 17. If G = p, p prime, then G = Z p. Proof. Let a G, a e. Then by Lagrange s Theorem, a p. Since a 1 then a = p. Thus, G = a. By the previous theorem, G = Z p. Let G be a group and for each g G define a map λ g : G G a ga. Exercise. Show that λ g is an isomorphism and hence a permutation of G. Theorem 18 (Cayley s Theorem). Every group is isomorphic to a group of permutations. Proof. Exercise. See below. Exercise. Let G be a group and G = {λ g : g G}. Define a map Φ : G G g λ g. Show that Φ is an isomorphism. 6. Direct products You have already been introduced to one type of product group, the external direct product. Recall that if (G, ) and (H, ) are groups, then G H = {(g, h) : g G, h H} is a group under the operation below, (g 1, h 1 ) (g 2, h 2 ) = (g 1 g 2, h 1 h 2 ) for all g 1, g 2 G, h 1, h 2 H. Recall that if G = p, p prime, then G = Z p. Here is a related result. Proposition 19. Let m, n be positive integers, then Z m Z n = Zmn if and only if gcd(m, n) = 1. Proof. Exercise. Definition. If G is a group and A, B subgroups of G such that G = A B, then G is said to be the external direct product of A and B. Example. The cyclic group Z 6 has subgroups A = 2 and B = 3. Note that 2 = Z 2 and 3 = Z 2. By the above proposition, Z 6 = Z2 Z 3. Thus, Z 6 is the external direct product of A and B.

12 Now we introduce a new type of subgroup product. For a group G with subgroups H, N, we define the set HN = {hn : h H, n N}. Note that in general this is not a subgroup of G. Certainly it is if G is abelian. The next proposition gives another criteria. Proposition 20. Let G be a group with subgroups H, N. If N is normal, then HN is a subgroup of G. Proof. Clearly e HN because e H N. Let h 1 n 1, h 2 n 2 HN. Then (h 1 n 1 )(h 2 n 2 ) 1 = (h 1 n 1 )(n 1 2 h 2). Because N is normal, Nh 2 = h 2 N. Thus, n 1 2 h = hn 3 and n 1 h = hn 4 for some n 3, n 4 N. We therefore have (h 1 n 1 )(h 2 n 2 ) 1 = (h 1 n 1 )(n 1 2 h 2) = (h 1 n 1 )(h 2 n 3 ) = h 1 (h 2 n 4 )n 3 = (h 1 h 2 )(n 4 n 3 ) HN. Thus, HN is a subgroup of G. Disclaimer/Warning: In additive notation, HN is H + N = {h + n : h H, n N}. Recall that subgroups of abelian groups are always normal and so H + N is always a subgroup of G. Exercise. Let H, N be subgroups of a group G with N normal. Prove that N is normal subgroup of HN and H N is a normal subgroup of H. Definition. A group G is the interal direct product of subgroups H and K provided (1) G = HK (as sets), (2) H K = {e}, and (3) hk = kh for all h H, k K. Example. Let G = U(8), H = {1, 3}, K = {1, 5}. Then G = HK (because mod 8). Clearly H K = {1}, and because G is abelian we have hk = kh for all h H, k K. Thus, G is the internal direct product of H and K. Example. S 3 is not an internal direct product of its subgroups. Since S 3 = 6 then without loss of generality we need subgroups H, K with H = 3 and K = 2. But then H = Z 3 and K = Z 2. The condition hk = kh for all h H, k K now implies that S 3 is abelian, a contradiction. Lemma 21. If G is the internal direct product of subgroups H and K, then every element in G can be written uniquely as hk for some h H, k K. Proof. Let g G. By the first condition of internal direct products, G = HK, and so g = hk for some h H, k K. We claim this decomposition is unique. Suppose g = h k for some h H, k K. By the second condition, hk = h k (h ) 1 h = k k 1 H K = {e}.

13 Thus, (h ) 1 h = e and k k 1 = e, so h = h and k = k. The next theorem says that if G is the internal direct product of subgroups H and K, then it is also the external direct product of those subgroups. Theorem 22. If G is the internal direct product of subgroups H and K, then G = H K. Proof. Define a map φ : H K G (h, k) hk. By the lemma, φ is bijective. We need only show that it is a homomorphism. Let (h 1, k 1 ), (h 2, k 2 ) H K. Then by the third condition of internal direct products, φ((h 1, k 1 )(h 2, k 2 )) = φ(h 1 h 2, k 1 k 2 ) = (h 1 h 2 )(k 1 k 2 ) = (h 1 k 1 )(h 2 k 2 ) = φ(h 1, k 1 )φ(h 2, k 2 ). Thus, φ is a homomorphism and therefore an isomorphism. Example. By a previous example, U(8) = Z 2 Z 2. Exercise. Prove that D 6 = S3 Z The isomorphism theorems The following theorems explain how factor group structures fit into the overall picture of group structure. They are also incredibly powerful tools for proving that two groups are isomorphic. Our next result actually generalizes an earlier result that a homomorphism is an isomorphism if and only if its kernel is trivial. The first isomorphism theorem says that the factor group of a group by the kernel of an homomorphism is isomorphic to the image of the homomorphism. Theorem 23 (First Isomorphism Theorem). Let φ : G H be a homomorphism and K = ker φ. There exists an isomorphism ψ : G/K φ(g) gk φ(g). That is, G/K = φ(g). Proof. First recall that by an earlier exercise, K is a normal subgroup and thus G/K is well-defined. However, ψ is a map defined on a set of cosets and therefore we must check that it is well-defined. Suppose g 1 K = g 2 K for some g 1 K, g 2 K G/K. We must show that ψ(g 1 K) = ψ(g 2 K). Because K is normal, our hypothesis implies that g 1 2 g 1 K. Therefore, ψ(g 1 2 g 1) = e, so ψ(g 2 ) = φ(g 1 ). But then ψ(g 1 K) = φ(g 2 K). Thus, ψ is well-defined.

14 We now check that ψ is a homomorphism. Let g 1 K, g 2 K G/K. Then ψ((g 1 K)(g 2 K)) = ψ((g 1 g 2 )K) = φ(g 1 g 2 ) = φ(g 1 )φ(g 2 ) = ψ(g 1 K)ψ(g 2 K). It is left to show that ψ is bijective. Clearly ψ is surjective since for all φ(g) φ(g), ψ(gk) = φ(g). To show injectivity we reverse the argument above for well-definedness. Suppose ψ(g 1 K) = ψ(g 2 K) for some g 1 K, g 2 K G/K. Then φ(g 1 ) = φ(g 2 ) so g2 1 g 1 K. Because K is normal, g 1 K = g 2 K, so ψ is injective. Example. Consider the map φ : Z Z 3 given by φ(k) = k mod 3. This map is a surjective homomorphism (check!) and ker φ = 3Z. By the first isomorphism theorem, Z/3Z = Z 3. Exercise. Generalize the previous example (and carefully check all steps) to show that Z/nZ = Z n for all positive integers n. Theorem 24 (Second Isomorphism Theorem). Let H, N be subgroups of a group G with N normal. Then H/H N = HN/N. Proof. By an earlier exercise, N is a normal subgroup of HN and H N is a normal subgroup of H. Thus, the given factor groups are well-defined. Define a map φ : H HN/N h hn. We claim this map is a surjective homomorphism. Let h 1, h 2 H. Then by the normality of N, φ(h 1 h 2 ) = (h 1 h 2 )N = h 1 (h 2 N) = h 1 (Nh 2 ) = (h 1 N)(Nh 2 ) = (h 1 N)(h 2 N) = φ(h 1 )φ(h 2 ). Thus, φ is a homomorphism. Let hnn HN/N, then clearly hnn = hn = φ(h), so φ is surjective. By the first isomorphism theorem, H/ ker φ = HN/N, so we need only show that ker φ = H N. Let x H N, then φ(x) = xn = N because x N, so H N ker φ. On the other hand, if y ker φ, then yn = φ(y) = N, so y N. Thus, ker φ H N so the sets are equal. Disclaimer/Warning: In additive notation, the theorem is rephrased as H + N instead of HN. Example. Let H = 2Z and N = 3Z be subgroups of Z. Clearly N is normal because Z is abelian. Then H N = 6Z and H + N = Z. Thus, by the second isomorphism theorem, 2Z/6Z = Z 3. The next two results are also important, but in the interest of time and sanity I will leave the proofs as reading exercises. However, I suspect that the third isomorphism theorem is one that you can prove once you fully understand the proofs above, especially that of the second isomorphism theorem.

15 Theorem 25 (Correspondence Theorem). Let N be a normal subgroup of a group G. Then there is a bijection from the set of all subgroups containing N and the set of subgroups of G/N. Furthermore, the normal subgroups of G containing N correspond to normal subgroups of G/N. Example. Consider the group G = Z 12 and let N = 4. Note that G/N = Z 4. Then we can identify the subgroups of G containing N with the subgroups of G/N. subgroups of G containing N subgroups of G/N N {N} {0, 2, 4, 6, 8, 10, 12} {N, 2 + N} G {N, 1 + N, 2 + N, 3 + N}. Theorem 26 (Third Isomorphism Theorem). Let H, N be normal subgroups of a group G with N H. Then G/H = (G/N)/(H/N). Example. By the third isomorphism theorem, Z/3Z = (Z/6Z)/(3Z/6Z)

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

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

book 2005/1/23 20:41 page 132 #146

book 2005/1/23 20:41 page 132 #146 book 2005/1/23 20:41 page 132 #146 132 2. BASIC THEORY OF GROUPS Definition 2.6.16. Let a and b be elements of a group G. We say that b is conjugate to a if there is a g G such that b = gag 1. You are

More information

2. normal subgroup and quotient group We begin by stating a couple of elementary lemmas Lemma. Let A and B be sets and f : A B be an onto

2. normal subgroup and quotient group We begin by stating a couple of elementary lemmas Lemma. Let A and B be sets and f : A B be an onto 2. normal subgroup and quotient group We begin by stating a couple of elementary lemmas. 2.1. Lemma. Let A and B be sets and f : A B be an onto function. For b B, recall that f 1 (b) ={a A: f(a) =b}. LetF

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

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

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 581 Problem Set 8 Solutions

Math 581 Problem Set 8 Solutions Math 581 Problem Set 8 Solutions 1. Prove that a group G is abelian if and only if the function ϕ : G G given by ϕ(g) g 1 is a homomorphism of groups. In this case show that ϕ is an isomorphism. Proof:

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

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

MATH 4107 (Prof. Heil) PRACTICE PROBLEMS WITH SOLUTIONS Spring 2018

MATH 4107 (Prof. Heil) PRACTICE PROBLEMS WITH SOLUTIONS Spring 2018 MATH 4107 (Prof. Heil) PRACTICE PROBLEMS WITH SOLUTIONS Spring 2018 Here are a few practice problems on groups. You should first work through these WITHOUT LOOKING at the solutions! After you write your

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

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

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

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

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

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

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

Fibers, Surjective Functions, and Quotient Groups

Fibers, Surjective Functions, and Quotient Groups Fibers, Surjective Functions, and Quotient Groups 11/01/06 Radford Let f : X Y be a function. For a subset Z of X the subset f(z) = {f(z) z Z} of Y is the image of Z under f. For a subset W of Y the subset

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

Supplementary Notes: Simple Groups and Composition Series

Supplementary Notes: Simple Groups and Composition Series 18.704 Supplementary Notes: Simple Groups and Composition Series Genevieve Hanlon and Rachel Lee February 23-25, 2005 Simple Groups Definition: A simple group is a group with no proper normal subgroup.

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

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

ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS.

ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS. ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS. ANDREW SALCH 1. Subgroups, conjugacy, normality. I think you already know what a subgroup is: Definition

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

MATH 420 FINAL EXAM J. Beachy, 5/7/97

MATH 420 FINAL EXAM J. Beachy, 5/7/97 MATH 420 FINAL EXAM J. Beachy, 5/7/97 1. (a) For positive integers a and b, define gcd(a, b). (b) Compute gcd(1776, 1492). (c) Show that if a, b, c are positive integers, then gcd(a, bc) = 1 if and only

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

Section 15 Factor-group computation and simple groups

Section 15 Factor-group computation and simple groups Section 15 Factor-group computation and simple groups Instructor: Yifan Yang Fall 2006 Outline Factor-group computation Simple groups The problem Problem Given a factor group G/H, find an isomorphic group

More information

GROUP ACTIONS RYAN C. SPIELER

GROUP ACTIONS RYAN C. SPIELER GROUP ACTIONS RYAN C. SPIELER Abstract. In this paper, we examine group actions. Groups, the simplest objects in Algebra, are sets with a single operation. We will begin by defining them more carefully

More information

Lecture Note of Week 2

Lecture Note of Week 2 Lecture Note of Week 2 2. Homomorphisms and Subgroups (2.1) Let G and H be groups. A map f : G H is a homomorphism if for all x, y G, f(xy) = f(x)f(y). f is an isomorphism if it is bijective. If f : G

More information

Section 13 Homomorphisms

Section 13 Homomorphisms Section 13 Homomorphisms Instructor: Yifan Yang Fall 2006 Homomorphisms Definition A map φ of a group G into a group G is a homomorphism if for all a, b G. φ(ab) = φ(a)φ(b) Examples 1. Let φ : G G be defined

More information

CS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a

CS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a Q: What s purple and commutes? A: An abelian grape! Anonymous Group Theory Last lecture, we learned about a combinatorial method for characterizing spaces: using simplicial complexes as triangulations

More information

MATH3711 Lecture Notes

MATH3711 Lecture Notes MATH3711 Lecture Notes typed by Charles Qin June 2006 1 How Mathematicians Study Symmetry Example 1.1. Consider an equilateral triangle with six symmetries. Rotations about O through angles 0, 2π 3, 4π

More information

Your Name MATH 435, EXAM #1

Your Name MATH 435, EXAM #1 MATH 435, EXAM #1 Your Name You have 50 minutes to do this exam. No calculators! No notes! For proofs/justifications, please use complete sentences and make sure to explain any steps which are questionable.

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

Lecture Notes. Group Theory. Gunnar Traustason (Autumn 2016)

Lecture Notes. Group Theory. Gunnar Traustason (Autumn 2016) Lecture Notes in Group Theory Gunnar Traustason (Autumn 2016) 0 0 Introduction. Groups and symmetry Group Theory can be viewed as the mathematical theory that deals with symmetry, where symmetry has a

More information

Homomorphisms. The kernel of the homomorphism ϕ:g G, denoted Ker(ϕ), is the set of elements in G that are mapped to the identity in G.

Homomorphisms. The kernel of the homomorphism ϕ:g G, denoted Ker(ϕ), is the set of elements in G that are mapped to the identity in G. 10. Homomorphisms 1 Homomorphisms Isomorphisms are important in the study of groups because, being bijections, they ensure that the domain and codomain groups are of the same order, and being operation-preserving,

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

INTRODUCTION GROUP THEORY

INTRODUCTION GROUP THEORY MATH10021 Algebra INTRODUCTION TO GROUP THEORY Michael Wemyss 2012/13 1 2 Dr. Michael Wemyss Office 5602 m.wemyss@ed.ac.uk Throughout the term, all course information (including exercise sheets, workshop

More information

Name: Solutions - AI FINAL EXAM

Name: Solutions - AI FINAL EXAM 1 2 3 4 5 6 7 8 9 10 11 12 13 total Name: Solutions - AI FINAL EXAM The first 7 problems will each count 10 points. The best 3 of # 8-13 will count 10 points each. Total is 100 points. A 4th problem from

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

MATH 3005 ABSTRACT ALGEBRA I FINAL SOLUTION

MATH 3005 ABSTRACT ALGEBRA I FINAL SOLUTION MATH 3005 ABSTRACT ALGEBRA I FINAL SOLUTION SPRING 2014 - MOON Write your answer neatly and show steps. Any electronic devices including calculators, cell phones are not allowed. (1) Write the definition.

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

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

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

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

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

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

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

MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems. a + b = a + b,

MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems. a + b = a + b, MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems Problem Set 2 2. Define a relation on R given by a b if a b Z. (a) Prove that is an equivalence relation. (b) Let R/Z denote the set of equivalence

More information

Notes on Group Theory. by Avinash Sathaye, Professor of Mathematics November 5, 2013

Notes on Group Theory. by Avinash Sathaye, Professor of Mathematics November 5, 2013 Notes on Group Theory by Avinash Sathaye, Professor of Mathematics November 5, 2013 Contents 1 Preparation. 2 2 Group axioms and definitions. 2 Shortcuts................................. 2 2.1 Cyclic groups............................

More information

Frank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups:

Frank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups: Frank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups: Definition: The external direct product is defined to be the following: Let H 1,..., H n be groups. H 1 H 2 H n := {(h 1,...,

More information

The group (Z/nZ) February 17, In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer.

The group (Z/nZ) February 17, In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer. The group (Z/nZ) February 17, 2016 1 Introduction In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer. If we factor n = p e 1 1 pe, where the p i s are distinct

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

Algebra I: Final 2018 June 20, 2018

Algebra I: Final 2018 June 20, 2018 1 Algebra I: Final 2018 June 20, 2018 ID#: Quote the following when necessary. A. Subgroup H of a group G: Name: 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

More information

Mathematics 331 Solutions to Some Review Problems for Exam a = c = 3 2 1

Mathematics 331 Solutions to Some Review Problems for Exam a = c = 3 2 1 Mathematics 331 Solutions to Some Review Problems for Exam 2 1. Write out all the even permutations in S 3. Solution. The six elements of S 3 are a =, b = 1 3 2 2 1 3 c =, d = 3 2 1 2 3 1 e =, f = 3 1

More information

ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH

ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH 1. Homomorphisms and isomorphisms between groups. Definition 1.1. Let G, H be groups.

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

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

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

Fall 2014 Math 122 Midterm 1

Fall 2014 Math 122 Midterm 1 1. Some things you ve (maybe) done before. 5 points each. (a) If g and h are elements of a group G, show that (gh) 1 = h 1 g 1. (gh)(h 1 g 1 )=g(hh 1 )g 1 = g1g 1 = gg 1 =1. Likewise, (h 1 g 1 )(gh) =h

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

6 Cosets & Factor Groups

6 Cosets & Factor Groups 6 Cosets & Factor Groups The course becomes markedly more abstract at this point. Our primary goal is to break apart a group into subsets such that the set of subsets inherits a natural group structure.

More information

Cover Page. The handle holds various files of this Leiden University dissertation

Cover Page. The handle   holds various files of this Leiden University dissertation Cover Page The handle http://hdl.handle.net/1887/54851 holds various files of this Leiden University dissertation Author: Stanojkovski, M. Title: Intense automorphisms of finite groups Issue Date: 2017-09-05

More information

D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups

D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups D-MATH Algebra I HS 2013 Prof. Brent Doran Solution 3 Modular arithmetic, quotients, product groups 1. Show that the functions f = 1/x, g = (x 1)/x generate a group of functions, the law of composition

More information

MA441: Algebraic Structures I. Lecture 14

MA441: Algebraic Structures I. Lecture 14 MA441: Algebraic Structures I Lecture 14 22 October 2003 1 Review from Lecture 13: We looked at how the dihedral group D 4 can be viewed as 1. the symmetries of a square, 2. a permutation group, and 3.

More information

Geometric Transformations and Wallpaper Groups

Geometric Transformations and Wallpaper Groups Geometric Transformations and Wallpaper Groups Lance Drager Texas Tech University Geometric Transformations III p.1/25 Introduction to Groups of Isometrics Geometric Transformations III p.2/25 Symmetries

More information

MTH 411 Lecture Notes Based on Hungerford, Abstract Algebra

MTH 411 Lecture Notes Based on Hungerford, Abstract Algebra MTH 411 Lecture Notes Based on Hungerford, Abstract Algebra Ulrich Meierfrankenfeld Department of Mathematics Michigan State University East Lansing MI 48824 meier@math.msu.edu August 28, 2014 2 Contents

More information

Groups. Groups. 1.Introduction. 1.Introduction. TS.NguyễnViết Đông. 1. Introduction 2.Normal subgroups, quotien groups. 3. Homomorphism.

Groups. Groups. 1.Introduction. 1.Introduction. TS.NguyễnViết Đông. 1. Introduction 2.Normal subgroups, quotien groups. 3. Homomorphism. Groups Groups 1. Introduction 2.Normal sub, quotien. 3. Homomorphism. TS.NguyễnViết Đông 1 2 1.1. Binary Operations 1.2.Definition of Groups 1.3.Examples of Groups 1.4.Sub 1.1. Binary Operations 1.2.Definition

More information

23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time.

23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time. 23. Quotient groups II 23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time. Theorem (FTH). Let G, H be groups and ϕ : G H a homomorphism.

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

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

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

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

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION PAVEL RŮŽIČKA 9.1. Congruence modulo n. Let us have a closer look at a particular example of a congruence relation on

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

23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time.

23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time. 23. Quotient groups II 23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time. Theorem (FTH). Let G, Q be groups and ϕ : G Q a homomorphism.

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

Lecture 3. Theorem 1: D 6

Lecture 3. Theorem 1: D 6 Lecture 3 This week we have a longer section on homomorphisms and isomorphisms and start formally working with subgroups even though we have been using them in Chapter 1. First, let s finish what was claimed

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

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

Algebra I: Final 2015 June 24, 2015

Algebra I: Final 2015 June 24, 2015 1 Algebra I: Final 2015 June 24, 2015 ID#: Quote the following when necessary. A. Subgroup H of a group G: Name: 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

More information

Part II Permutations, Cosets and Direct Product

Part II Permutations, Cosets and Direct Product Part II Permutations, Cosets and Direct Product Satya Mandal University of Kansas, Lawrence KS 66045 USA January 22 8 Permutations Definition 8.1. Let A be a set. 1. A a permuation of A is defined to be

More information

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31 Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15

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

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

A FRIENDLY INTRODUCTION TO GROUP THEORY

A FRIENDLY INTRODUCTION TO GROUP THEORY A FRIENDLY INTRODUCTION TO GROUP THEORY JAKE WELLENS 1. who cares? You do, prefrosh. If you re a math major, then you probably want to pass Math 5. If you re a chemistry major, then you probably want to

More information

Math 3140 Fall 2012 Assignment #3

Math 3140 Fall 2012 Assignment #3 Math 3140 Fall 2012 Assignment #3 Due Fri., Sept. 21. Remember to cite your sources, including the people you talk to. My solutions will repeatedly use the following proposition from class: Proposition

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

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

3.8 Cosets, Normal Subgroups, and Factor Groups

3.8 Cosets, Normal Subgroups, and Factor Groups 3.8 J.A.Beachy 1 3.8 Cosets, Normal Subgroups, and Factor Groups from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair 29. Define φ : C R by φ(z) = z, for

More information

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

6. The Homomorphism Theorems In this section, we investigate maps between groups which preserve the groupoperations.

6. The Homomorphism Theorems In this section, we investigate maps between groups which preserve the groupoperations. 6. The Homomorphism Theorems In this section, we investigate maps between groups which preserve the groupoperations. Definition. Let G and H be groups and let ϕ : G H be a mapping from G to H. Then ϕ is

More information

Solutions Cluster A: Getting a feel for groups

Solutions Cluster A: Getting a feel for groups Solutions Cluster A: Getting a feel for groups 1. Some basics (a) Show that the empty set does not admit a group structure. By definition, a group must contain at least one element the identity element.

More information

Isomorphisms. 0 a 1, 1 a 3, 2 a 9, 3 a 7

Isomorphisms. 0 a 1, 1 a 3, 2 a 9, 3 a 7 Isomorphisms Consider the following Cayley tables for the groups Z 4, U(), R (= the group of symmetries of a nonsquare rhombus, consisting of four elements: the two rotations about the center, R 8, and

More information

INVERSE LIMITS AND PROFINITE GROUPS

INVERSE LIMITS AND PROFINITE GROUPS INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological

More information

3.4 Isomorphisms. 3.4 J.A.Beachy 1. from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair

3.4 Isomorphisms. 3.4 J.A.Beachy 1. from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair 3.4 J.A.Beachy 1 3.4 Isomorphisms from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair 29. Show that Z 17 is isomorphic to Z 16. Comment: The introduction

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

GROUPS AND THEIR REPRESENTATIONS. 1. introduction

GROUPS AND THEIR REPRESENTATIONS. 1. introduction GROUPS AND THEIR REPRESENTATIONS KAREN E. SMITH 1. introduction Representation theory is the study of the concrete ways in which abstract groups can be realized as groups of rigid transformations of R

More information