DOCSLIB.ORG

S11MTH 3175 Group Theory (Prof.Todorov) Quiz 5 (Practice) Name

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
S11MTH 3175 Group Theory (Prof.Todorov) Quiz 5 (Practice) Name S11MTH 3175 Group Theory (Prof.Todorov) Quiz 5 (Practice) Name: Some problems are really easy, some are harder, some are repetitions. 1. Let Sn be the group of permutations on n elements f1; 2; 3; : : : ; ng. Let An be the subgroup of even permutations. Prove that An is normal subgroup of Sn. Answer: • One way: ◦ jSnj = n! and jAnj = n!=2 ◦ # (left cosets of An in Sn)= [Sn : An] = jSnj=jAnj = n!=(n!=2) = 2 ◦ # (right cosets of An in Sn)=# (left cosets of An in Sn)=2 ◦ Want to show: aAn = Ana for all a 2 Sn - If a 2 An then aAn = An = Ana. - If a2 = An then aAn 6= An 6= Ana Sn = An [ aAn disjoint union of 2 distinct left cosets. Sn = An [ Ana disjoint union of 2 distinct right cosets. An [ aAn = An [ Ana disjoint unions implies aAn = Ana for all a2 = An ◦ An is normal subgroup in Sn since aAn = Ana for all a 2 Sn • Another way: ◦ An = feven permutations on n elementsg ◦ A subgroup H in a group G is normal subgroup, if and only if gHg−1 ⊂ H. Propo- sition proved in class. −1 ◦ WTS σAnσ ⊂ An Let α 2 An. Then α is an even permutation (by definition of An). −1 Then σασ is even permutation for all σ 2 Sn (by a problem from a previous quiz). −1 Therefore σασ 2 An −1 Therefore σAnσ ⊂ An Therefore An is normal subgroup in Sn 2. Let S15 be the group of permutations on 15 elements f1; 2; 3;:::; 15g. Prove that S15 has elements of order 56 but does not have any elements of orders 49 or 50. Answer: Use the following facts: (a) Order of a k-cycle is k, i.e. jαj = k for α a k-cycle. (b) jαβj = lcm(jαj; jβj) if α and β are disjoint permutations. • S15 has elements of order 56: Let σ = αβ, where α is an 8-cycle and β is a 7-cycle. Then jσj = jαβj = lcm(jαj; jβj) = lcm(8; 7) = 56. • S15 does not have any elements of orders 49: In order for lcm(m; n) = 49, either m = 49 or n = 49. Therefore we would need a cycle of order 49, hence need a 49-cycle in S15, which is impossible. 1 S11MTH 3175 Group Theory (Prof.Todorov) Quiz 5 (Practice) Name: • S15 does not have any elements of orders 50: In order for lcm(m; n) = 50, either m or n 2 must be a multiple of 5 = 25. Therefore we would need a 25-cycle or 50-cycle in S15, which is impossible. ( Factor Groups - Quotient Groups - G=H ) 3. Prove that a factor group of a cyclic group is cyclic. Answer: Recall: A group G is cyclic if it can be generated by one element, i.e. if there exists an element a 2 G such that G =< a > (this means that all elements of G are of the form ai for some integer i.) Recall: Elements of a factor group G=H are left cosets fgH j g 2 G. Proof: Suppose G =< a >. Let G=H be any factor group of G. WTS: G=H is cyclic. Any element of G=H is of the form gH for some g 2 G. Since G is cyclic, there is an integer i such that g = ai. So gH = aiH. aiH = (aH)i by definition of multiplication in factor groups. Therefore gH = (aH)i for any coset gH. So G=H is generated by aH, hence G=H is cyclic, by the definition of cyclic groups. 4. Prove that a factor group of an Abelian group is Abelian. Answer: Recall: A group G is Abelian if ab = ba for all a; b 2 G. Proof: Suppose G is Abelian. Let G=H be any factor group of G. WTS: G=H is Abelian. Let aH; bH be any elements of G=H. Then (aH)(bH) = (ab)H by definition of multiplication in factor groups. Then (ab)H = (ba)H since G is abelian. (ba)H = (bH)(aH) again definition of multiplication in factor group. Therefore (aH)(bH) = (bH)(aH). Therefore G=H is Abelian. 5. Prove that any subgroup of an Abelian group is normal subgroup. Answer: Recall: A subgroup H of a group G is called normal if gH = Hg for every g 2 G. Proof: Suppose G is Abelian. Let H be a subgroup of G. WTS: gH = Hg for all g 2 G. Let g 2 G. Then gH = fgh j h 2 Hg by definition of left coset. gh = hg for all h since G is Abelian. Therefore fgh j h 2 Hg = fhg j h 2 Hg = Hg by definition of right coset Hg. Therefore gH = Hg for all g 2 G. Therefore H is normal subgroup of G. 2 S11MTH 3175 Group Theory (Prof.Todorov) Quiz 5 (Practice) Name: 6. Let H =< 5 > be the subgroup of G = Z generated by 5. (a) List the elements of H =< 5 >. Answer: Notice: Operation in G = Z is addition. H = h5i = f0; ±5; ±10;::: g = f5k j k 2 Zg (b) Prove that H is normal subgroup of G. Answer: Addition in Z is commutative. So G = (Z; +) is Abelian group and by previous problem every subgroup of an Abelian group is normal. (c) List the elements of the factor group G=H = Z= < 5 >. Answer: Elements of G=H are left cosets of H in G: 0 + H = 0 + h5i = f0 + 0; 0 ± 5; 0 ± 10;::: g = f0; ±5; ±10;::: g = H 1 + H = 1 + h5i = f1 + 0; 1 ± 5; 1 ± 10;::: g = f:::; −9; −4; 1; 6; 11;::: g 2 + H = 2 + h5i = f2 + 0; 2 ± 5; 2 ± 10;::: g = f:::; −8; −3; 2; 7; 12;::: g 3 + H = 3 + h5i = f3 + 0; 3 ± 5; 3 ± 10;::: g = f:::; −7; −2; 3; 8; 13;::: g 4 + H = 4 + h5i = f4 + 0; 4 ± 5; 4 ± 10;::: g = f:::; −6; −1; 4; 9; 14;::: g (d) Write the Cayley table of G=H = Z= h5i. G=H = Z= h5i 0 + h5i 1 + h5i 2 + h5i 3 + h5i 4 + h5i 0 + h5i 0 + h5i 1 + h5i 2 + h5i 3 + h5i 4 + h5i 1 + h5i 1 + h5i 2 + h5i 3 + h5i 4 + h5i 0 + h5i 2 + h5i 2 + h5i 3 + h5i 4 + h5i 0 + h5i 1 + h5i 3 + h5i 3 + h5i 4 + h5i 0 + h5i 1 + h5i 2 + h5i 4 + h5i 4 + h5i 0 + h5i 1 + h5i 2 + h5i 3 + h5i (e) What is the order of 2 + h5i in Z= h5i? Answer: j2 + h5i j = 5 as 2 + h5i 2 Z= h5i. 3 S11MTH 3175 Group Theory (Prof.Todorov) Quiz 5 (Practice) Name: 7. Let K = h15i be the subgroup of G = Z generated by 15. (a) List the elements of K = h15i. Answer: K = h15i = f15k j k 2 Zg (b) Prove that K is normal subgroup of G. Proof: (Z +) is Abelian group and any subgroup of an Abelian group is normal (from 5). (c) List the elements of the factor group G=K = Z= h15i. Answer: G=K = Z= h15i = fi + h15i j 0 ≤ i ≤ 14g. (There are 15 elements.) !!! This is just one way of expressing these cosets. Notice that there are many ways of expressing the same coset, eg. (2+h15i) = (17+h15i) = (32+h15i) = (−13+h15i) = ::: . (d) Write the Cayley table of G=K = Z= h15i. Answer: Don't have to actually write it, but make sure that you know what it would look like. (e) What is the order of 3 + K = 3 + h15i in Z= h15i? Answer: j3 + h15i j = 5 in Z= h15i, since (3 + h15i) + (3 + h15i) + (3 + h15i) + (3 + h15i) + (3 + h15i) = (15 + h15i) = (0 + h15i). (f) What is the order of 4 + K = 4 + h15i in Z= h15i? Answer: j4 + h15i j = 15 in Z= h15i. (g) What is the order of 5 + K = 5 + h15i in Z= h15i? Answer: j5 + h15i j = 3 in Z= h15i. (h) What is the order of 6 + K = 6 + h15i in Z= h15i? Answer: j6 + h15i j = 5 in Z= h15i, (i) Prove that G=K is cyclic. Answer: Z= h15i is generated by 1 + h15i, hence it is cyclic. underlineAnswer 2: Z= h15i is cyclic since it is factor of the cyclic group (Z; +) (this group is generated by 1). (j) Prove that G=K = Z= h15i is isomorphic to Z15. Answer: • One way - using the First Isomorphism Theorem: { Define a group homomorphism: f : Z ! Z15: ∗ Since Z is cyclic it is enough to define homomorphism on a generator, and extend to all other elements. ∗ Define f(1) := 1(mod15) and f(n1) := n1 (mod15) (i.e. f(n) := n (mod15) ∗ Since j1j = 1 for 1 2 Z and jf(1)j = 15 for f(1) = 1 2 Z= h15i we have jf(1)j j j1j. { Claim 1: f is onto (this is quite clear, but here is a detailed proof). 4 S11MTH 3175 Group Theory (Prof.Todorov) Quiz 5 (Practice) Name: ∗ Elements of Z15 are integers f0; 1; 2;:::; 14g ∗ For each n 2 f0; 1; 2;:::; 14g = Z15 consider n 2 Z. ∗ Then f(n) = n 2 Z15. Hence f is onto. { Im(f) = Z15 (As stated in class this is equivalent to f being onto.) { Claim 2: Ker(f) = h15i < Z (this is quite clear, but here is a detailed proof). ∗ Ker(f) = fn 2 Z j f(n) = 0 2 Z15g ∗ n (mod15) = r 2 f0; 1;:::; 14g, where r is the remainder after dividing n by 15, i.e.
Load more

Recommended publications
  • On Abelian Subgroups of Finitely Generated Metabelian
    J. Group Theory 16 (2013), 695–705 DOI 10.1515/jgt-2013-0011 © de Gruyter 2013 On abelian subgroups of finitely generated metabelian groups Vahagn H. Mikaelian and Alexander Y. Olshanskii Communicated by John S. Wilson To Professor Gilbert Baumslag to his 80th birthday Abstract. In this note we introduce the class of H-groups (or Hall groups) related to the class of B-groups defined by P. Hall in the 1950s. Establishing some basic properties of Hall groups we use them to obtain results concerning embeddings of abelian groups. In particular, we give an explicit classification of all abelian groups that can occur as subgroups in finitely generated metabelian groups. Hall groups allow us to give a negative answer to G. Baumslag’s conjecture of 1990 on the cardinality of the set of isomorphism classes for abelian subgroups in finitely generated metabelian groups. 1 Introduction The subject of our note goes back to the paper of P. Hall [7], which established the properties of abelian normal subgroups in finitely generated metabelian and abelian-by-polycyclic groups. Let B be the class of all abelian groups B, where B is an abelian normal subgroup of some finitely generated group G with polycyclic quotient G=B. It is proved in [7, Lemmas 8 and 5.2] that B H, where the class H of countable abelian groups can be defined as follows (in the present paper, we will call the groups from H Hall groups). By definition, H H if 2 (1) H is a (finite or) countable abelian group, (2) H T K; where T is a bounded torsion group (i.e., the orders of all ele- D ˚ ments in T are bounded), K is torsion-free, (3) K has a free abelian subgroup F such that K=F is a torsion group with trivial p-subgroups for all primes except for the members of a finite set .K/.
    [Show full text]
  • On Finite Groups Whose Every Proper Normal Subgroup Is a Union
    Proc. Indian Acad. Sci. (Math. Sci.) Vol. 114, No. 3, August 2004, pp. 217–224. © Printed in India On finite groups whose every proper normal subgroup is a union of a given number of conjugacy classes ALI REZA ASHRAFI and GEETHA VENKATARAMAN∗ Department of Mathematics, University of Kashan, Kashan, Iran ∗Department of Mathematics and Mathematical Sciences Foundation, St. Stephen’s College, Delhi 110 007, India E-mail: ashrafi@kashanu.ac.ir; geetha [email protected] MS received 19 June 2002; revised 26 March 2004 Abstract. Let G be a finite group and A be a normal subgroup of G. We denote by ncc.A/ the number of G-conjugacy classes of A and A is called n-decomposable, if ncc.A/ = n. Set KG ={ncc.A/|A CG}. Let X be a non-empty subset of positive integers. A group G is called X-decomposable, if KG = X. Ashrafi and his co-authors [1–5] have characterized the X-decomposable non-perfect finite groups for X ={1;n} and n ≤ 10. In this paper, we continue this problem and investigate the structure of X-decomposable non-perfect finite groups, for X = {1; 2; 3}. We prove that such a group is isomorphic to Z6;D8;Q8;S4, SmallGroup(20, 3), SmallGroup(24, 3), where SmallGroup.m; n/ denotes the mth group of order n in the small group library of GAP [11]. Keywords. Finite group; n-decomposable subgroup; conjugacy class; X-decompo- sable group. 1. Introduction and preliminaries Let G be a finite group and let NG be the set of proper normal subgroups of G.
    [Show full text]
  • Chapter 4. Homomorphisms and Isomorphisms of Groups
    Chapter 4. Homomorphisms and Isomorphisms of Groups 4.1 Note: We recall the following terminology. Let X and Y be sets. When we say that f is a function or a map from X to Y , written f : X ! Y , we mean that for every x 2 X there exists a unique corresponding element y = f(x) 2 Y . The set X is called the domain of f and the range or image of f is the set Image(f) = f(X) = f(x) x 2 X . For a set A ⊆ X, the image of A under f is the set f(A) = f(a) a 2 A and for a set −1 B ⊆ Y , the inverse image of B under f is the set f (B) = x 2 X f(x) 2 B . For a function f : X ! Y , we say f is one-to-one (written 1 : 1) or injective when for every y 2 Y there exists at most one x 2 X such that y = f(x), we say f is onto or surjective when for every y 2 Y there exists at least one x 2 X such that y = f(x), and we say f is invertible or bijective when f is 1:1 and onto, that is for every y 2 Y there exists a unique x 2 X such that y = f(x). When f is invertible, the inverse of f is the function f −1 : Y ! X defined by f −1(y) = x () y = f(x). For f : X ! Y and g : Y ! Z, the composite g ◦ f : X ! Z is given by (g ◦ f)(x) = g(f(x)).
    [Show full text]
  • Group Homomorphisms
    1-17-2018 Group Homomorphisms Here are the operation tables for two groups of order 4: · 1 a a2 + 0 1 2 1 1 a a2 0 0 1 2 a a a2 1 1 1 2 0 a2 a2 1 a 2 2 0 1 There is an obvious sense in which these two groups are “the same”: You can get the second table from the first by replacing 0 with 1, 1 with a, and 2 with a2. When are two groups the same? You might think of saying that two groups are the same if you can get one group’s table from the other by substitution, as above. However, there are problems with this. In the first place, it might be very difficult to check — imagine having to write down a multiplication table for a group of order 256! In the second place, it’s not clear what a “multiplication table” is if a group is infinite. One way to implement a substitution is to use a function. In a sense, a function is a thing which “substitutes” its output for its input. I’ll define what it means for two groups to be “the same” by using certain kinds of functions between groups. These functions are called group homomorphisms; a special kind of homomorphism, called an isomorphism, will be used to define “sameness” for groups. Definition. Let G and H be groups. A homomorphism from G to H is a function f : G → H such that f(x · y)= f(x) · f(y) forall x,y ∈ G.
    [Show full text]
  • Categories of Sets with a Group Action
    Categories of sets with a group action Bachelor Thesis of Joris Weimar under supervision of Professor S.J. Edixhoven Mathematisch Instituut, Universiteit Leiden Leiden, 13 June 2008 Contents 1 Introduction 1 1.1 Abstract . .1 1.2 Working method . .1 1.2.1 Notation . .1 2 Categories 3 2.1 Basics . .3 2.1.1 Functors . .4 2.1.2 Natural transformations . .5 2.2 Categorical constructions . .6 2.2.1 Products and coproducts . .6 2.2.2 Fibered products and fibered coproducts . .9 3 An equivalence of categories 13 3.1 G-sets . 13 3.2 Covering spaces . 15 3.2.1 The fundamental group . 15 3.2.2 Covering spaces and the homotopy lifting property . 16 3.2.3 Induced homomorphisms . 18 3.2.4 Classifying covering spaces through the fundamental group . 19 3.3 The equivalence . 24 3.3.1 The functors . 25 4 Applications and examples 31 4.1 Automorphisms and recovering the fundamental group . 31 4.2 The Seifert-van Kampen theorem . 32 4.2.1 The categories C1, C2, and πP -Set ................... 33 4.2.2 The functors . 34 4.2.3 Example . 36 Bibliography 38 Index 40 iii 1 Introduction 1.1 Abstract In the 40s, Mac Lane and Eilenberg introduced categories. Although by some referred to as abstract nonsense, the idea of categories allows one to talk about mathematical objects and their relationions in a general setting. Its origins lie in the field of algebraic topology, one of the topics that will be explored in this thesis. First, a concise introduction to categories will be given.
    [Show full text]
  • Mathematics 310 Examination 1 Answers 1. (10 Points) Let G Be A
    Mathematics 310 Examination 1 Answers 1. (10 points) Let G be a group, and let x be an element of G. Finish the following definition: The order of x is ... Answer: . the smallest positive integer n so that xn = e. 2. (10 points) State Lagrange’s Theorem. Answer: If G is a finite group, and H is a subgroup of G, then o(H)|o(G). 3. (10 points) Let ( a 0! ) H = : a, b ∈ Z, ab 6= 0 . 0 b Is H a group with the binary operation of matrix multiplication? Be sure to explain your answer fully. 2 0! 1/2 0 ! Answer: This is not a group. The inverse of the matrix is , which is not 0 2 0 1/2 in H. 4. (20 points) Suppose that G1 and G2 are groups, and φ : G1 → G2 is a homomorphism. (a) Recall that we defined φ(G1) = {φ(g1): g1 ∈ G1}. Show that φ(G1) is a subgroup of G2. −1 (b) Suppose that H2 is a subgroup of G2. Recall that we defined φ (H2) = {g1 ∈ G1 : −1 φ(g1) ∈ H2}. Prove that φ (H2) is a subgroup of G1. Answer:(a) Pick x, y ∈ φ(G1). Then we can write x = φ(a) and y = φ(b), with a, b ∈ G1. Because G1 is closed under the group operation, we know that ab ∈ G1. Because φ is a homomorphism, we know that xy = φ(a)φ(b) = φ(ab), and therefore xy ∈ φ(G1). That shows that φ(G1) is closed under the group operation.
    [Show full text]
  • Math 412. Simple Groups
    Math 412. Simple Groups DEFINITION: A group G is simple if its only normal subgroups are feg and G. Simple groups are rare among all groups in the same way that prime numbers are rare among all integers. The smallest non-abelian group is A5, which has order 60. THEOREM 8.25: A abelian group is simple if and only if it is finite of prime order. THEOREM: The Alternating Groups An where n ≥ 5 are simple. The simple groups are the building blocks of all groups, in a sense similar to how all integers are built from the prime numbers. One of the greatest mathematical achievements of the Twentieth Century was a classification of all the finite simple groups. These are recorded in the Atlas of Simple Groups. The mathematician who discovered the last-to-be-discovered finite simple group is right here in our own department: Professor Bob Greiss. This simple group is called the monster group because its order is so big—approximately 8 × 1053. Because we have classified all the finite simple groups, and we know how to put them together to form arbitrary groups, we essentially understand the structure of every finite group. It is difficult, in general, to tell whether a given group G is simple or not. Just like determining whether a given (large) integer is prime, there is an algorithm to check but it may take an unreasonable amount of time to run. A. WARM UP. Find proper non-trivial normal subgroups of the following groups: Z, Z35, GL5(Q), S17, D100.
    [Show full text]
  • Självständiga Arbeten I Matematik
    SJÄLVSTÄNDIGA ARBETEN I MATEMATIK MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET Geometric interpretation of non-associative composition algebras av Fredrik Cumlin 2020 - No K13 MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET, 106 91 STOCKHOLM Geometric interpretation of non-associative composition algebras Fredrik Cumlin Självständigt arbete i matematik 15 högskolepoäng, grundnivå Handledare: Wushi Goldring 2020 Abstract This paper aims to discuss the connection between non-associative composition algebra and geometry. It will first recall the notion of an algebra, and investigate the properties of an algebra together with a com- position norm. The composition norm will induce a law on the algebra, which is stated as the composition law. This law is then used to derive the multiplication and conjugation laws, where the last is also known as convolution. These laws are then used to prove Hurwitz’s celebrated the- orem concerning the different finite composition algebras. More properties of composition algebras will be covered, in order to look at the structure of the quaternions H and octonions O. The famous Fano plane will be the finishing touch of the relationship between the standard orthogonal vectors which construct the octonions. Lastly, the notion of invertible maps in relation to invertible loops will be covered, to later show the connection between 8 dimensional rotations − and multiplication of unit octonions. 2 Contents 1 Algebra 4 1.1 The multiplication laws . .6 1.2 The conjugation laws . .7 1.3 Dickson double . .8 1.4 Hurwitz’s theorem . 11 2 Properties of composition algebras 14 2.1 The left-, right- and bi-multiplication maps . 16 2.2 Basic properties of quaternions and octonions .
    [Show full text]
  • Normal Subgroups of the General Linear Groups Over Von Neumann Regular Rings L
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 96, Number 2, February 1986 NORMAL SUBGROUPS OF THE GENERAL LINEAR GROUPS OVER VON NEUMANN REGULAR RINGS L. N. VASERSTEIN1 ABSTRACT. Let A be a von Neumann regular ring or, more generally, let A be an associative ring with 1 whose reduction modulo its Jacobson radical is von Neumann regular. We obtain a complete description of all subgroups of GLn A, n > 3, which are normalized by elementary matrices. 1. Introduction. For any associative ring A with 1 and any natural number n, let GLn A be the group of invertible n by n matrices over A and EnA the subgroup generated by all elementary matrices x1'3, where 1 < i / j < n and x E A. In this paper we describe all subgroups of GLn A normalized by EnA for any von Neumann regular A, provided n > 3. Our description is standard (see Bass [1] and Vaserstein [14, 16]): a subgroup H of GL„ A is normalized by EnA if and only if H is of level B for an ideal B of A, i.e. E„(A, B) C H C Gn(A, B). Here Gn(A, B) is the inverse image of the center of GL„(,4/S) (when n > 2, this center consists of scalar invertible matrices over the center of the ring A/B) under the canonical homomorphism GL„ A —►GLn(A/B) and En(A, B) is the normal subgroup of EnA generated by all elementary matrices in Gn(A, B) (when n > 3, the group En(A, B) is generated by matrices of the form (—y)J'lx1'Jy:i''1 with x € B,y £ A,l < i ^ j < n, see [14]).
    [Show full text]
  • LECTURE 12: LIE GROUPS and THEIR LIE ALGEBRAS 1. Lie
    LECTURE 12: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups Definition 1.1. A Lie group G is a smooth manifold equipped with a group structure so that the group multiplication µ : G × G ! G; (g1; g2) 7! g1 · g2 is a smooth map. Example. Here are some basic examples: • Rn, considered as a group under addition. • R∗ = R − f0g, considered as a group under multiplication. • S1, Considered as a group under multiplication. • Linear Lie groups GL(n; R), SL(n; R), O(n) etc. • If M and N are Lie groups, so is their product M × N. Remarks. (1) (Hilbert's 5th problem, [Gleason and Montgomery-Zippin, 1950's]) Any topological group whose underlying space is a topological manifold is a Lie group. (2) Not every smooth manifold admits a Lie group structure. For example, the only spheres that admit a Lie group structure are S0, S1 and S3; among all the compact 2 dimensional surfaces the only one that admits a Lie group structure is T 2 = S1 × S1. (3) Here are two simple topological constraints for a manifold to be a Lie group: • If G is a Lie group, then TG is a trivial bundle. n { Proof: We identify TeG = R . The vector bundle isomorphism is given by φ : G × TeG ! T G; φ(x; ξ) = (x; dLx(ξ)) • If G is a Lie group, then π1(G) is an abelian group. { Proof: Suppose α1, α2 2 π1(G). Define α : [0; 1] × [0; 1] ! G by α(t1; t2) = α1(t1) · α2(t2). Then along the bottom edge followed by the right edge we have the composition α1 ◦ α2, where ◦ is the product of loops in the fundamental group, while along the left edge followed by the top edge we get α2 ◦ α1.
    [Show full text]
  • Solutions to Exercises for Mathematics 205A
    SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A | Part 6 Fall 2008 APPENDICES Appendix A : Topological groups (Munkres, Supplementary exercises following $ 22; see also course notes, Appendix D) Problems from Munkres, x 30, pp. 194 − 195 Munkres, x 26, pp. 170{172: 12, 13 Munkres, x 30, pp. 194{195: 18 Munkres, x 31, pp. 199{200: 8 Munkres, x 33, pp. 212{214: 10 Solutions for these problems will not be given. Additional exercises Notation. Let F be the real or complex numbers. Within the matrix group GL(n; F) there are certain subgroups of particular importance. One such subgroup is the special linear group SL(n; F) of all matrices of determinant 1. 0. Prove that the group SL(2; C) has no nontrivial proper normal subgroups except for the subgroup { Ig. [Hint: If N is a normal subgroup, show first that if A 2 N then N contains all matrices that are similar to A. Therefore the proof reduces to considering normal subgroups containing a Jordan form matrix of one of the following two types: α 0 " 1 ; 0 α−1 0 " Here α is a complex number not equal to 0 or 1 and " = 1. The idea is to show that if N contains one of these Jordan forms then it contains all such forms, and this is done by computing sufficiently many matrix products. Trial and error is a good way to approach this aspect of the problem.] SOLUTION. We shall follow the steps indicated in the hint. If N is a normal subgroup of SL(2; C) and A 2 N then N contains all matrices that are similar to A.
    [Show full text]
  • Math 412. Adventure Sheet on Quotient Groups
    Math 412. Adventure sheet on Quotient Groups Fix an arbitrary group (G; ◦). DEFINITION: A subgroup N of G is normal if for all g 2 G, the left and right N-cosets gN and Ng are the same subsets of G. NOTATION: If H ⊆ G is any subgroup, then G=H denotes the set of left cosets of H in G. Its elements are sets denoted gH where g 2 G. The cardinality of G=H is called the index of H in G. DEFINITION/THEOREM 8.13: Let N be a normal subgroup of G. Then there is a well-defined binary operation on the set G=N defined as follows: G=N × G=N ! G=N g1N ? g2N = (g1 ◦ g2)N making G=N into a group. We call this the quotient group “G modulo N”. A. WARMUP: Define the sign map: Sn ! {±1g σ 7! 1 if σ is even; σ 7! −1 if σ is odd. (1) Prove that sign map is a group homomorphism. (2) Use the sign map to give a different proof that An is a normal subgroup of Sn for all n. (3) Describe the An-cosets of Sn. Make a table to describe the quotient group structure Sn=An. What is the identity element? B. OPERATIONS ON COSETS: Let (G; ◦) be a group and let N ⊆ G be a normal subgroup. (1) Take arbitrary ng 2 Ng. Prove that there exists n0 2 N such that ng = gn0. (2) Take any x 2 g1N and any y 2 g2N. Prove that xy 2 g1g2N.
    [Show full text]