Semisimple element of an affine algebraic group (source code)

= Semisimple element of an affine algebraic group

An element of an affine algebraic group is semisimple when its image in one, equivalently every, faithful finite-dimensional representation is a diagonalizable linear map.