Group Theory

"Instead of the points of a line, plane, space, or any manifold under investigation, we may use instead any figure contained within the manifold: a group of points, curve, surface, etc. As there is nothing at all determined at the outset about the number of arbitrary parameters upon which these figures should depend, the number of dimensions of the line, plane, space, etc. is likewise arbitrary and depends only on the choice of space element. But so long as we base our geometrical investigation on the same group of transformations, the geometrical content remains unchanged. That is, every theorem resulting from one choice of space element will also be a theorem under any other choice; only the arrangement and correlation of the theorems will be changed. The essential thing is thus the group of transformations; the number of dimensions to be assigned to a manifold is only of secondary importance." (Felix Klein, "A comparative review of recent researches in geometry", Bulletin of the American Mathematoical Society 2(10), 1893)

"If, then, one takes away from the mathematical theory that which appears merely as an accident, namely its matter, only what is essential will remain, namely its form; and this form, which constitutes so to speak the solid skeleton of the theory, will be the structure of the group." (Henri Poincaré, "Rapport sur les travaux de M. Cartan", Acta Mathematica 38, 1914)

"If we then strip the mathematical theory of what appears in it merely as an accident, that is of its matter, only the essential is left, that is its form; and this form, which constitutes, one might say, the solid skeleton of the theory, will be the structure of the group." (Henri Poincaré, "Rapport sur les travaux de M. Cartan", Acta Mathematica 38, 1914) 

"If indeed one tries to clarify the notion of equality, which is introduced right at the beginning of Geometry, one is led to say that two figures are equal when one can go from one to the other by a specific geometric operation, called a motion. This is only a change of words; but the axiom according to which two figures equal to a third are equal to one another, subjects those operations called motions to a certain law; that is, that an operation which is the result of two successive motions is itself a motion. It is this law that mathematicians express by saying that motions form a group. Elementary Geometry can then be defined by the study of properties of figures which do not change under the operations of the group of motions." (Élie Cartan, "Lec̜ons sur la géométrie des espaces de Riemann", 1928)

"[...] it is the whole logical structure of elementary Geometry which is contained in the group of motions and even, in a more precise manner, in the law according to which operations of that group compose with each other, independently of the nature of the objects on which these operations act. This law constitutes what we call the group structure." (Élie Cartan, "Lec̜ons sur la géométrie des espaces de Riemann", 1928)

"Given any group of transformations in space which includes the principal group as a sub-group, then the invariant theory of this group gives a definite kind of geometry, and every possible geometry can be obtained in this way. Thus each geometry is characterized by its group, which, therefore, assumes the leading place in our considerations." (Felix Klein, "Elementary Mathematics from an Elementary Standpoint: Geometry", 1939)

"The invariant character of a mathematical discipline can be formulated in these terms. Thus, in group theory all the basic constructions can be regarded as the definitions of co- or contravariant functors, so we may formulate the dictum: The subject of group theory is essentially the study of those constructions of groups which behave in a covariant or contravariant manner under induced homomorphisms." (Samuel Eilenberg & Saunders MacLane, "A general theory of natural equivalences", Transactions of the American Mathematical Society 58, 1945)

"The notion of an abstract group arises by consideration of the formal properties of one-to-one transformations of a set onto itself. Similarly, the notion of a category is obtained from the formal properties of the class of all transformations y : X → Y of any one set into another, or of continuous transformations of one topological space into another, or of homomorphisms, of one group into another, and so on." (Saunders Mac Lane, "Duality for groups", Bulletin of the American Mathematical Society 56, 1950)

"Wherever groups disclosed themselves, or could be introduced, simplicity crystallized out of comparative chaos." (Eric T Bell, "Mathematics, Queen and Servant of Science", 1951)

"If indeed one tries to clarify the notion of equality, which is introduced right at the beginning of Geometry, one is led to say that two figures are equal when one can go from one to the other by a specific geometric operation, called a motion. This is only a change of words; but the axiom according to which two figures equal to a third are equal to one another, subjects those operations called motions to a certain law; that is, that an operation which is the result of two successive motions is itself a motion. It is this law that mathematicians express by saying that motions form a group. Elementary Geometry can then be defined by the study of properties of figures which do not change under the operations of the group of motions." (Élie Cartan, "Notice sur les travaux scientifiques", 1974)

"[…] it is the whole logical structure of elementary Geometry which is contained in the group of motions and even, in a more precise manner, in the law according to which operations of that group compose with each other, independently of the nature of the objects on which these operations act. This law constitutes what we call the group structure." (Élie Cartan, "Notice sur les travaux scientifiques", 1974)

"The point is simply that when explaining the general notion of structure and of particular kinds of structures such as groups, rings, categories, etc., we implicitly presume as understood the ideas of operation and collection." (Solomon Feferman, "Categorical foundations and foundations of category theory", 1975)

"Symmetries of a geometric object are traditionally described by its automorphism group, which often is an object of the same geometric class (a topological space, an algebraic variety, etc.). Of course, such symmetries are only a particular type of morphisms, so that Klein’s Erlanger program is, in principle, subsumed by the general categorical approach." (Yuri I Manin, "Topics in Noncommutative Geometry", 1991)

"The recognition of symmetry is intuitive but is often difficult to express in any simple and systematic manner. Group theory is a mathematical device to allow for the analysis of symmetry in a variety of ways." (M Ladd, "Symmetry and Group theory in Chemistry", 1998) 

"Group theory is a branch of mathematics that describes the properties of an abstract model of phenomena that depend on symmetry. Despite its abstract tone, group theory provides practical techniques for making quantitative and verifiable predictions about the behavior of atoms, molecules and solids." (Arthur M Lesk, "Introduction to Symmetry and Group Theory for Chemists", 2004) 

"Group theory is a powerful tool for studying the symmetry of a physical system, especially the symmetry of a quantum system. Since the exact solution of the dynamic equation in the quantum theory is generally difficult to obtain, one has to find other methods to analyze the property of the system. Group theory provides an effective method by analyzing symmetry of the system to obtain some precise information of the system verifiable with observations." (Zhong-Qi Ma, Xiao-Yan Gu, "Problems and Solutions in Group Theory for Physicists", 2004)

"Mathematicians have evolved a systematic way of thinking about symmetries that is fairly easy to grasp at the outset and a lot of fun to play with. This almost magical subject is known as group theory. […] Group theory is the mathematical language of symmetry, and it is so important that it seems to play a fundamental role in the very structure of nature. It governs the forces we see and is believed to be the organizing principle underlying all of the dynamics of elementary particles. Indeed, in modem physics the concept of symmetry serves as perhaps the most crucial concept of all. Symmetry principles are now known to dictate the basic laws of physics, to control the structure and dynamics of matter, and to define the fundamental forces in nature. Nature, at its most fundamental level, is defined by symmetry." (Leon M Lederman & Christopher T Hill, "Symmetry and the Beautiful Universe", 2004)

"A group is a collection of objects, one that is alive in the sense that some underlying principle of productivity is at work engendering new members from old. […] Like many other highly structured objects, groups have parts, and in particular they may well have subgroups as parts, one group nested within a large group, kangarette to kangaroo." (David Berlinski, "Infinite Ascent: A short history of mathematics", 2005)

"But like every profound mathematical idea, the concept of a group reveals something about the nature of the world that lies beyond the mathematician’s symbols. […] There is […] a royal road between group theory and the most fundamental processes in nature. Some groups represent - they are reflections of - continuous rotations, things that whiz around and around smoothly." (David Berlinski, "Infinite Ascent: A short history of mathematics", 2005)

"Topology, like other branches of pure mathematics such as group theory, is an axiomatic subject. We start with a set of axioms and we use these axioms to prove propositions and theorems. It is extremely important to develop your skill at writing proofs." (Sydney A Morris, "Topology without Tears", 2011)

 "The potential freedom in the choice of a particular mathematical representation of physical objects is loosely called symmetry. In mathematical terms, physical symmetries are intimately related to groups in the sense that symmetry transformations form a group." (Teiko Heinosaari & Mario Ziman, "The Mathematical Language of Quantum Theory: From Uncertainty to Entanglement", 2012) 

"Galois and Abel independently discovered the basic idea of symmetry. They were both coming at the problem from the algebra of polynomials, but what they each realized was that underlying the solution of polynomials was a fundamental problem of symmetry. The way that they understood symmetry was in terms of permutation groups. A permutation group is the most fundamental structure of symmetry. […] permutation groups are the master groups of symmetry: every kind of symmetry is encoded in the structure of the permutation group." (Mark C Chu-Carroll, "Good Math: A Geek’s Guide to the Beauty of Numbers, Logic, and Computation", 2013) 

"[…] the role that symmetry plays is not confined to material objects. Symmetries can also refer to theories and, in particular, to quantum theory. For if the laws of physics are to be invariant under changes of reference frames, the set of all such transformations will form a group. Which transformations and which groups depends on the systems under consideration." (William H Klink & Sujeev Wickramasekara, "Relativity, Symmetry and the Structure of Quantum Theory I: Galilean quantum theory", 2015) 

"The theory of groups is considered the language par excellence to study symmetry in science; it provides the mathematical formalism needed to tackle symmetry in a precise way." (Pieter Thyssen & Arnout Ceulemans, "Shattered Symmetry: Group Theory from the Eightfold Way to the Periodic Table", 2017)

"The universe is an enormous direct product of representations of symmetry groups." (Steven Weinberg)