reductive
Let be a Lie group or algebraic group. is called reductive over a field if every representation of over is completely reducible
For example, a finite group![]()
is reductive over a field if and only if its order is not divisible by the characteristic of (by Maschke’s theorem). A complex Lie group is reductive if and only if it is a direct product
![]()
of a semisimple group and an algebraic torus.