History of group theory
The history of group theory, a mathematical domain studying groups in their various forms, has evolved in various parallel threads. There are three historical roots of
group theory: the theory of algebraic equations, number theoryand geometry. [Harvard citations|nb = yes|last = Wussing|year = 2007] [Harvard citations|last = Kleiner|year = 1986|nb = yes] Harvard citations|last = Smith|year = 1906|nb = yes] Lagrange, Abel and French mathematician Galois were early researchers in the field of group theory.
Early 19th century
The earliest study of groups as such probably goes back to the work of Lagrange in the late 18th century. However, this work was somewhat isolated, and 1846 publications of Cauchy and Galois are more commonly referred to as the beginning of group theory. The theory did not develop in a vacuum, and so 3 important threads in its pre-history are developed here.
Development of permutation groups
One foundational root of group theory was the quest of solutions of
polynomial equations of degree higher than 4.
An early source occurs in the problem of forming an equation of degree "m" having as its roots "m" of the roots of a given equation of degree "n" > "m". For simple cases the problem goes back to Hudde (1659). Saunderson (1740) noted that the determination of the quadratic factors of a biquadratic expression necessarily leads to a sextic equation, and
Le Sœur(1748) and Waring (1762 to 1782) still further elaborated the idea.
A common foundation for the theory of equations on the basis of the group of
permutationswas found by mathematician Lagrange (1770, 1771), and on this was built the theory of substitutions. He discovered that the roots of all resolvents ("résolvantes, réduites") which he examined are rational functions of the roots of the respective equations. To study the properties of these functions he invented a "Calcul des Combinaisons". The contemporary work of Vandermonde (1770) also foreshadowed the coming theory.
Ruffini (1799) attempted a proof of the impossibility of solving the quintic and higher equations. Ruffini distinguished what are now called intransitive and transitive, and imprimitive and primitive groups, and (1801) uses the group of an equation under the name "l'assieme delle permutazioni". He also published a letter from Abbati to himself, in which the group idea is prominent.
Galois found that if "r"1, "r"2, ... "r""n" are the "n" roots of an equation, there is always a group of permutations of the "r"'s such that
*every function of the roots invariable by the substitutions of the group is rationally known, and
*conversely, every rationally determinable function of the roots is invariant under the substitutions of the group. In modern terms, the solvability of the Galois group attached to the equation determines the solvability of the equation with radicals. Galois also contributed to the theory of
modular equations and to that of elliptic functions. His first publication on group theory was made at the age of eighteen (1829), but his contributions attracted little attention until the publication of his collected papers in 1846 (Liouville, Vol. XI). [Harvard citations|last = Galois|year = 1908|nb = yes] [Harvard citations|last = Kleiner|year = 1986|loc = p. 202|nb = yes] Galois is honored as the first mathematician linking group theory and field theory, with the theory that is now called Galois theory.
Groups similar to Galois groups are (today) called
permutation groups, a concept investigated in particular by Cauchy. A number of important theorems in early group theory is due to Cauchy. Cayley's "On the theory of groups, as depending on the symbolic equation θn = 1" (1854) gives the first abstract definition of finite groups.
Groups related to geometry
Secondly, the systematic use of groups in geometry, mainly in the guise of
symmetry groups, was initiated by Klein's 1872 Erlangen program. [Harvard citations|last = Wussing|year = 2007|loc = §III.2|nb = yes] The study of what are now called Lie groups started systematically in 1884 with Sophus Lie, followed by work of Killing, Study, Schur, Maurer, and Cartan. The discontinuous ( discrete group) theory was built up by Felix Klein, Lie, Poincaré, and Charles Émile Picard, in connection in particular with modular forms and monodromy.
Appearance of groups in number theory
The third root of group theory was
number theory. Certain abelian groupstructures had been implicitly used in number-theoretical work by Gauss, and more explicitly by Kronecker. [Harvard citations|last = Kleiner|year = 1986|loc = p. 204|nb = yes] Early attempts to prove Fermat's last theoremwere led to a climax by Kummer by introducing groups describing factorization into prime numbers. [Harvard citations|last = Wussing|year = 2007|loc = §I.3.4|nb = yes]
Group theory as an increasingly independent subject was popularized by Serret, who devoted section IV of his algebra to the theory; by
Camille Jordan, whose "Traité des substitutions et des équations algébriques" ( 1870) is a classic; and to Eugen Netto(1882), whose "Theory of Substitutions and its Applications to Algebra" was translated into English by Cole (1892). Other group theorists of the nineteenth century were Bertrand, Charles Hermite, Frobenius, Leopold Kronecker, and Emile Mathieu; as well as Burnside, Dickson, Hölder, Moore, Sylow, and Weber.
The convergence of the above three sources into a uniform theory started with Jordan's "Traité" and von Dyck (
1882) who first defined a group in the full modern sense. The textbooks of Weber and Burnside helped establish group theory as a discipline. [Solomon writes in Burnside's Collected Works, "The effect of [Burnside's book] was broader and more pervasive, influencing the entire course of non-commutative algebra in the twentieth century."] The abstract group formulation did not apply to a large portion of 19th century group theory, and an alternative formalism was given in terms of Lie algebras.
Late 19th century
Groups in the 1870-1900 period were described as the continuous groups of Lie, the discontinuous groups, finite groups of substitutions of roots (gradually being called permutations), and finite groups of linear substitutions (usually of finite fields). During the 1880-1920 period, groups described by presentations came into a life of their own through the work of Cayley, von Dyck, Dehn, Nielsen, Schreier, and continued in the 1920-1940 period with the work of Coxeter, Magnus, and others to form the field of
combinatorial group theory.
Finite groups in the 1870-1900 period saw such highlights as the
Sylow theorems, Hölder's classification of groups of square-free order, and the early beginnings of the character theoryof Frobenius. Already by 1860, the groups of automorphisms of the finite projective planes had been studied (by Mathieu), and in the 1870s Felix Kleins group-theoretic vision of geometry was being realized in his Erlangen program. The automorphism groups of higher dimensional projective spaces were studied by Jordan in his "Traité" and included composition series for most of the so called classical groups, though he avoided non-prime fields and omitted the unitary groups. The study was continued by Moore and Burnside, and brought into comprehensive textbook form by Dickson in 1901. The role of simple groups was emphasized by Jordan, and criteria for non-simplicity were developed by Hölder until he was able to classify the simple groups of order less than 200. The study was continued by F. N. Cole (up to 660) and Burnside (up to 1092), and finally in an early "millennium project", up to 2001 by Miller and Ling in 1900.
Continuous groups in the 1870-1900 period developed rapidly. Killing and Lie's foundational papers were published, Hilbert's theorem in invariant theory 1882, etc.
Early 20th century
In the period 1900-1940, infinite "discontinuous" (now called
discrete groups) groups gained life of their own. Burnside's famous problem ushered in the study of arbitrary subgroups of finite dimensional linear groups over arbitrary fields, and indeed arbitrary groups. Fundamental groups and reflection groups encouraged the developments of J. A. Toddand Coxeter, such as the Todd–Coxeter algorithmin combinatorial group theory. Algebraic groups, defined as solutions of polynomial equations (rather than acting on them, as in the earlier century), benefited heavily from the continuous theory of Lie. Neumann and Neumann produced their study of varieties of groups, groups defined by group theoretic equations rather than polynomial ones.
Continuous groups also had explosive growth in the 1900-1940 period. Topological groups began to be studied as such. There were many great achievements in continuous groups: Cartan's classification of semisimple Lie algebras, Weyl's theory of representations of compact groups, Haar's work in the locally compact case.
Finite groups in the 1900-1940 grew immensely. This period witnessed the birth of
character theoryby Frobenius, Burnside, and Schur which helped answer many of the 19th century questions in permutation groups, and opened the way to entirely new techniques in abstract finite groups. This period saw the work of Hall: on a generalization of Sylow's theorem to arbitrary sets of primes which revolutionized the study of finite soluble groups, and on the power-commutator structure of p-groups, including the ideas of regular p-groups and isoclinism, which revolutionized the study of p-groups and was the first major result in this area since Sylow. This period saw Zassenhaus's famous Schur-Zassenhaus theoremon the existence of complements to Hall's generalization of Sylow subgroups, as well as his progress on Frobenius groups, and a near classification of Zassenhaus groups.
Mid 20th century
Both depth, breadth and also the impact of group theory subsequently grew. The domain started branching out into areas such as
algebraic groups, group extensions, and representation theory. [Harvard citations|last = Curtis |year = 2003|nb = yes] Starting in the 1950s, in a huge collaborative effort, group theorists succeeded to classify all finite simple groups in 1982. Completing and simplifying the proof of the classification are areas of active research. [Harvard citations|last = Aschbacher|year = 2004|nb = yes] Anatoly Maltsevalso made important contributions to group theory during this time; his early work was in logic in the 1930s, but in the 1940s he proved important embedding properties of semigroups into groups, studied the isomorphism problem of group rings, established the Malçev correspondence for polycyclic groups, and in the 1960s return to logic proving various theories within the study of groups to be undecidable. Earlier, Alfred Tarskiproved elementary group theory undecidable. [Tarski, Alfred (1953) "Undecidability of the elementary theory of groups" in Tarski, Mostowski, and Raphael Robinson"Undecidable Theories". North-Holland: 77-87.]
Later 20th century
The period of 1960-1980 was one of excitement in many areas of group theory.
In finite groups, there were many independent milestones. One had the discovery of 22 new sporadic groups, and the completion of the first generation of the
classification of finite simple groups. One had the influential idea of the Carter subgroup, and the subsequent creation of formation theory and the theory of classes of groups. One had the remarkable extensions of Clifford theory by Green to the indecomposable modules of group algebras. During this era, the field of computational group theorybecame a recognized field of study, due in part to its tremendous success during the first generation classification.
In discrete groups, the geometric methods of Tits and the availability the surjectivity of Lang's map allowed a revolution in algebraic groups. The
Burnside problemhad tremendous progress, with better counterexamples constructed in the 60s and early 80s, but the finishing touches "for all but finitely many" were not completed until the 90s. The work on the Burnside problem increased interest in Lie algebras in exponent "p", and the methods of Lazard began to see a wider impact, especially in the study of "p"-groups.
Continuous groups broadened considerably, with "p"-adic analytic questions becoming important. Many conjectures were made during this time, including the coclass conjectures.
Late 20th century
The last twenty years of the twentieth century enjoyed the successes of over one hundred years of study in group theory.
In finite groups, post classification results included the O'Nan Scott theorem, the Aschbacher classification, the classification of multiply transitive finite groups, the determination of the maximal subgroups of the simple groups and the corresponding classifications of
primitive groups. In finite geometry and combinatorics, many problems could now be settled. The modular representation theory entered a new era as the techniques of the classification were axiomatized, including fusion systems, Puig's theory of pairs and nilpotent blocks. The theory of finite soluble groups was likewise transformed by the influential book of Doerk–Hawkes which brought the theory of projectors and injectors to a wider audience.
In discrete groups, several areas of geometry came together to produce exciting new fields. Work on
knot theory, orbifolds, hyperbolic manifolds, and groups acting on trees (the Bass–Serre theory), much enlivened the study of hyperbolic groups, automatic groups. Questions such as Thurston's 1982 geometrization conjecture, inspired entirely new techniques in geometric group theoryand low dimensional topology, and was involved in the solution of one of the Millennium Prize Problems, the Poincaré conjecture.
Continuous groups saw the solution of the problem of
hearing the shape of a drumin 1992 using symmetry groups of the laplacian operator. Continuous techniques were applied to many aspects of group theory using function spaces and quantum groups. Many 18th and 19th century problems are now revisited in this more general setting, and many questions in the theory of the representations of groups have answers.
Group theory continues to be a intensely studied matter. Its importance to contemporary mathematics as a whole may be seen from the 2008
Abel Prize, awarded to John Griggs Thompsonand Jacques Titsfor their contributions to group theory.
* Historically important publications in group theory.
* | year=1986 | journal=
Mathematics Magazine| issn=0025-570X | volume=59 | issue=4 | pages=195–215
Wikimedia Foundation. 2010.
Look at other dictionaries:
History of knot theory — For thousands of years, knots have been used for basic purposes such as recording information, fastening and tying objects together. Over time people realized that different knots were better at different tasks, such as climbing or sailing. Knots … Wikipedia
History of string theory — 1943 1958: S Matrix String theory is an outgrowth of a research program begun by Werner Heisenberg in 1943, picked up and advocated by many prominent theorists starting in the late 1950s and throughout the 1960s, which was discarded and… … Wikipedia
Group theory — is a mathematical discipline, the part of abstract algebra that studies the algebraic structures known as groups. The development of group theory sprang from three main sources: number theory, theory of algebraic equations, and geometry. The… … Wikipedia
Geometric group theory — is an area in mathematics devoted to the study of finitely generated groups via exploring the connections between algebraic properties of such groups and topological and geometric properties of spaces on which these groups act (that is, when the… … Wikipedia
Combinatorial group theory — In mathematics, combinatorial group theory is the theory of free groups, and the concept of a presentation of a group by generators and relations. It is much used in geometric topology, the fundamental group of a simplicial complex having in a… … Wikipedia
Lagrange's theorem (group theory) — Lagrange s theorem, in the mathematics of group theory, states that for any finite group G , the order (number of elements) of every subgroup H of G divides the order of G . Lagrange s theorem is named after Joseph Lagrange. Proof of Lagrange s… … Wikipedia
Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines … Wikipedia
History of science — History of science … Wikipedia
Group psychotherapy — is a form of psychotherapy in which one or more therapists treat a small group of clients together as a group. The term can legitimately refer to any form of psychotherapy when delivered in a group format, including Cognitive behavioural therapy… … Wikipedia
History of feminism — The history of feminism is the history of feminist movements and their efforts to overturn injustices of gender inequality. Feminist scholars have divided feminism s history into three waves . Humm, Maggie. 1995. The Dictionary of Feminist Theory … Wikipedia