Poincaré's proof of the co-called Birkhoff-Witt theorem  [ La démonstration de Poincaré du théorème dit de Birkhoff-Witt ]
Revue d'histoire des mathématiques, Tome 5 (1999) no. 2, pp. 249-284.

Une analyse méthodique des travaux faits en connexion avec l'article, “Sur les groupes continus”, de Henri Poincaré révèle des erreurs historiques et des jugements injustes en ce qui concerne sa contribution à la théorie de Lie. Une étude approfondie de cet article confirme l'antériorité de sa découverte de plusieurs concepts importants ; notamment de l'algèbre enveloppante universelle d'une algèbre de Lie sur le corps réel ou le corps complexe, et de l'application canonique (la symétrisation) de l'algèbre symétrique sur l'algèbre enveloppante universelle. L'essentiel de cet article consiste en un examen approfondi de sa démonstration rigoureuse et complète du théorème de Birkhoff-Witt.

A methodical analysis of the research related to the article, “Sur les groupes continus”, of Henri Poincaré reveals many historical misconceptions and inaccuracies regarding his contribution to Lie theory. A thorough reading of this article confirms the priority of his discovery of many important concepts, especially that of the universal enveloping algebra of a Lie algebra over the real or complex field, and the canonical map (symmetrization) of the symmetric algebra onto the universal enveloping algebra. The essential part of this article consists of a detailed discussion of his rigorous, complete, and enlightening proof of the so-called Birkhoff-Witt theorem.

@article{RHM_1999__5_2_249_0,
     author = {Ton-That, Tuong and Tran, Thai-Duong},
     title = {Poincar\'e's proof of the co-called Birkhoff-Witt theorem},
     journal = {Revue d'histoire des math\'ematiques},
     pages = {249--284},
     publisher = {Soci\'et\'e math\'ematique de France},
     volume = {5},
     number = {2},
     year = {1999},
     zbl = {0958.01012},
     language = {en},
     url = {archive.numdam.org/item/RHM_1999__5_2_249_0/}
}
Ton-That, Tuong; Tran, Thai-Duong. Poincaré's proof of the co-called Birkhoff-Witt theorem. Revue d'histoire des mathématiques, Tome 5 (1999) no. 2, pp. 249-284. http://archive.numdam.org/item/RHM_1999__5_2_249_0/

[1] Encyclopaedia [1988-1994] Encyclopaedia of Mathematics, ed. by I.M.Vinogradov, Dordrecht-Boston: Kluwer Academic Publishers, 1988-1994, translated from Математическая энциклопедия, главный редактор И.М. Виноградов 495, Москва́: Советская энциклопедия, 1977. (the rubric “Birkhoff-Witt theorem” is in Tome1, p.495).

[2] Barrow-Green (June) [1997] Poincaré and the Three-Body Problem, Providence: American Mathematical Society, 1997. | MR 1415387 | Zbl 0877.01022

[3] Bell (Eric T.) [1937] Men of Mathematics, New York: Simon & Schuster, 1937. | JFM 63.0793.03

[4] Birkhoff (Garrett) [1937] Representability of Lie algebras and Lie groups by matrices, Annals of Mathematics, 38 (April 1937), pp. 526-532. | JFM 63.0090.01 | MR 1503351 | Zbl 0016.24402

[5] Bourbaki (Nicolas) [1960] Éléments de mathématiques, Fascicule XXVI. Groupes et algèbres de Lie, Chap. 1, Paris: Hermann, 1960. | MR 113788

[6] Bourbaki (Nicolas) [1969] Éléments d'histoire des mathématiques, Paris: Hermann, 1969. | MR 243970 | Zbl 0129.24508

[7] Bourbaki (Nicolas) [1972] Éléments de mathématiques, Fascicule XXXVII. Groupes et algèbres de Lie, Paris: Hermann, 1972. | MR 573068

[8] Bourbaki (Nicolas) [1975] Elements of Mathematics. Lie Groups and Lie Algebras, Part I, Chapter I-3, Reading, MA: Addison-Wesley, 1975; Paris: Hermann, 1971-73. | MR 682756

[9] Boyer (Carl) [1968] A History of Mathematics, Princeton: Princeton University Press, 1968. | MR 234791 | Zbl 0562.01001

[10] Cartan (Henri) & Eilenberg (Samuel) [1956] Homological Algebra, Princeton: Princeton University Press, 1956. | MR 77480 | Zbl 0075.24305

[11] Chevalley (Claude) [1955] Théorie des groupes de Lie, vol. III, Paris: Hermann, 1955. | MR 68552 | Zbl 0063.00843

[12] Cohn (Paul M.) [1981] Universal Algebra, Dordrecht: Reidel, 1981. | MR 620952

[13] Dixmier (Jacques) [1974] Algèbres enveloppantes, Paris: Gauthier-Villars, 1974. | MR 498737 | Zbl 0308.17007

[14] Gittleman (Arthur) [1975] History of Mathematics, Columbus, OH: C.E. Merrill Publishing Company, 1975.

[15] Godement (Roger) [1982] Introduction à la théorie des groupes de Lie, 2 vols., Publications mathématiques de l'Université de Paris VII, Paris: Univ. Paris VII, 1982. | Zbl 0533.22001

[16] Harish-Chandra [1949] On Representations of Lie Algebras, Annals of Mathematics, 50 (October 1949), pp. 900-915. | MR 30945 | Zbl 0035.01901

[17] Harish-Chandra [1951] On Some Applications of the Universal Enveloping Algebra of a Semisimple Lie Algebra, Transactions of the American Mathematical Society, 70-71 (1951), pp. 28-96. | MR 44515 | Zbl 0042.12701

[18] Hoffman (Kenneth) & Kunze (Ray) [1971] Linear Algebra, second ed., Englewood Cliffs, NJ: Prentice-Hall, 1971. | MR 276251

[19] Humphreys (James E.) [1972] Introduction to Lie Algebras and Representation Theory, New York: Springer-Verlag, 1972. | MR 323842 | Zbl 0254.17004

[20] Jacobson (Nathan) [1962] Lie Algebras, New York: John Wiley & Sons, 1962. | MR 143793 | Zbl 0121.27504

[21] Knapp (Anthony) [1986] Representation Theory of Semisimple Groups, Princeton: Princeton University Press, 1986. | MR 855239 | Zbl 0604.22001

[22] Kuroś (Aleksandrevich Gennadievich) [1963] Lectures on General Algebras, New York: Chelsea, 1963. | MR 158000

[23] Lang (Serge) [1965] Algebra, Reading, MA: Addison-Wesley, 1965. | MR 197234 | Zbl 0193.34701

[24] Lazard (Michel) [1952] Sur les algèbres enveloppantes universelles de certaines algèbres de Lie, Comptes rendus hebdomadaires des séances de l'Académie des sciences de Paris Sér. I (18 Feb. 1952), pp.788-792. | MR 46350 | Zbl 0046.03403

[25] Lazard (Michel) [1954] Sur les algèbres enveloppantes de certaines algèbres de Lie, Publications scientifiques de l'Université d'Alger, Sér. A, 1 (1954), pp. 281-294. | MR 74781 | Zbl 0066.02303

[26] Lorentz (Hendrik Antoon) [1921] Deux mémoires de Henri Poincaré sur la physique mathématique, Acta mathematica, 38 (1921), pp. 293-308. | MR 1555115

[27] Painlevé (Paul) [1921] Henri Poincaré, Acta Math., 38 (1921), pp. 309-402.

[28] Poincaré (Henri) [Œuvres] Œuvres de Henri Poincaré, 11 vols., Paris: Gauthier-Villars, 1916- . | Zbl 0072.24103

[29] Poincaré (Henri) [1881] Formes cubiques ternaires et quaternaires, Journal de l'École polytechnique Paris, XXXI (1881), pp. 199-253. | JFM 15.0097.01

[30] Poincaré (Henri) [1883] Sur la reproduction des formes, C.R. Acad. sci. Paris (29 oct. 1883), pp.949-951. | JFM 15.0117.01

[31] Poincaré (Henri) [1899] Sur les groupes continus, C.R. Acad. sci. Paris, 128 (1899), pp. 1065-1069. | JFM 30.0334.01

[32] Poincaré (Henri) [1900] Sur les groupes continus, Transactions of the Cambridge Philosophical Society, 18 (1900), pp. 220-255 = Œuvres de Henri Poincaré, vol., III, Paris: Gauthier-Villars (1934), pp.173-212. | JFM 31.0386.01

[33] Poincaré (Henri) [1901] Quelques remarques sur les groupes continus, Rendiconti del Circolo matematico di Palermo, 15 (1901), pp.213-260. | JFM 32.0373.01

[34] Poincaré (Henri) [1906] Sur la dynamique de l'électron, Rend. Circ. Mat. Palermo, 21 (1906), pp.129-176. | JFM 37.0886.01

[35] Poincaré (Henri) [1908] Nouvelles remarques sur les groupes continus, Rend. Circ. Mat. Palermo, 25 (1908), pp.261-321. | JFM 39.0434.01

[36] Poincaré (Henri) [1912] Sur la théorie des quanta, Journal de physique théorique et appliquée 5e sér., 2 (1912), pp.5-34. | JFM 43.0972.04

[37] Poincaré (Henri) [In memoriam 1921] Henri Poincaré in memoriam, Acta Math., 38 (1921). | JFM 48.1459.01

[38] Schmid (Wilfried) [1982] Poincaré and Lie groups, Bulletin of the American Mathematical Society (N.S.), 6 (1982), pp. 175-186. This article is also reprinted in Felix E.Browder (ed.), The Mathematical Heritage of Henri Poincaré, Proceedings of Symposia in Pure Mathematics, Vol. 39, Providence, R.I.: American Mathematical Society, 1983, Part 1, pp.157-168. | MR 640944 | Zbl 0525.01011

[39] Schwartz (Laurent) [1998 (1975)] Les tenseurs, Paris: Hermann, 1998; 1e éd. 1975. | MR 480597

[40] Varadarajan (V.S.) [1984 (1974)] Lie Groups, Lie Algebras and Their Representations, New York: Springer-Verlag, 1984; Englewood Cliffs, NJ: Prentice-Hall, 1974. | MR 746308 | Zbl 0371.22001

[41] Weyl (Hermann) [1946] The Classical Groups, Their Invariants and Representations, second ed., Princeton: Princeton Univ. Press, 1946. | JFM 65.0058.02 | MR 1488158 | Zbl 0020.20601

[42] Witt (Ernst) [1937] Treue Darstellung Liescher Ringe, Journal für die reine und angewandte Mathematik, 177 (1937), pp. 152-160. | JFM 63.0089.02 | Zbl 0016.24401