Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 102 / 1 / i / Solution

For an affine algebraic group $G$, its Lie algebra is the tangent space at the identity,Equivalently, it is the space of left-invariant derivations of the coordinate ring $\mathbb{C}[G]$. The Lie bracket is the commutator of derivations,It is antisymmetric because $[Y,X]=-[X,Y]$. Associativity of composition givesafter all six triple products cancel in pairs, proving the Jacobi identity. This construction is the Lie algebra of an affine algebraic group.