Borel subgroup is conjugate-dense in connected algebraic group
From Groupprops
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
Contents
Statement
Statement over an algebraically closed field
Suppose is a connected algebraic group over an algebraically closed field
and
is a Borel subgroup of
. Then,
is a conjugate-dense subgroup of
, i.e., we can write:
Statement over an arbitrary field
The statement as made over an algebraically closed field does not work over an arbitrary field, but we can make suitable modifications and make sure it does (can we?).
Particular cases
Theorem | Value of ![]() |
Value of ![]() |
---|---|---|
Triangulability theorem | general linear group | subgroup of upper-triangular matrices. |
Spectral theorem for unitary matrices (not sure if this really fits) | unitary group | subgroup of unitary diagonal matrices. |