View source for Trigonalizable element

{{TEX|done}}

''triangular element''

A trigonalizable element of the algebra  $   \mathop{\rm End}\nolimits \  V $
of endomorphisms of a finite-dimensional vector space  $  V $
over a field  $  k $
is an element  $  X \in  \mathop{\rm End}\nolimits \  V $
all eigenvalues of which belong to  $  k $. 
If  $  k $
is algebraically closed, then every element of  $   \mathop{\rm End}\nolimits \  V $
is trigonalizable. For a trigonalizable element  $  X $(
and only for such an element) there exists a basis in  $  V $
with respect to which the matrix of the endomorphism  $  X $
is triangular (or, what is the same, there exists a complete flag in  $  V $
that is invariant with respect to  $  X $). 
A trigonalizable element has a [[Jordan decomposition|Jordan decomposition]] over  $  k $. 
There exist a number of generalizations of the notion of a trigonalizable element in  $   \mathop{\rm End}\nolimits \  V $
for the case that  $  V $
is infinite-dimensional (see ).

A trigonalizable element of a finite-dimensional algebra  $  A $
over a field  $  k $
is an element  $  a \in A $
such that the operator of right (or left, depending on the case under consideration) multiplication by  $  a $
is a trigonalizable element in the algebra  $   \mathop{\rm End}\nolimits _{k} \  A $. 
If  $  A $
is isomorphic to the algebra  $   \mathop{\rm End}\nolimits \  V $
for some finite-dimensional vector space  $  V $
over  $  k $, 
then these two (formally distinct) definitions reduce to the same concept.

In Lie algebras, trigonalizability of an element  $  x \in A $
means trigonalizability of the endomorphism  $   \mathop{\rm ad}\nolimits _{x} $(
where  $   \mathop{\rm ad}\nolimits _{x} (y) = [x,\  y] $). 
The set of all trigonalizable elements in a Lie algebra is, in general, not closed with respect to the operations of addition and commutation (for example, for  $  \mathfrak{ gl } (2,\  \mathbf R ) $, 
the simple Lie algebra of real matrices of order 2 with trace 0). However, in the case of a solvable algebra  $  A $, 
this set is even a characteristic ideal of  $  A $.


A trigonalizable element in a connected finite-dimensional Lie group  $  G $
is an element  $  g \in G $
such that  $   \mathop{\rm Ad}\nolimits _{g} $
is a trigonalizable element in  $   \mathop{\rm End}\nolimits \  \mathfrak g $(
here  $   \mathop{\rm Ad}\nolimits : \  G \rightarrow  \mathop{\rm Aut}\nolimits \  \mathfrak g $
is the adjoint representation of the Lie group  $  G $
in the group  $   \mathop{\rm Aut}\nolimits \  \mathfrak g \subset  \mathop{\rm End}\nolimits \  \mathfrak g $
of automorphisms of its Lie algebra  $  \mathfrak g $). 
If  $   \mathop{\rm exp}\nolimits : \  \mathfrak g \rightarrow G $
is the exponential mapping and  $  X \in \mathfrak g $
is a trigonalizable element (in the sense of 2)), then  $   \mathop{\rm exp}\nolimits (X) $
is a trigonalizable element of  $  G $. 
The converse is, in general, false.

Lie algebras and Lie groups all elements of which are trigonalizable are called trigonalizable algebras or groups, respectively, and also supersolvable Lie algebras, respectively (cf. [[Lie algebra, supersolvable|Lie algebra, supersolvable]]; [[Lie group, supersolvable|Lie group, supersolvable]]).

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> A. Borel, "Linear algebraic groups" , Benjamin (1969) {{MR|0251042}} {{ZBL|0206.49801}} {{ZBL|0186.33201}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> B.I. Plotkin, "Groups of automorphisms of algebraic systems" , Wolters-Noordhoff (1972) {{MR|0344322}} {{ZBL|0229.20004}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> M.M. Postnikov, "Linear algebra and differential geometry" , Moscow (1979) (In Russian) {{MR|}} {{ZBL|0744.51001}} {{ZBL|0491.51005}} </TD></TR></table>



====Comments====


====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French) {{MR|0682756}} {{ZBL|0319.17002}} </TD></TR></table>