Abstract Algebra - History - Early Group Theory

Early Group Theory

There were several threads in the early development of group theory, in modern language loosely corresponding to number theory, theory of equations, and geometry.

Leonhard Euler considered algebraic operations on numbers modulo an integer, modular arithmetic, in his generalization of Fermat's little theorem. These investigations were taken much further by Carl Friedrich Gauss, who considered the structure of multiplicative groups of residues mod n and established many properties of cyclic and more general abelian groups that arise in this way. In his investigations of composition of binary quadratic forms, Gauss explicitly stated the associative law for the composition of forms, but like Euler before him, he seems to have been more interested in concrete results than in general theory. In 1870, Leopold Kronecker gave a definition of an abelian group in the context of ideal class groups of a number field, generalizing Gauss's work; but it appears he did not tie his definition with previous work on groups, particularly permutation groups. In 1882, considering the same question, Heinrich M. Weber realized the connection and gave a similar definition that involved the cancellation property but omitted the existence of the inverse element, which was sufficient in his context (finite groups).

Permutations were studied by Joseph Lagrange in his 1770 paper Réflexions sur la résolution algébrique des équations (Thoughts on Solving Algebraic Equations) devoted to solutions of algebraic equations, in which he introduced Lagrange resolvents. Lagrange's goal was to understand why equations of third and fourth degree admit formulae for solutions, and he identified as key objects permutations of the roots. An important novel step taken by Lagrange in this paper was the abstract view of the roots, i.e. as symbols and not as numbers. However, he did not consider composition of permutations. Serendipitously, the first edition of Edward Waring's Meditationes Algebraicae (Meditations on Algebra) appeared in the same year, with an expanded version published in 1782. Waring proved the main theorem on symmetric functions, and specially considered the relation between the roots of a quartic equation and its resolvent cubic. Mémoire sur la résolution des équations (Memoire on the Solving of Equations) of Alexandre Vandermonde (1771) developed the theory of symmetric functions from a slightly different angle, but like Lagrange, with the goal of understanding solvability of algebraic equations.

Kronecker claimed in 1888 that the study of modern algebra began with this first paper of Vandermonde. Cauchy states quite clearly that Vandermonde had priority over Lagrange for this remarkable idea, which eventually led to the study of group theory.

Paolo Ruffini was the first person to develop the theory of permutation groups, and like his predecessors, also in the context of solving algebraic equations. His goal was to establish the impossibility of an algebraic solution to a general algebraic equation of degree greater than four. En route to this goal he introduced the notion of the order of an element of a group, conjugacy, the cycle decomposition of elements of permutation groups and the notions of primitive and imprimitive and proved some important theorems relating these concepts, such as

if G is a subgroup of S5 whose order is divisible by 5 then G contains an element of order 5.

Note, however, that he got by without formalizing the concept of a group, or even of a permutation group. The next step was taken by Évariste Galois in 1832, although his work remained unpublished until 1846, when he considered for the first time what is now called the closure property of a group of permutations, which he expressed as

... if in such a group one has the substitutions S and T then one has the substitution ST.

The theory of permutation groups received further far-reaching development in the hands of Augustin Cauchy and Camille Jordan, both through introduction of new concepts and, primarily, a great wealth of results about special classes of permutation groups and even some general theorems. Among other things, Jordan defined a notion of isomorphism, still in the context of permutation groups and, incidentally, it was he who put the term group in wide use.

The abstract notion of a group appeared for the first time in Arthur Cayley's papers in 1854. Cayley realized that a group need not be a permutation group (or even finite), and may instead consist of matrices, whose algebraic properties, such as multiplication and inverses, he systematically investigated in succeeding years. Much later Cayley would revisit the question whether abstract groups were more general than permutation groups, and establish that, in fact, any group is isomorphic to a group of permutations.

Read more about this topic:  Abstract Algebra, History

Other articles related to "group, early, groups":

8 Ball Bunny - Censorship
... American natives is edited to remove the part where one of the natives runs to warn the group of "bwana" Humphrey Bogart coming and the group scattering ... The scene was replaced with a frozen shot of Bogart's feet while the sound of the group muttering and fleeing was heard ...
Yuppie - History
... Although the term yuppies had not appeared until the early 1980s, there was discussion about young urban professionals as early as 1968 ... Bob Greene published a story about a business networking group founded in 1982 by the former radical leader Jerry Rubin, formerly of the Youth International Party (whose members were called yippies) Greene ... The term was then used to describe a political demographic group of socially liberal but fiscally conservative voters favoring his candidacy ...
... Formed in 1976, the group consists of Bono (vocals and guitar), The Edge (guitar, keyboards, and vocals), Adam Clayton (bass guitar), and Larry Mullen, Jr ... U2's early sound was rooted in post-punk but eventually grew to incorporate influences from many genres of popular music ... Throughout the group's musical pursuits, they have maintained a sound built on melodic instrumentals, highlighted by The Edge's timbrally varied guitar sounds and Bono's expressive ...
Group Homomorphism
... In mathematics, given two groups (G, *) and (H, ·), a group homomorphism from (G, *) to (H, ·) is a function h G → H such that for all u and v in G it holds that where the group ... to inverses in the sense that Hence one can say that h "is compatible with the group structure" ... A more recent trend is to write group homomorphisms on the right of their arguments, omitting brackets, so that h(x) becomes simply x h ...

Famous quotes containing the words theory, early and/or group:

    We commonly say that the rich man can speak the truth, can afford honesty, can afford independence of opinion and action;—and that is the theory of nobility. But it is the rich man in a true sense, that is to say, not the man of large income and large expenditure, but solely the man whose outlay is less than his income and is steadily kept so.
    Ralph Waldo Emerson (1803–1882)

    Humanity has passed through a long history of one-sidedness and of a social condition that has always contained the potential of destruction, despite its creative achievements in technology. The great project of our time must be to open the other eye: to see all-sidedly and wholly, to heal and transcend the cleavage between humanity and nature that came with early wisdom.
    Murray Bookchin (b. 1941)

    ...Women’s Studies can amount simply to compensatory history; too often they fail to challenge the intellectual and political structures that must be challenged if women as a group are ever to come into collective, nonexclusionary freedom.
    Adrienne Rich (b. 1929)