Triangulability theorem

From Groupprops
Jump to: navigation, search
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 k be an algebraically closed field. Denote by GL_n(k) the general linear group of invertible n \times n matrices over k and by B_n(k) the Borel subgroup: the subgroup of invertible upper triangular matrices. Then, B(n,k) is conjugate-dense in GL(n,k). In other words, given any matrix in GL(n,k), 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 k is a finite field.