Lie Algebra of Group Scheme Given a group scheme $X$ over $S$, where $S$ is an arbitrary locally noetherian scheme, then how does one define the Lie algebra of $X$? And how does it behave with respect to base change?
Is there any good reference for the theory of group schemes apart from Demazure/Gabriel's book about Algebraic Groups?
All of the treatings I have encountered only care about affine schemes, often over a base field. Where can I find a more general exposition?
 A: To elaborate on a comment by ulrich: SGA3 Exp. 2, section 4 treats Lie algebras of arbitrary group-valued functors over an arbitrary scheme (no locally noetherian hypothesis).  I'm not sure what results you want with respect to base change, but most will follow straightforwardly from some combination of Definition 1.1 and Proposition 3.4.
A: I think you'll find quite J.S. Milne's Algebraic Groups, Lie Groups, and their Arithmetic Subgroups course notes pretty informative.
There are also a discussion of group schemes in the book I'm currently reading ; Bosch, Lütkebohmert and Raynaud's "Néron models", but it's not the main topic.
I'm pretty certain Mumford discusses group schemes in his "Abelian varieties", but I'm not sure on what base.
A: For affine group schemes you can have a look to Introduction to affine group schemes by Waterhouse. 
The approach is by functor-of-points, and derivations and associated Lie algebra are also  discussed.
A: the book by sancho de salas 'grupos algebraicos y theoria de invariantes' seems to work in enough generality.
