Kolchin theorem
= Kolchin theorem
{c}
{wiki=Lie–Kolchin_theorem}
Every unipotent algebraic subgroup of $\operatorname{GL}_n$ is conjugate to a subgroup of the upper unitriangular group. The filtration by vanishing initial superdiagonals then proves that every unipotent algebraic group is a <nilpotent group>.