"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)
No comments:
Post a Comment