Reductive algebraic group (source code)

= Reductive algebraic group
{wiki=Reductive_group}

A reductive algebraic group is a smooth connected affine algebraic group whose largest connected normal <unipotent algebraic group> is trivial.