The Lazard ring is isomorphic to a graded polynomial ring
with the variable $t_i$ in degree $2 i$.
A proof is spelled out in (Kochmann 96, theorem 4.4.9). Another proof is indicated in (Hopkins 99, section 2), worked out in (Mathew 12, Wilson 13). Also (Lurie 10, lecture 2, theorem 4) and (Lurie 10, lecture 3).
The proof is originally due to
Michel Lazard, Sur les groupes de Lie Formels à un Paramètre, Bull. Soc. France, 83 (1955)
A. Fröhlich, Formal group, Lecture Notes in Mathematics Volume 74, Springer (1968)
Review includes
Frank Adams, part II.7 of Stable homotopy and generalised homology, 1974
Stanley Kochmann, section 4.4 of Bordism, Stable Homotopy and Adams Spectral Sequences, AMS 1996
Mike Hopkins, Complex oriented cohomology theories and the language of stacks, 1999 course notes pdf
Akhil Mathew, Lazard’s theorem II, 2012
Jacob Lurie, Chromatic Homotopy Theory, Lecture series 2010, Lecture 2 Lazard’s theorem (pdf)
Jacob Lurie, Chromatic Homotopy Theory, Lecture series 2010, Lecture 3 Lazard’s theorem (continued) (pdf)
Dylan WilsonProof of Lazard’s theorem lecture at 2013 Pre-Talbot Seminar, March 2013 (pdf)
Last revised on July 6, 2016 at 11:17:31. See the history of this page for a list of all contributions to it.