Faithful representation of an affine algebraic group
= Faithful representation of an affine algebraic group
Every affine algebraic group has a faithful finite-dimensional rational <group representation>. Choose algebra generators of $k[G]$ and place them in a finite-dimensional subspace stable under right translations. An element acting trivially on that subspace has the same coordinate values as the identity and therefore is the identity.