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)