# Triangulability theorem

From Groupprops

This article gives the statement, and possibly proof, of a particular subgroup or type of subgroup (namely, Borel subgroup in general linear group (?)) satisfying a particular subgroup property (namely, Conjugate-dense subgroup (?)) in a particular group or type of group (namely, General linear group (?)).

*This article gives the statement, and proof, of a particular subgroup in a group being conjugate-dense: in other words, every element of the group is conjugate to some element of the subgroup*

## Statement

Let be an algebraically closed field. Denote by the general linear group of invertible matrices over and by the Borel subgroup: the subgroup of invertible upper triangular matrices. Then, is conjugate-dense in . In other words, given any matrix in , we can conjugate it (or change basis) to make it upper triangular.

This is an immediate corollary of the Jordan canonical form theorem, though it can be proved independently as well.

Note that the result fails over non-algebraically closed fields; in particular, it fails when is a finite field.