Arxiv:Hep-Th/0510191V1 22 Oct 2005

Total Page:16

File Type:pdf, Size:1020Kb

Arxiv:Hep-Th/0510191V1 22 Oct 2005 Maximal Subgroups of the Coxeter Group W (H4) and Quaternions Mehmet Koca,∗ Muataz Al-Barwani,† and Shadia Al-Farsi‡ Department of Physics, College of Science, Sultan Qaboos University, PO Box 36, Al-Khod 123, Muscat, Sultanate of Oman Ramazan Ko¸c§ Department of Physics, Faculty of Engineering University of Gaziantep, 27310 Gaziantep, Turkey (Dated: September 8, 2018) The largest finite subgroup of O(4) is the noncrystallographic Coxeter group W (H4) of order 14400. Its derived subgroup is the largest finite subgroup W (H4)/Z2 of SO(4) of order 7200. Moreover, up to conjugacy, it has five non-normal maximal subgroups of orders 144, two 240, 400 and 576. Two groups [W (H2) × W (H2)]×Z4 and W (H3)×Z2 possess noncrystallographic structures with orders 400 and 240 respectively. The groups of orders 144, 240 and 576 are the extensions of the Weyl groups of the root systems of SU(3)×SU(3), SU(5) and SO(8) respectively. We represent the maximal subgroups of W (H4) with sets of quaternion pairs acting on the quaternionic root systems. PACS numbers: 02.20.Bb INTRODUCTION The noncrystallographic Coxeter group W (H4) of order 14400 generates some interests [1] for its relevance to the quasicrystallographic structures in condensed matter physics [2, 3] as well as its unique relation with the E8 gauge symmetry associated with the heterotic superstring theory [4]. The Coxeter group W (H4) [5] is the maximal finite subgroup of O(4), the finite subgroups of which have been classified by du Val [6] and by Conway and Smith [7]. It is also one of the maximal subgroups of the Weyl group W (E8) splitting 240 nonzero roots of E8 into two equal size disjoint sets. One set can be represented by the icosians q (quaternionic elements of the binary icosahedral group I) 1 √5 and the remaining set is σq [8, 9] where σ = −2 . Embedding of W (H4) in W (E8) is studied in detail in references [10] and [11]. In this paper we study the maximal subgroups of W (H4) and show that it possesses, up to conjugacy, five maximal subgroups of orders 144, 240, 400 and 576. They correspond to the symmetries of certain Dynkin and Coxeter diagrams. Another obvious maximal subgroup W (H4)′ W (H4)/Z2 of W (H4) of order 7200 is also the largest finite subgroup of SO(4). Two groups of orders 400 and 240≡ are related to the symmetries of the noncrystallographic Coxeter graphs H2 H′ and H3 respectively. The remaining groups of orders 144, 240 and 576 are associated ⊕ 2 with the symmetries of the crystallographic root systems A2 A′ , A4 and D4 respectively (we interchangeably use ⊕ 2 A2 SU(3), A4 SU(5),D4 SO(8)). Embeddings of these groups in W (H4) are not trivial and the main objective of this≈ work is to≈ clarify this issue.≈ arXiv:hep-th/0510191v1 22 Oct 2005 In the context of quaternionic representation of the H4 root system by the elements of binary icosahedral group, identifications of the quaternionic root systems of the maximal subgroups will be simple. The maximal subgroups of orders 144, 400 and 576 associated with the root systems A2 A2′ ,H2 H2′ and D4 respectively have close relations with the maximal subgroups of the binary icosahedral group I since⊕ it has⊕ three maximal subgroups. However the maximal subgroups associated with the Coxeter diagram H3 and the Dynkin diagram A4 do not have such correspondences and some care should be undertaken. In Sec. we introduce the root system of H4 in terms of the icosions I and identify the maximal subgroups of the binary icosahedral group. We discuss briefly the method as to how the group elements of W (H4) are obtained from icosians. In Sec. , we study in terms of quaternions, the group structure associated with the graph A2 A′ . Sec. ⊕ 2 is devoted to a similar analysis of the symmetries of the noncrystallographic root system H2 H′ . In Sec. we deal ⊕ 2 with the extension of W (D4) with a cyclic symmetry of its Dynkin diagram, the group of order 576, which was also studied in a paper of ours [12] in a different context. Sec. is devoted to the study of the automorphism of the H3 root system and we show that it is, up to conjugacy, a group of order 240 when it acts in the 4-dimensional space. In Sec. we study the somewhat intricate structure of the automorphism group of A4 using quaternions. 2 H4 WITH ICOSIANS The root system of the Coxeter diagram H4 consists of 120 roots which can be represented by the quaternionic elements of the binary icosahedral group I given in Table I (so is called the group of icosians). They can be generated by reflections on the simple roots depicted in Fig 1. Any real quaternion can be written as q = q0 + q1e1 + q2e2 + q3e3 where qa (a = 0, 1, 2, 3) are real numbers and pure quaternion units[14] ei (i =1, 2, 3) satisfy the well-known relations eiej = δij + ǫijkek (i, j, k =1, 2, 3) (1) − where ǫijk is the Levi-Civita symbol. The scalar product of two quaternions p and q is defined by 1 (p, q)= (pq + qp) (2) 2 2 2 2 2 which leads to the norm N(q) = (q, q)= qq = q0 + q1 + q2 + q3 . 1+√5 1 √5 TABLE I: Conjugacy classes of the binary icosahedral group I represented by quaternions.(Here τ = 2 and σ = −2 ) Conjugacy Classes Elements of the conjugacy classes also denoted by their numbers and orders of elements (Cyclic permutations in e1,e2,e3 should be added if not included) 1 1 2 −1 1 ± ± 10 12+ : 2 (τ e1 σe3) 1 5 12 : (−τ ± e1 ± σe3) − 2 1 ± ± 10 12+′ : 2 (σ e1 τe2) 1 − ± ± 5 12′ : 2 ( σ e1 τe2) − 1 ± ± ± 1 ± ± 6 20+ : 2 (1 e1 e2 e3), 2 (1 τe1 σe2) 1 1 3 20 : (−1 ± e1 ± e2 ± e3), (−1 ± τe1 ± σe2) − 2 2 1 ± ± 15+ : e1,e2,e3, 2 (σe1 τe2 e3) 4 30 : 1 15 : −e1, −e2, −e3, (−σe1 ± τe2 ± e3) − 2 −e1 5 −e2 1 t t t t 2 (σ + e2 + τe3) 1 2 (τe1 + e2 + σe3) FIG. 1: The Coxeter diagram of H4 with quaternionic simple roots The icosians of the binary icosahedral group I are classified in Table I according to the conjugacy classes. Denote by p, q and r any three elements of I. The transformations defined by [p, r]: q pqr (3) → [p, r]∗ : q pqr (4) → preserve the norm qq = qq as well as leave the set of icosians I intact so that the pairs [p, r] and [p, r]∗ represent the group elements of W (H4). Since [p, r] = [ p, r] and [p, r] = [ p, r] the W (H4) consists of 120 120 = 14400 − − − − × elements. Details can be found in reference [11]. The element [1, 1]∗ acts as a conjugation, [1, 1]∗ : q q, which is → the normalizer of the subgroup SO(4) so that O(4) can be written as the semi-direct product O(4) SO(4) Z2. ≈ × It follows from this structure that one of the maximal subgroup W (H4)′ of order 7200 is obviously a maximal finite subgroup of SO(4). The group W (H4)′ can be represented by the pair [p, r], p, r I, possessing 42 conjugacy classes. ∈ 3 It is easily found from the structure of the conjugacy classes of I in Table I that the maximal subgroups of I can be generated by the sets of quaternions[15] 1 Dihedral groupof order12 : (1 + τe1 + σe2),e3 (5) 2 1 Dihedral groupof order20 : (τ + σe1 + e2),e3 (6) 2 1 Binary tetrahedral group of order 24 : (1 + e1 + e2 + e3),e3 (7) 2 These generators are the representative elements of the conjugacy classes of the maximal subgroups of I. The binary icosahedral group has two quaternionic irreducible representations. If we denote by I′ the other quaternionic representation it can be obtained from I by interchanging σ τ in Table I. We will use both representations in section . ↔ THE MAXIMAL SUBGROUP OF ORDER 144 A little exercise shows that the set of elements in Eq. 5 constitute the root system of the Lie algebra A2 A2′ where the simple roots are given in Figure 2. ⊕ e3a e3a t t ⊕ t t a a ⊕ 1 1 − − FIG. 2: Dynkin diagram of A2 A2′ with the elements of dihedral group of order 12 (a = 2 (1+τe1 +σe2) , a = 2 (1 τe1 σe2) ). We have used one of the four dimensional irreducible matrix representations of W (H4) to identify its maximal subgroups via computer calculations which resulted in those six maximal subgroups. Our main objective here is to construct the elements of the maximal subgroups using pairs of quaternions described in (3-4). In each section we give arguments - though not very rigorous - that the groups of concern are maximal in W (H4). We take the computer calculations as evidence for the completeness of the maximal subgroups. The rigorous proof is beyond the scope of this paper. 6 It follows that the sets ( a, a, 1), (a = 1) and ( e3a, e3a, e3) constitute the roots of A2 and A′ respectively. ± ± ± ± ± ± 2 Then the generators of the Weyl groups W (A2) and W (A2′ ) are the group elements[16] r1 = [a, a]∗, r2 = [a, a]∗ (8) − − r′ = [e3a, e3a]∗, r′ = [e3a, e3a]∗. (9) 1 − 2 − The sets of elements of W (A2) and W (A2′ ) can be easily generated by (8) and (9): W (A2) D3 S3 :[a, a]∗, [a, a]∗, [1, 1]∗, [a,a], [a, a], [1, 1] (10) ≈ ≈ − − − W (A′ ) D3 S3 : 2 ≈ ≈ [e3a, e3a]∗, [e3a, e3a]∗, [e3, e3]∗, [a, a], [a, a], [1, 1].
Recommended publications
  • 324 COHOMOLOGY of DIHEDRAL GROUPS of ORDER 2P Let D Be A
    324 PHYLLIS GRAHAM [March 2. P. M. Cohn, Unique factorization in noncommutative power series rings, Proc. Cambridge Philos. Soc 58 (1962), 452-464. 3. Y. Kawada, Cohomology of group extensions, J. Fac. Sci. Univ. Tokyo Sect. I 9 (1963), 417-431. 4. J.-P. Serre, Cohomologie Galoisienne, Lecture Notes in Mathematics No. 5, Springer, Berlin, 1964, 5. , Corps locaux et isogênies, Séminaire Bourbaki, 1958/1959, Exposé 185 6. , Corps locaux, Hermann, Paris, 1962. UNIVERSITY OF MICHIGAN COHOMOLOGY OF DIHEDRAL GROUPS OF ORDER 2p BY PHYLLIS GRAHAM Communicated by G. Whaples, November 29, 1965 Let D be a dihedral group of order 2p, where p is an odd prime. D is generated by the elements a and ]3 with the relations ap~fi2 = 1 and (ial3 = or1. Let A be the subgroup of D generated by a, and let p-1 Aoy Ai, • • • , Ap-\ be the subgroups generated by j8, aft, • * • , a /3, respectively. Let M be any D-module. Then the cohomology groups n n H (A0, M) and H (Aif M), i=l, 2, • • • , p — 1 are isomorphic for 1 l every integer n, so the eight groups H~ (Df Af), H°(D, M), H (D, jfef), 2 1 Q # (A Af), ff" ^. M), H (A, M), H-Wo, M), and H»(A0, M) deter­ mine all cohomology groups of M with respect to D and to all of its subgroups. We have found what values this array takes on as M runs through all finitely generated -D-modules. All possibilities for the first four members of this array are deter­ mined as a special case of the results of Yang [4].
    [Show full text]
  • Dihedral Groups Ii
    DIHEDRAL GROUPS II KEITH CONRAD We will characterize dihedral groups in terms of generators and relations, and describe the subgroups of Dn, including the normal subgroups. We will also introduce an infinite group that resembles the dihedral groups and has all of them as quotient groups. 1. Abstract characterization of Dn −1 −1 The group Dn has two generators r and s with orders n and 2 such that srs = r . We will show every group with a pair of generators having properties similar to r and s admits a homomorphism onto it from Dn, and is isomorphic to Dn if it has the same size as Dn. Theorem 1.1. Let G be generated by elements x and y where xn = 1 for some n ≥ 3, 2 −1 −1 y = 1, and yxy = x . There is a surjective homomorphism Dn ! G, and if G has order 2n then this homomorphism is an isomorphism. The hypotheses xn = 1 and y2 = 1 do not mean x has order n and y has order 2, but only that their orders divide n and divide 2. For instance, the trivial group has the form hx; yi where xn = 1, y2 = 1, and yxy−1 = x−1 (take x and y to be the identity). Proof. The equation yxy−1 = x−1 implies yxjy−1 = x−j for all j 2 Z (raise both sides to the jth power). Since y2 = 1, we have for all k 2 Z k ykxjy−k = x(−1) j by considering even and odd k separately. Thus k (1.1) ykxj = x(−1) jyk: This shows each product of x's and y's can have all the x's brought to the left and all the y's brought to the right.
    [Show full text]
  • MAT313 Fall 2017 Practice Midterm II the Actual Midterm Will Consist of 5-6 Problems
    MAT313 Fall 2017 Practice Midterm II The actual midterm will consist of 5-6 problems. It will be based on subsections 127-234 from sections 6-11. This is a preliminary version. I might add few more problems to make sure that all important concepts and methods are covered. Problem 1. 2 Let P be a set of lines through 0 in R . The group SL(2; R) acts on X by linear transfor- mations. Let H be the stabilizer of a line defined by the equation y = 0. (1) Describe the set of matrices H. (2) Describe the orbits of H in X. How many orbits are there? (3) Identify X with the set of cosets of SL(2; R). Solution. (1) Denote the set of lines by P = fLm;ng, where Lm;n is equal to f(x; y)jmx+ny = 0g. a b Note that Lkm;kn = Lm;n if k 6= 0. Let g = c d , ad − bc = 1 be an element of SL(2; R). Then gLm;n = f(x; y)jm(ax + by) + n(cx + dy) = 0g = Lma+nc;mb+nd. a b By definition the line f(x; y)jy = 0g is equal to L0;1. Then c d L0;1 = Lc;d. The line Lc;d coincides with L0;1 if c = 0. Then the stabilizer Stab(L0;1) coincides with a b H = f 0 d g ⊂ SL(2; R). (2) We already know one trivial H-orbit O = fL0;1g. The complement PnfL0;1g is equal to fLm:njm 6= 0g = fL1:n=mjm 6= 0g = fL1:tg.
    [Show full text]
  • Notes on Geometry of Surfaces
    Notes on Geometry of Surfaces Contents Chapter 1. Fundamental groups of Graphs 5 1. Review of group theory 5 2. Free groups and Ping-Pong Lemma 8 3. Subgroups of free groups 15 4. Fundamental groups of graphs 18 5. J. Stalling's Folding and separability of subgroups 21 6. More about covering spaces of graphs 23 Bibliography 25 3 CHAPTER 1 Fundamental groups of Graphs 1. Review of group theory 1.1. Group and generating set. Definition 1.1. A group (G; ·) is a set G endowed with an operation · : G × G ! G; (a; b) ! a · b such that the following holds. (1) 8a; b; c 2 G; a · (b · c) = (a · b) · c; (2) 91 2 G: 8a 2 G, a · 1 = 1 · a. (3) 8a 2 G, 9a−1 2 G: a · a−1 = a−1 · a = 1. In the sequel, we usually omit · in a · b if the operation is clear or understood. By the associative law, it makes no ambiguity to write abc instead of a · (b · c) or (a · b) · c. Examples 1.2. (1)( Zn; +) for any integer n ≥ 1 (2) General Linear groups with matrix multiplication: GL(n; R). (3) Given a (possibly infinite) set X, the permutation group Sym(X) is the set of all bijections on X, endowed with mapping composition. 2 2n −1 −1 (4) Dihedral group D2n = hr; sjs = r = 1; srs = r i. This group can be visualized as the symmetry group of a regular (2n)-polygon: s is the reflection about the axe connecting middle points of the two opposite sides, and r is the rotation about the center of the 2n-polygon with an angle π=2n.
    [Show full text]
  • Dihedral Group of Order 8 (The Number of Elements in the Group) Or the Group of Symmetries of a Square
    CHAPTER 1 Introduction to Groups Symmetries of a Square A plane symmetry of a square (or any plane figure F ) is a function from the square to itself that preserves distances, i.e., the distance between the images of points P and Q equals the distance between P and Q. The eight symmetries of a square: 22 1. INTRODUCTION TO GROUPS 23 These are all the symmetries of a square. Think of a square cut from a piece of glass with dots of di↵erent colors painted on top in the four corners. Then a symmetry takes a corner to one of four corners with dot up or down — 8 possibilities. A succession of symmetries is a symmetry: Since this is a composition of functions, we write HR90 = D, allowing us to view composition of functions as a type of multiplication. Since composition of functions is associative, we have an operation that is both closed and associative. R0 is the identity: for any symmetry S, R0S = SR0 = S. Each of our 1 1 1 symmetries S has an inverse S− such that SS− = S− S = R0, our identity. R0R0 = R0, R90R270 = R0, R180R180 = R0, R270R90 = R0 HH = R0, V V = R0, DD = R0, D0D0 = R0 We have a group. This group is denoted D4, and is called the dihedral group of order 8 (the number of elements in the group) or the group of symmetries of a square. 24 1. INTRODUCTION TO GROUPS We view the Cayley table or operation table for D4: For HR90 = D (circled), we find H along the left and R90 on top.
    [Show full text]
  • Chapter 1 GENERAL STRUCTURE and PROPERTIES
    Chapter 1 GENERAL STRUCTURE AND PROPERTIES 1.1 Introduction In this Chapter we would like to introduce the main de¯nitions and describe the main properties of groups, providing examples to illustrate them. The detailed discussion of representations is however demanded to later Chapters, and so is the treatment of Lie groups based on their relation with Lie algebras. We would also like to introduce several explicit groups, or classes of groups, which are often encountered in Physics (and not only). On the one hand, these \applications" should motivate the more abstract study of the general properties of groups; on the other hand, the knowledge of the more important and common explicit instances of groups is essential for developing an e®ective understanding of the subject beyond the purely formal level. 1.2 Some basic de¯nitions In this Section we give some essential de¯nitions, illustrating them with simple examples. 1.2.1 De¯nition of a group A group G is a set equipped with a binary operation , the group product, such that1 ¢ (i) the group product is associative, namely a; b; c G ; a (b c) = (a b) c ; (1.2.1) 8 2 ¢ ¢ ¢ ¢ (ii) there is in G an identity element e: e G such that a e = e a = a a G ; (1.2.2) 9 2 ¢ ¢ 8 2 (iii) each element a admits an inverse, which is usually denoted as a¡1: a G a¡1 G such that a a¡1 = a¡1 a = e : (1.2.3) 8 2 9 2 ¢ ¢ 1 Notice that the axioms (ii) and (iii) above are in fact redundant.
    [Show full text]
  • Problems and Solutions for Groups, Lie Groups, Lie Algebras With
    Chapter 1 Groups A group G is a set of objects f a; b; c; : : : g (not necessarily countable) to- gether with a binary operation which associates with any ordered pair of elements a; b in G a third element ab in G (closure). The binary operation (called group multiplication) is subject to the following requirements: 1) There exists an element e in G called the identity element (also called neutral element) such that eg = ge = g for all g 2 G. 2) For every g 2 G there exists an inverse element g−1 in G such that gg−1 = g−1g = e. 3) Associative law. The identity (ab)c = a(bc) is satisfied for all a; b; c 2 G. If ab = ba for all a; b 2 G we call the group commutative. If G has a finite number of elements it has finite order n(G), where n(G) is the number of elements. Otherwise, G has infinite order. Lagrange theorem tells us that the order of a subgroup of a finite group is a divisor of the order of the group. If H is a subset of the group G closed under the group operation of G, and if H is itself a group under the induced operation, then H is a subgroup of G. Let G be a group and S a subgroup. If for all g 2 G, the right coset Sg := f sg : s 2 S g 1 2 Problems and Solutions is equal to the left coset gS := f gs : s 2 S g then we say that the subgroup S is a normal or invariant subgroup of G.
    [Show full text]
  • Dihedral Groups
    Dihedral Groups R. C. Daileda 2 Let n ≥ 3 be an integer and consider a regular closed n-sided polygon Pn in R . Cut P 2 3 2 free from R along its edges, (rigidly) manipulate it in R , and return Pn to fill the hole in R that was left behind. This yields a bijection of Pn with itself, one that maps edges to edges, and pairs of adjacent vertices to adjacent vertices. The set of all such elements in Perm(Pn) obtained in this way is called the dihedral group (of symmetries of Pn) and is denoted by 1 Dn. We claim that Dn is a subgroup of Perm(Pn) of order 2n. Since we can always just leave Pn unmoved, Dn contains the identity function. And 3 since any manipulation of Pn in R that yields an element of Dn can certainly be reversed, 3 Dn contains the inverse of every one of its elements. And since manipulating Pn in R , returning it to the plane, picking it up and manipulating it again, and then returning it once 2 more to R , can be considered a single 3-D manipulation, we find that Dn is closed under 2 composition. This proves that Dn is a subgroup of Perm(Pn). Now we need to count Dn. Every element of Dn can be described in terms of the final position of Pn after spatial manipulation. Before moving Pn, label its vertices with 1; 2; : : : ; n in counterclockwise order, starting with some fixed vertex. Label the vertices of its \hole" 2 (complement in R ) to match.
    [Show full text]
  • How Commutative Are Direct Products of Dihedral Groups?
    VOL. 84, NO. 2, APRIL 2011 137 How Commutative Are Direct Products of Dihedral Groups? CODYCLIFTON University of Kansas Lawrence, KS 66045 [email protected] DAVIDGUICHARD Whitman College Walla Walla, WA, 99362 [email protected] PATRICKKEEF Whitman College Walla Walla, WA, 99362 [email protected] In his popular text on abstract algebra, Gallian describes a way to measure the commu- tativity of a finite group G [3, pp. 397–398]. An ordered pair .a; b/ 2 G × G is said to be commuting if ab D ba. If Comm.G/ is the number of commuting pairs, then let Pr.G/ D Comm.G/=jGj2 (where jSj is the cardinality of the set S). In other words, Pr.G/ is the probability that two randomly selected elements of the group actually commute. A great deal is known about the set of fractions that can occur as Pr.G/ for some group G [2, 4, 6, 7]. For example, if 1=2 < x ≤ 1, then there is a group G with x D Pr.G/ if and only if x D .1 C 4k /=.2 · 4k / for some non-negative integer k (see the chart on p. 246 of [7]). For example, if k D 0, then Pr.G/ D 1 and G is abelian. And if k D 1, then x D 5=8 is the largest value of P.G/ for a non-abelian group. In addition, the only other possible values of P.G/ greater than 11=32 are 3=8, 25=64, 2=5, 11=27, 7=16, and 1=2.
    [Show full text]
  • Lecture Notes Group Theory
    Lecture Notes Group Theory Course held by Notes written by Prof. Kenichi Konishi Francesco Paolo Maiale Department of Mathematics Pisa University February 17, 2018 Disclaimer These are the notes I have written during the Group Theory course, held by Professor Kenichi Konishi in the first semester of the academic year 2017/2018. These include all the topics that were discussed during the lectures, but I took the liberty to extend the Mathematical side (e.g., the homotopy group chapter). To report any mistakes, misprints, or if you have any question, feel free to send me an email to francescopaolo (dot) maiale (at) gmail (dot) com. Acknowledgments I would like to thank the user Gonzalo Medina, from StackExchange, for the code (avail- able here) of the margin notes frame. Contents I Representation Theory7 1 Group Theory8 1.1 Set Theory.....................................8 1.2 Elementary Definitions and Basic Examples................... 10 1.2.1 Main Examples in Physics......................... 12 1.2.2 Back to Group Theory........................... 17 1.3 Finite Groups.................................... 21 2 Lie Groups and Lie Algebras 25 2.1 Definitions and Main Properties.......................... 25 2.1.1 Local Behavior: Lie Algebras....................... 26 2.1.2 Adjoint Representation.......................... 27 2.1.3 Examples.................................. 28 2.2 Lie Algebra..................................... 30 2.2.1 SubAlgebras................................ 31 2.3 Killing Form.................................... 32 2.3.1 Examples.................................. 33 2.4 Casimir Operator.................................. 34 3 The Fundamental Group π1(M) 36 3.1 Topological Spaces................................. 36 3.2 Homotopy...................................... 37 3.2.1 Path-Components............................. 38 3.2.2 Homotopy.................................. 39 3.3 The Fundamental Group.............................. 40 3.3.1 Path Homotopy..............................
    [Show full text]
  • Mathematics 1214: Introduction to Group Theory Solutions to Exercise Sheet 11
    Mathematics 1214: Introduction to Group Theory Solutions to exercise sheet 11 1. Let n ≥ 3 and let Dn be the dihedral group of order 2n. Writing ρ = ρ2π/n, show that hρi is a −1 normal subgroup of Dn. [Hint: if r is reflection in the x-axis, then r ◦ρ = ρ ◦r, and the reflections j in Dn are rj = ρ ◦ r for 0 ≤ j < n.] What is the order of the quotient group Dn/hρi? Solution Let θ : Dn → {−1, 1} be given by defining θ(α) = 1 if α is a proper motion, and θ(α) = −1 if α is an improper motion. By homework exercise sheet 5, question 5(d), θ is then a homomorphism into the group {−1, 1} with multiplication. Moreover, the proper motions in Dn are 2 n−1 precisely e,ρ,ρ ,...,ρ (since these are orientation-preserving elements of Dn, and the remaining elements are all reflections, hence orientation-reversing), so ker θ = {α ∈ Dn : θ(α) = 1} = hρi, hence hρi is a normal subgroup of Dn by Theorem 47. Alternatively, we could avoid having to dream up a suitable homomorphism, and instead use the definition of “normal subgroup” directly. Let N = hρi. We have to check that if n ∈ N and g ∈ Dn then gng−1 ∈ N. If g ∈ N then gng−1 ∈ N, since N is a subgroup. j −1 j −1 If g 6∈ N then g is one of the reflections in Dn, say g = rj = ρ ◦ r. Then g = (ρ ◦ r) = r−1◦(ρj)−1 = r◦ρ−j.
    [Show full text]
  • The Dihedral Groups
    Prof. Alexandru Suciu MATH 3175 Group Theory Fall 2010 The dihedral groups The general setup. The dihedral group Dn is the group of symmetries of a regular polygon with n vertices. We think of this polygon as having vertices on the unit circle, with vertices labeled 0; 1; : : : ; n − 1 starting at (1; 0) and proceeding counterclockwise at angles in multiples of 360=n degrees, that is, 2π=n radians. There are two types of symmetries of the n-gon, each one giving rise to n elements in the group Dn: • Rotations R0;R1;:::;Rn−1, where Rk is rotation of angle 2πk=n. • Reflections S0;S1;:::;Sn−1, where Sk is reflection about the line through the origin and making an angle of πk=n with the horizontal axis. The group operation is given by composition of symmetries: if a and b are two elements in Dn, then a · b = b ◦ a. That is to say, a · b is the symmetry obtained by applying first a, followed by b. The elements of Dn can be thought as linear transformations of the plane, leaving the given n-gon invariant. This lets us represent the elements of Dn as 2×2 matrices, with group operation corresponding to matrix multiplication. Specifically, cos(2πk=n) − sin(2πk=n) R = ; k sin(2πk=n) cos(2πk=n) cos(2πk=n) sin(2πk=n) S = : k sin(2πk=n) − cos(2πk=n) It is now a simple matter to verify that the following relations hold in Dn: Ri · Rj = Ri+j Ri · Sj = Si+j Si · Rj = Si−j Si · Sj = Ri−j where 0 ≤ i; j ≤ n − 1, and both i + j and i − j are computed modulo n.
    [Show full text]