Flag (linear algebra, $0=V_0\subset V_1\subset \cdots \subset V_r=V$)

A flag is a strictly nested chain of vector subspaces of a fixed vector space. A complete flag contains a subspace of every possible dimension. For an action by linear maps, an invariant flag means that each of its vector subspaces is an invariant subspace. A basis adapted to an invariant complete flag makes all these maps upper triangular, connecting complete flags to simultaneous triangularization of a Lie algebra representation.

A complete flag in an $n$-dimensional vector space is a nested sequence of vector subspaces with $\dim V_i=i$. An action preserves such a flag exactly when its matrices are upper triangular in a basis adapted to the flag. The Lie theorem supplies an invariant complete flag for every complex finite-dimensional Lie algebra representation of a solvable Lie algebra.