The next three chapters are concerned with the emergence of “modern,” or abstract, algebra from the old algebra of equations. In the present chapter we look at group theory. Group theory today is often described as the theory of symmetry, and indeed groups have been inherent in symmetric objects since ancient times. However, extracting algebra from a symmetric object is a highly abstract exercise, and groups first appeared in situations where some algebra was already present. One of the first nontrivial examples was the group of integers mod p, for prime p, used by Euler (1758) to prove Fermat’s little theorem. Of course, Euler had no idea that he was using a group. But he did use one of the characteristic group properties, namely, the existence of inverses. Likewise, Lagrange (1771) was not aware of the group concept when he studied permutations of the roots of equations. But he was using the group S n of permutations of n things, and some of its subgroups. It was Galois (1831a) who first truly grasped the group concept, and he used it brilliantly to explain what makes an equation solvable by radicals. In particular, he was able to explain why the general quintic equation is not solvable by radicals. These discoveries changed the face of algebra, though few mathematicians realized it at first. In the second half of the 19th century the group concept spread from algebra to geometry, following the observation of Klein (1872) that each geometry is characterized by a group of transformations. This very fruitful idea is explored further in Chapter 23.
KeywordsNormal Subgroup Simple Group Projective Transformation Linear Fractional Transformation Finite Simple Group
Unable to display preview. Download preview PDF.