DOCSLIB.ORG

Physics751: Group Theory (For Physicists)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Physics751: Group Theory (For Physicists) physics751: Group Theory (for Physicists) Christoph L¨udeling [email protected] Office AVZ 124, Phone 73 3163 http://www.th.physik.uni-bonn.de/nilles/people/luedeling/grouptheory/ August 16, 2010 Contents 1 Preliminaries 5 1.1 AboutTheseNotes .............................. 5 1.2 TimeandPlace ................................ 5 1.3 Tutorials.................................... 5 1.4 ExamandRequirements . 6 1.5 Literature ................................... 6 2 Groups: General Properties 8 2.1 Motivation: WhyGroupTheory? . 8 2.2 Definition,Examples ............................. 10 2.2.1 Examples ............................... 12 2.3 SubgroupsandCosets ............................ 13 2.4 Conjugates,NormalSubgroups . 14 2.5 QuotientGroups ............................... 16 2.6 GroupHomomorphisms ........................... 16 2.7 ProductGroups................................ 20 2.8 Summary ................................... 21 3 Representations 22 3.1 GeneralGroupActions. 22 3.2 Representations ................................ 24 3.3 Unitarity.................................... 25 3.4 Reducibility .................................. 26 3.5 DirectSumsandTensorProducts . 28 3.6 Schur’sLemma ................................ 29 3.7 EigenstatesinQuantumMechanics . 31 3.8 Tensor Operators, Wigner–Eckart Theorem . 32 3.8.1 TensorOperators ........................... 33 3.8.2 Matrix elements of Tensor Operators . 34 3.9 Summary ................................... 36 4 Discrete Groups 37 4.1 TheSymmetricGroup ............................ 38 4.1.1 Cycles, Order of a Permutation . 38 2 4.1.2 Cayley’s Theorem . 40 4.1.3 Conjugacy Classes . 40 4.2 Representations ................................ 42 4.2.1 The Regular Representation . 42 4.2.2 Orthogonality Relations . 43 4.3 Characters................................... 46 4.3.1 Finding Components of Representations . 47 4.3.2 Conjugacy Classes and Representations . 48 4.4 RepresentationsoftheSymmetricGroup . 51 4.4.1 Reducibility and Projectors . 51 4.4.2 Young Tableaux and Young Operators . 52 4.4.3 Characters,theHookRule . 55 4.5 Summary ................................... 56 5 Lie Groups and Lie Algebras 58 5.1 Definition,Examples ............................. 58 5.1.1 Examples,Topology . 60 5.2 SomeDifferentialGeometry . 62 5.2.1 TangentVectors. 62 5.2.2 VectorFields ............................. 63 5.3 TheLieAlgebra................................ 65 5.4 MatrixGroups ................................ 67 5.4.1 TheLieAlgebraofMatrixGroups . 67 5.4.2 Lie Algebras of GL(n, Ã)andSubgroups . 68 5.5 FromtheAlgebratotheGroup . 69 5.5.1 Lie’sThirdTheorem . 69 5.5.2 TheExponentialMap . 70 5.6 Summary ................................... 73 6 Representations of Lie Algebras 74 6.1 Generalities .................................. 74 6.1.1 StructureConstants . 74 6.1.2 Representations. 75 6.1.3 The Adjoint Representation . 75 6.1.4 KillingForm.............................. 76 6.1.5 Subalgebras .............................. 77 6.1.6 Real and Complex Lie Algebras . 78 6.2 Representations of su(2) ........................... 78 6.2.1 Diagonalising the Adjoint Representation . 79 6.2.2 Constructing an Irreducible Representation . .... 79 6.2.3 Decomposing a General Representation . 81 6.3 TheCartan–WeylBasis ........................... 82 6.3.1 TheCartanSubalgebra. 82 6.3.2 Roots ................................. 83 3 6.4 RootsandWeights .............................. 86 6.4.1 TheMasterFormula . 86 6.4.2 GeometryofRoots .......................... 87 6.4.3 Example: su(3)............................ 88 6.5 PositiveandSimpleRoots . 91 6.5.1 Example: su(3)............................ 94 6.5.2 ConstructingtheAlgebra . 94 6.6 Representations and Fundamental Weights . .... 95 6.6.1 Highest Weight Construction . 95 6.6.2 FundamentalWeights. 96 6.7 Cartan Matrix, Dynkin Diagrams . 98 6.7.1 TheCartanMatrix .......................... 98 6.7.2 DynkinDiagrams ........................... 99 6.8 Classification of Simple Lie Algebras . 99 6.8.1 ΠSystems............................... 99 6.8.2 Constraints .............................. 100 6.9 The Dynkin Diagrams of the Classical Groups . 104 6.9.1 su(n).................................. 104 6.9.2 so(n).................................. 107 6.9.3 sp(n).................................. 111 6.10 A Note on Complex Representations . 113 6.11 Young Tableaux for SU(n).......................... 115 6.11.1 ProductsofRepresentations . 116 6.12Subalgebras .................................. 117 6.13 SpinorsandCliffordAlgebra. 120 6.14CasimirOperators .............................. 121 6.15Summary ................................... 123 4 Chapter 1 Preliminaries 1.1 About These Notes These are the full lecture notes, i.e. including up to Chapter 6, which deals with repre- sentations of Lie algebras. Most likely there are still errors – please report them to me so I can fix them in later versions! When reading the notes, you should also do the exercises which test your under- standing and flesh out the concepts with explicit examples and calculations. Doing the exercises is what makes you learn this (and any other) topic! 1.2 Time and Place This is a three-hour course. Lectures will be on Wednesday from 14 to 16 and on Friday from 9 to 10. Since lecture period is from April 12 to July 23, with a break from May 25 to 29, i.e. 14 weeks, and Dies Academicus on Wednesday May 19, there will be 13 two-hour and 14 one-hour lectures. The problem sheets, lecture notes (chapter by chapter, delayed with respect to the lecture) and further information will be posted on http://www.th.physik.uni-bonn.de/nilles/people/luedeling/grouptheory/ 1.3 Tutorials There are three tutorial groups: Monday 10–12, Raum 5 AVZ, Thomas Wotschke • Tuesday 10–12, Raum 5 AVZ, Daniel Lopes • Wednesday 10–12, Raum 118 AVZ (H¨orsaal), Marco Rauch. • Problems will be handed out in week n, solved during the week, collected and discussed in week n + 1, corrected during the next week and returned in week n + 2. Problems can be solved in groups of two students. 5 1.4 Exam and Requirements To be allowed in the exam, a student needs to have obtained 50 % of the problem sheet points AND presented two solution on the blackboard. Exam will be written the on the first Tuesday after the term, July 27. If required, a resit will be offered at the end of the term break, i.e. late September or early October. 1.5 Literature There are many books on this subject, ranging from formal to applied. Here I give a selection. Furthermore, many lecture notes are available on the web. In particular, I have partially followed the lecture notes of Michael Ratz (TU Munich), which are unfortunately not freely available on the web. H. Georgi, “Lie Algebras In Particle Physics. From Isospin To Unified Theories,” • Westview Press (Front. Phys. 54) (1982) 1. A classic, very accessible. A second edition has come out in 1999, containing also a nice chapter on discrete groups. M. Hamermesh, “Group Theory and Its Application to Physical Problems,” • Addison–Wesley Publishing (1962) A classical reference, in particular for discrete groups and applications in quantum mechanics. H. Weyl,“Quantum mechanics and group theory,” Z. Phys. 46 (1927) 1. • One of the original foundations of the use of symmetry in quantum mechanics R. N. Cahn, “Semisimple Lie Algebras And Their Representations,” Menlo Park, • USA: Benjamin/Cummings ( 1984) 158 P. ( Frontiers In Physics, 59) (Available online at http://phyweb.lbl.gov/~rncahn/www/liealgebras/book.html) Short book, available for free H. F. Jones, “Groups, representations and physics,” Bristol, UK: Hilger (1990) • 287 p Also discusses finite groups and quantum mechanics, mathematically simple R. Gilmore, “Lie Groups, Lie Algebras, and Some of Their Applications,” New • York, USA: Wiley Interscience (1974) Covers mainly mathematical aspects of Lie groups, supplies some proofs omitted in the lecture W. Fulton and R. Harris, “Representation Theory: A First Course”, Springer • Graduate Text in Mathematics 1991 Modern Treatment, mathematical but very accessible 6 J. Fuchs and C. Schweigert, “Symmetries, Lie Algebras And Representations: A • Graduate Course For Physicists,” Cambridge, UK: Univ. Pr. (1997) 438 p Rather formal and advanced treatment, for the mathematically interested R. Slansky, “Group Theory For Unified Model Building,” Phys. Rept. 79, 1 • (1981). Invaluable reference: Contains a large appendix with loads of tables of representations and branching rules. M. Nakahara, “Geometry, topology and physics,” Bristol, UK: Institute of • Physics Publishing (2003) 596 p. (Graduate student series in physics) Very useful book, covers in particular the differential geometry aspects of Lie groups. Generally recommended for particle theorists. 7 Chapter 2 Groups: General Properties 2.1 Motivation: Why Group Theory? Why are there lectures called “Group Theory for Physicists”? In the end, this is a math- ematical subject, so why don’t students interested in the topic attend a mathematics lecture? After all, there are very few lectures like “Number Theory for Physicists”. This is captured in a statement made by James Jeans in 1910 while discussing a syllabus1: “We may as well cut out the group theory. That is a subject that will never be of any use in physics.” Only few decades later, however, Heisenberg said2 “We will have to abandon the philosophy of Democritus and the concept of elementary particles. We should accept instead the concept of elementary symmetries.” This explains why group theory is im- portant in almost any area
Load more

Recommended publications
  • Quotient Groups §7.8 (Ed.2), 8.4 (Ed.2): Quotient Groups and Homomorphisms, Part I
    Math 371 Lecture #33 x7.7 (Ed.2), 8.3 (Ed.2): Quotient Groups x7.8 (Ed.2), 8.4 (Ed.2): Quotient Groups and Homomorphisms, Part I Recall that to make the set of right cosets of a subgroup K in a group G into a group under the binary operation (or product) (Ka)(Kb) = K(ab) requires that K be a normal subgroup of G. For a normal subgroup N of a group G, we denote the set of right cosets of N in G by G=N (read G mod N). Theorem 8.12. For a normal subgroup N of a group G, the product (Na)(Nb) = N(ab) on G=N is well-defined. We saw the proof of this before. Theorem 8.13. For a normal subgroup N of a group G, we have (1) G=N is a group under the product (Na)(Nb) = N(ab), (2) when jGj < 1 that jG=Nj = jGj=jNj, and (3) when G is abelian, so is G=N. Proof. (1) We know that the product is well-defined. The identity element of G=N is Ne because for all a 2 G we have (Ne)(Na) = N(ae) = Na; (Na)(Ne) = N(ae) = Na: The inverse of Na is Na−1 because (Na)(Na−1) = N(aa−1) = Ne; (Na−1)(Na) = N(a−1a) = Ne: Associativity of the product in G=N follows from the associativity in G: [(Na)(Nb)](Nc) = (N(ab))(Nc) = N((ab)c) = N(a(bc)) = (N(a))(N(bc)) = (N(a))[(N(b))(N(c))]: This establishes G=N as a group.
    [Show full text]
  • The Unitary Representations of the Poincaré Group in Any Spacetime
    The unitary representations of the Poincar´e group in any spacetime dimension Xavier Bekaert a and Nicolas Boulanger b a Institut Denis Poisson, Unit´emixte de Recherche 7013, Universit´ede Tours, Universit´ed’Orl´eans, CNRS, Parc de Grandmont, 37200 Tours (France) [email protected] b Service de Physique de l’Univers, Champs et Gravitation Universit´ede Mons – UMONS, Place du Parc 20, 7000 Mons (Belgium) [email protected] An extensive group-theoretical treatment of linear relativistic field equa- tions on Minkowski spacetime of arbitrary dimension D > 2 is presented in these lecture notes. To start with, the one-to-one correspondence be- tween linear relativistic field equations and unitary representations of the isometry group is reviewed. In turn, the method of induced representa- tions reduces the problem of classifying the representations of the Poincar´e group ISO(D 1, 1) to the classification of the representations of the sta- − bility subgroups only. Therefore, an exhaustive treatment of the two most important classes of unitary irreducible representations, corresponding to massive and massless particles (the latter class decomposing in turn into the “helicity” and the “infinite-spin” representations) may be performed via the well-known representation theory of the orthogonal groups O(n) (with D 4 <n<D ). Finally, covariant field equations are given for each − unitary irreducible representation of the Poincar´egroup with non-negative arXiv:hep-th/0611263v2 13 Jun 2021 mass-squared. Tachyonic representations are also examined. All these steps are covered in many details and with examples. The present notes also include a self-contained review of the representation theory of the general linear and (in)homogeneous orthogonal groups in terms of Young diagrams.
    [Show full text]
  • Group Theory
    Appendix A Group Theory This appendix is a survey of only those topics in group theory that are needed to understand the composition of symmetry transformations and its consequences for fundamental physics. It is intended to be self-contained and covers those topics that are needed to follow the main text. Although in the end this appendix became quite long, a thorough understanding of group theory is possible only by consulting the appropriate literature in addition to this appendix. In order that this book not become too lengthy, proofs of theorems were largely omitted; again I refer to other monographs. From its very title, the book by H. Georgi [211] is the most appropriate if particle physics is the primary focus of interest. The book by G. Costa and G. Fogli [102] is written in the same spirit. Both books also cover the necessary group theory for grand unification ideas. A very comprehensive but also rather dense treatment is given by [428]. Still a classic is [254]; it contains more about the treatment of dynamical symmetries in quantum mechanics. A.1 Basics A.1.1 Definitions: Algebraic Structures From the structureless notion of a set, one can successively generate more and more algebraic structures. Those that play a prominent role in physics are defined in the following. Group A group G is a set with elements gi and an operation ◦ (called group multiplication) with the properties that (i) the operation is closed: gi ◦ g j ∈ G, (ii) a neutral element g0 ∈ G exists such that gi ◦ g0 = g0 ◦ gi = gi , (iii) for every gi exists an −1 ∈ ◦ −1 = = −1 ◦ inverse element gi G such that gi gi g0 gi gi , (iv) the operation is associative: gi ◦ (g j ◦ gk) = (gi ◦ g j ) ◦ gk.
    [Show full text]
  • Lie Group Structures on Quotient Groups and Universal Complexifications for Infinite-Dimensional Lie Groups
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Functional Analysis 194, 347–409 (2002) doi:10.1006/jfan.2002.3942 Lie Group Structures on Quotient Groups and Universal Complexifications for Infinite-Dimensional Lie Groups Helge Glo¨ ckner1 Department of Mathematics, Louisiana State University, Baton Rouge, Louisiana 70803-4918 E-mail: [email protected] Communicated by L. Gross Received September 4, 2001; revised November 15, 2001; accepted December 16, 2001 We characterize the existence of Lie group structures on quotient groups and the existence of universal complexifications for the class of Baker–Campbell–Hausdorff (BCH–) Lie groups, which subsumes all Banach–Lie groups and ‘‘linear’’ direct limit r r Lie groups, as well as the mapping groups CK ðM; GÞ :¼fg 2 C ðM; GÞ : gjM=K ¼ 1g; for every BCH–Lie group G; second countable finite-dimensional smooth manifold M; compact subset SK of M; and 04r41: Also the corresponding test function r r # groups D ðM; GÞ¼ K CK ðM; GÞ are BCH–Lie groups. 2002 Elsevier Science (USA) 0. INTRODUCTION It is a well-known fact in the theory of Banach–Lie groups that the topological quotient group G=N of a real Banach–Lie group G by a closed normal Lie subgroup N is a Banach–Lie group provided LðNÞ is complemented in LðGÞ as a topological vector space [7, 30]. Only recently, it was observed that the hypothesis that LðNÞ be complemented can be omitted [17, Theorem II.2]. This strengthened result is then used in [17] to characterize those real Banach–Lie groups which possess a universal complexification in the category of complex Banach–Lie groups.
    [Show full text]
  • The Category of Generalized Lie Groups 283
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 199, 1974 THE CATEGORYOF GENERALIZEDLIE GROUPS BY SU-SHING CHEN AND RICHARD W. YOH ABSTRACT. We consider the category r of generalized Lie groups. A generalized Lie group is a topological group G such that the set LG = Hom(R, G) of continuous homomorphisms from the reals R into G has certain Lie algebra and locally convex topological vector space structures. The full subcategory rr of f-bounded (r positive real number) generalized Lie groups is shown to be left complete. The class of locally compact groups is contained in T. Various prop- erties of generalized Lie groups G and their locally convex topological Lie algebras LG = Horn (R, G) are investigated. 1. Introduction. The category FT of finite dimensional Lie groups does not admit arbitrary Cartesian products. Therefore we shall enlarge the category £r to the category T of generalized Lie groups introduced by K. Hofmann in [ll]^1) The category T contains well-known subcategories, such as the category of compact groups [11], the category of locally compact groups (see §5) and the category of finite dimensional De groups. The Lie algebra LG = Horn (R, G) of a generalized Lie group G is a vital and important device just as in the case of finite dimensional Lie groups. Thus we consider the category SI of locally convex topological Lie algebras (§2). The full subcategory Í2r of /--bounded locally convex topological Lie algebras of £2 is roughly speaking the family of all objects on whose open semiballs of radius r the Campbell-Hausdorff formula holds.
    [Show full text]
  • Matrix Lie Groups
    Maths Seminar 2007 MATRIX LIE GROUPS Claudiu C Remsing Dept of Mathematics (Pure and Applied) Rhodes University Grahamstown 6140 26 September 2007 RhodesUniv CCR 0 Maths Seminar 2007 TALK OUTLINE 1. What is a matrix Lie group ? 2. Matrices revisited. 3. Examples of matrix Lie groups. 4. Matrix Lie algebras. 5. A glimpse at elementary Lie theory. 6. Life beyond elementary Lie theory. RhodesUniv CCR 1 Maths Seminar 2007 1. What is a matrix Lie group ? Matrix Lie groups are groups of invertible • matrices that have desirable geometric features. So matrix Lie groups are simultaneously algebraic and geometric objects. Matrix Lie groups naturally arise in • – geometry (classical, algebraic, differential) – complex analyis – differential equations – Fourier analysis – algebra (group theory, ring theory) – number theory – combinatorics. RhodesUniv CCR 2 Maths Seminar 2007 Matrix Lie groups are encountered in many • applications in – physics (geometric mechanics, quantum con- trol) – engineering (motion control, robotics) – computational chemistry (molecular mo- tion) – computer science (computer animation, computer vision, quantum computation). “It turns out that matrix [Lie] groups • pop up in virtually any investigation of objects with symmetries, such as molecules in chemistry, particles in physics, and projective spaces in geometry”. (K. Tapp, 2005) RhodesUniv CCR 3 Maths Seminar 2007 EXAMPLE 1 : The Euclidean group E (2). • E (2) = F : R2 R2 F is an isometry . → | n o The vector space R2 is equipped with the standard Euclidean structure (the “dot product”) x y = x y + x y (x, y R2), • 1 1 2 2 ∈ hence with the Euclidean distance d (x, y) = (y x) (y x) (x, y R2).
    [Show full text]
  • Quotient-Rings.Pdf
    4-21-2018 Quotient Rings Let R be a ring, and let I be a (two-sided) ideal. Considering just the operation of addition, R is a group and I is a subgroup. In fact, since R is an abelian group under addition, I is a normal subgroup, and R the quotient group is defined. Addition of cosets is defined by adding coset representatives: I (a + I)+(b + I)=(a + b)+ I. The zero coset is 0+ I = I, and the additive inverse of a coset is given by −(a + I)=(−a)+ I. R However, R also comes with a multiplication, and it’s natural to ask whether you can turn into a I ring by multiplying coset representatives: (a + I) · (b + I)= ab + I. I need to check that that this operation is well-defined, and that the ring axioms are satisfied. In fact, everything works, and you’ll see in the proof that it depends on the fact that I is an ideal. Specifically, it depends on the fact that I is closed under multiplication by elements of R. R By the way, I’ll sometimes write “ ” and sometimes “R/I”; they mean the same thing. I Theorem. If I is a two-sided ideal in a ring R, then R/I has the structure of a ring under coset addition and multiplication. Proof. Suppose that I is a two-sided ideal in R. Let r, s ∈ I. Coset addition is well-defined, because R is an abelian group and I a normal subgroup under addition. I proved that coset addition was well-defined when I constructed quotient groups.
    [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]
  • 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]
  • Representations of the Euclidean Group and Its Applications to the Kinematics of Spatial Chains
    REPRESENTATIONS OF THE EUCLIDEAN GROUP AND ITS APPLICATIONS TO THE KINEMATICS OF SPATIAL CHAINS By JOSE MARIA RICO MARTINEZ A DISSERTATION PRESENTED TO THE GRADUATE SCHOOL OF THE UNIVERSITY OF FLORIDA IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY UNIVERSITY OF FLORIDA 1988 LIBRARIES v ||miyBRSlTY_OF FLORIDA Copyright 1988 by Jose Maria Rico Martinez ACKNOWLEDGMENTS The author wishes to thank firstly his advisor Dr. Joseph Duffy for his guidance during the selection and development of the contents of this dissertation. Without his encouragement, in times when nothing fruitful seemed to evolve from the approaches followed, without his geometrical insight, and his quest for clarity, this dissertation would have plenty of errors. Nonetheless, the author is to blame for the remaining ones. Secondly, deep felt thanks go to the members of the supervisory committee for their invaluable criticism and for their teachings in the classroom. The faculty of the Mechanical Engineering Department, and in particular the faculty of the Center for Intelligent Machines and Robotics, must be thanked for the development of an atmosphere conductive to research. The contributions of the faculty of this center, including the visiting professors, can be found in many parts of this work. Special gratitude is owed to visiting professors Eric Primrose and Kenneth H. Hunt for their insightful comments. My thanks go also to my fellow students for their friendship and kindness. The economic support from the Mexican Ministry of Public Education and the Consejo Nacional de Ciencia y Tecnologia (CONACYT) is dutifully acknowledged. Finally, the author thanks his wife iii .
    [Show full text]
  • Quasi P Or Not Quasi P? That Is the Question
    Rose-Hulman Undergraduate Mathematics Journal Volume 3 Issue 2 Article 2 Quasi p or not Quasi p? That is the Question Ben Harwood Northern Kentucky University, [email protected] Follow this and additional works at: https://scholar.rose-hulman.edu/rhumj Recommended Citation Harwood, Ben (2002) "Quasi p or not Quasi p? That is the Question," Rose-Hulman Undergraduate Mathematics Journal: Vol. 3 : Iss. 2 , Article 2. Available at: https://scholar.rose-hulman.edu/rhumj/vol3/iss2/2 Quasi p- or not quasi p-? That is the Question.* By Ben Harwood Department of Mathematics and Computer Science Northern Kentucky University Highland Heights, KY 41099 e-mail: [email protected] Section Zero: Introduction The question might not be as profound as Shakespeare’s, but nevertheless, it is interesting. Because few people seem to be aware of quasi p-groups, we will begin with a bit of history and a definition; and then we will determine for each group of order less than 24 (and a few others) whether the group is a quasi p-group for some prime p or not. This paper is a prequel to [Hwd]. In [Hwd] we prove that (Z3 £Z3)oZ2 and Z5 o Z4 are quasi 2-groups. Those proofs now form a portion of Proposition (12.1) It should also be noted that [Hwd] may also be found in this journal. Section One: Why should we be interested in quasi p-groups? In a 1957 paper titled Coverings of algebraic curves [Abh2], Abhyankar conjectured that the algebraic fundamental group of the affine line over an algebraically closed field k of prime characteristic p is the set of quasi p-groups, where by the algebraic fundamental group of the affine line he meant the family of all Galois groups Gal(L=k(X)) as L varies over all finite normal extensions of k(X) the function field of the affine line such that no point of the line is ramified in L, and where by a quasi p-group he meant a finite group that is generated by all of its p-Sylow subgroups.
    [Show full text]
  • The Development and Understanding of the Concept of Quotient Group
    HISTORIA MATHEMATICA 20 (1993), 68-88 The Development and Understanding of the Concept of Quotient Group JULIA NICHOLSON Merton College, Oxford University, Oxford OXI 4JD, United Kingdom This paper describes the way in which the concept of quotient group was discovered and developed during the 19th century, and examines possible reasons for this development. The contributions of seven mathematicians in particular are discussed: Galois, Betti, Jordan, Dedekind, Dyck, Frobenius, and H61der. The important link between the development of this concept and the abstraction of group theory is considered. © 1993 AcademicPress. Inc. Cet article decrit la d6couverte et le d6veloppement du concept du groupe quotient au cours du 19i~me si~cle, et examine les raisons possibles de ce d6veloppement. Les contributions de sept math6maticiens seront discut6es en particulier: Galois, Betti, Jordan, Dedekind, Dyck, Frobenius, et H61der. Le lien important entre le d6veloppement de ce concept et l'abstraction de la th6orie des groupes sera consider6e. © 1993 AcademicPress, Inc. Diese Arbeit stellt die Entdeckung beziehungsweise die Entwicklung des Begriffs der Faktorgruppe wfihrend des 19ten Jahrhunderts dar und untersucht die m/)glichen Griinde for diese Entwicklung. Die Beitrfi.ge von sieben Mathematikern werden vor allem diskutiert: Galois, Betti, Jordan, Dedekind, Dyck, Frobenius und H61der. Die wichtige Verbindung zwischen der Entwicklung dieses Begriffs und der Abstraktion der Gruppentheorie wird betrachtet. © 1993 AcademicPress. Inc. AMS subject classifications: 01A55, 20-03 KEY WORDS: quotient group, group theory, Galois theory I. INTRODUCTION Nowadays one can hardly conceive any more of a group theory without factor groups... B. L. van der Waerden, from his obituary of Otto H61der [1939] Although the concept of quotient group is now considered to be fundamental to the study of groups, it is a concept which was unknown to early group theorists.
    [Show full text]