## Highlights in Linear Algebraic Groups 4: Lie Algebras III

Last time in this series, we saw the definition of the Lie algebra of a linear algebraic group $ G$ over a arbitrary field $ k$ as the set of differentiations $ f:k[G]\to k$; these are the $ k$-linear maps satisfying $ f(ab) = \epsilon(a)f(b) + f(a)\epsilon(b)$ where $ \epsilon:k[G]\to k$ is the counit morphism […]