Editing Lie group (section)

== History ==
[[Sophus Lie]] considered the winter of 1873–1874 as the birth date of his theory of continuous groups.{{sfn|ps=|Hawkins|2000|p=1}} Thomas Hawkins, however, suggests that it was "Lie's prodigious research activity during the four-year period from the fall of 1869 to the fall of 1873" that led to the theory's creation.{{sfn|ps=|Hawkins|2000|p=1}} Some of Lie's early ideas were developed in close collaboration with [[Felix Klein]].  Lie met with Klein every day from October 1869 through 1872: in Berlin from the end of October 1869 to the end of February 1870, and in Paris, Göttingen and Erlangen in the subsequent two years.{{sfn|ps=|Hawkins|2000|p=2}} Lie stated that all of the principal results were obtained by 1884. But during the 1870s all his papers (except the very first note) were published in Norwegian journals, which impeded recognition of the work throughout the rest of Europe.{{sfn|ps=|Hawkins|2000|p=76}} In 1884 a young German mathematician, [[Friedrich Engel (mathematician)|Friedrich Engel]], came to work with Lie on a systematic treatise to expose his theory of continuous groups. From this effort resulted the three-volume ''Theorie der Transformationsgruppen'', published in 1888, 1890, and 1893. The term ''groupes de Lie'' first appeared in French in 1893 in the thesis of Lie's student Arthur Tresse.<ref>{{cite journal|first=Arthur |last=Tresse|year=1893|title=Sur les invariants différentiels des groupes continus de transformations|url=https://zenodo.org/record/2273334|journal=Acta Mathematica|volume=18|pages=1–88|doi=10.1007/bf02418270|doi-access=free}}</ref>

Lie's ideas did not stand in isolation from the rest of mathematics. In fact, his interest in the geometry of differential equations was first motivated by the work of [[Carl Gustav Jacobi]], on the theory of [[partial differential equation]]s of first order and on the equations of [[classical mechanics]].  Much of Jacobi's work was published posthumously in the 1860s, generating enormous interest in France and Germany.{{sfn|ps=|Hawkins|2000|p=43}} Lie's ''idée fixe'' was to develop a theory of symmetries of differential equations that would accomplish for them what [[Évariste Galois]] had done for algebraic equations: namely, to classify them in terms of group theory. Lie and other mathematicians showed that the most important equations for [[special function]]s and [[orthogonal polynomials]] tend to arise from group theoretical symmetries. In Lie's early work, the idea was to construct a theory of ''continuous groups'', to complement the theory of [[discrete group]]s that had developed in the theory of [[modular form]]s, in the hands of [[Felix Klein]] and [[Henri Poincaré]]. The initial application that Lie had in mind was to the theory of [[differential equation]]s. On the model of [[Galois theory]] and [[polynomial equation]]s, the driving conception was of a theory capable of unifying, by the study of [[symmetry]], the whole area of [[ordinary differential equation]]s. However, the hope that Lie theory would unify the entire field of ordinary differential equations was not fulfilled. Symmetry methods for ODEs continue to be studied, but do not dominate the subject. There is a [[differential Galois theory]], but it was developed by others, such as Picard and Vessiot, and it provides a theory of [[quadrature (mathematics)|quadrature]]s, the [[indefinite integral]]s required to express solutions.

Additional impetus to consider continuous groups came from ideas of [[Bernhard Riemann]], on the foundations of geometry, and their further development in the hands of Klein. Thus three major themes in 19th century mathematics were combined by Lie in creating his new theory:
* The idea of symmetry, as exemplified by Galois through the algebraic notion of a [[group (mathematics)|group]];
* Geometric theory and the explicit solutions of [[differential equation]]s of mechanics, worked out by [[Siméon Denis Poisson|Poisson]] and Jacobi;
* The new understanding of [[geometry]] that emerged in the works of [[Julius Plücker|Plücker]], [[August Ferdinand Möbius|Möbius]], [[Grassmann]] and others, and culminated in Riemann's revolutionary vision of the subject.

Although today Sophus Lie is rightfully recognized as the creator of the theory of continuous groups, a major stride in the development of their structure theory, which was to have a profound influence on subsequent development of mathematics, was made by [[Wilhelm Killing]], who in 1888 published the first paper in a series entitled ''Die Zusammensetzung der stetigen endlichen Transformationsgruppen'' (''The composition of continuous finite transformation groups'').{{sfn|ps=|Hawkins|2000|p=100}} The work of Killing, later refined and generalized by [[Élie Cartan]], led to classification of [[semisimple Lie algebra]]s, Cartan's theory of [[Riemannian symmetric space|symmetric spaces]], and [[Hermann Weyl]]'s description of [[group representation|representations]] of compact and semisimple Lie groups using [[highest weight]]s.

In 1900 [[David Hilbert]] challenged Lie theorists with his [[Hilbert's fifth problem|Fifth Problem]] presented at the [[International Congress of Mathematicians]] in Paris.

Weyl brought the early period of the development of the theory of Lie groups to fruition, for not only did he classify irreducible representations of semisimple Lie groups and connect the theory of groups with quantum mechanics, but he also put Lie's theory itself on firmer footing by clearly enunciating the distinction between Lie's ''infinitesimal groups'' (i.e., Lie algebras) and the Lie groups proper, and began investigations of topology of Lie groups.{{sfn|ps=|Borel|2001}} The theory of Lie groups was systematically reworked in modern mathematical language in a monograph by [[Claude Chevalley]].
<!--
Need specific reference from Borel's book to Weyl's work, in particular, distinction mentioned in the text
-->