# Tag Archives: differentiation

## 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 […]