Group Theory II

"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) 

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

Group Theory III

"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)

Group Theory I

"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)

String Theory I

"The odd thing about string theory was very odd indeed. It required that the universe have at least ten dimensions. As we live in a universe of only four dimensions, the theory postulated that the other dimensions [...] had collapsed into structures so tiny that we do not notice them. (Timothy Ferris, "Coming of Age in the Milky Way", 1988)

"Theoretical physicists are accustomed to living in a world which is removed from tangible objects by two levels of abstraction. From tangible atoms we move by one level of abstraction to invisible fields and particles. A second level of abstraction takes us from fields and particles to the symmetry-groups by which fields and particles are related. The superstring theory takes us beyond symmetry-groups to two further levels of abstraction. The third level of abstraction is the interpretation of symmetry-groups in terms of states in ten-dimensional space-time. The fourth level is the world of the superstrings by whose dynamical behavior the states are defined." (Freeman J Dyson, "Infinite in All Directions", 1988)

"No other theory known to science [other than superstring theory] uses such powerful mathematics at such a fundamental level. […] because any unified field theory first must absorb the Riemannian geometry of Einstein’s theory and the Lie groups coming from quantum field theory. […] The new mathematics, which is responsible for the merger of these two theories, is topology, and it is responsible for accomplishing the seemingly impossible task of abolishing the infinities of a quantum theory of gravity." (Michio Kaku, "Hyperspace", 1995)

"Discovery of supersymmetry would be one of the real milestones in physics, made even more exciting by its close links to still more ambitious theoretical ideas. Indeed, supersymmetry is one of the basic requirements of 'string theory', which is the framework in which theoretical physicists have had some success in unifying gravity with the rest of the elementary particle forces. Discovery of supersymmetry would would certainly give string theory an enormous boost." (Edward Witten, [preface to (Gordon Kane, "Supersymmetry: Unveiling the Ultimate Laws of Nature", 2000) 1999)

"For string theory to make sense, the universe should have nine spatial dimensions and one time dimension, for a total of ten dimensions." (Brian Greene, "The Elegant Universe: Superstrings, Hidden Dimensions, and the Quest for the Ultimate Theory", 1999)

"If string theory is right, the microscopic fabric of our universe is a richly intertwined multidimensional labyrinth within which the strings of the universe endlessly twist and vibrate, rhythmically beating out the laws of the cosmos." (Brian Greene, "The Elegant Universe: Superstrings, Hidden Dimensions, and the Quest for the Ultimate Theory", 1999)

"To appreciate string theory, one must understand what it is that is being generalized." (Edward Witten, "Physical Law and the Quest for Mathematical Understanding", Bulletin of the American Mathematical Society Vol. 40 (1), 2002)

"In string theory one studies strings moving in a fixed classical spacetime. […] what we call a background-dependent approach. […] One of the fundamental discoveries of Einstein is that there is no fixed background. The very geometry of space and time is a dynamical system that evolves in time. The experimental observations that energy leaks from binary pulsars in the form of gravitational waves - at the rate predicted by general relativity to the […] accuracy of eleven decimal place - tell us that there is no more a fixed background of spacetime geometry than there are fixed crystal spheres holding the planets up." (Lee Smolin, "Loop Quantum Gravity", The New Humanists: Science at the Edge, 2003)

"String theory is extremely attractive because gravity is forced upon us. All known consistent string theories include gravity, so while gravity is impossible in quantum field theory as we have known it, it is obligatory in string theory." (Edward Witten)

"[The discovery of string theory is like] wandering around the desert and then stumbling on a tiny pebble. But when we examine it carefully, we find that it is the tip of a gigantic pyramid." (Michio Kaku)