Let G be a group, S a subgroup of G, and F a field of characteristic p. We denote the augmentation ideal of the group algebra FG by ω(G). The Zassenhaus-Jennings-Lazard series of G is defined by Dn(G) = G ∩ (1 + ω(G)). We give a constructive proof of a Theorem of Quillen stating that the graded algebra associated to FG is isomorphic as an algebra to the enveloping algebra of the restricted Lie ...