Flag (linear algebra)

In mathematics, particularly in linear algebra, a flag is an increasing sequence of subspaces of a finite-dimensional vector space V. Here "increasing" means each is a proper subspace of the next (see filtration): The term flag is motivated by a particular example resembling a flag: the zero point, a line, and a plane correspond to a nail, a staff, and a sheet of fabric.

[1] If we write that dimVi = di then we have where n is the dimension of V (assumed to be finite).

Conversely, any partial flag can be completed (in many different ways) by inserting suitable subspaces.

Concretely, the standard flag is the sequence of subspaces: An adapted basis is almost never unique (the counterexamples are trivial); see below.

A complete flag on an inner product space has an essentially unique orthonormal basis: it is unique up to multiplying each vector by a unit (scalar of unit length, e.g. 1, −1, i).

More abstractly, it is unique up to an action of the maximal torus: the flag corresponds to the Borel group, and the inner product corresponds to the maximal compact subgroup.

[2] The stabilizer subgroup of the standard flag is the group of invertible upper triangular matrices.

The stabilizer subgroup of a complete flag is the set of invertible upper triangular matrices with respect to any basis adapted to the flag.

of dimension 1 (precisely the cases where only one basis exists, independently of any flag).

In an infinite-dimensional space V, as used in functional analysis, the flag idea generalises to a subspace nest, namely a collection of subspaces of V that is a total order for inclusion and which further is closed under arbitrary intersections and closed linear spans.

From the point of view of the field with one element, a set can be seen as a vector space over the field with one element: this formalizes various analogies between Coxeter groups and algebraic groups.

Under this correspondence, an ordering on a set corresponds to a maximal flag: an ordering is equivalent to a maximal filtration of a set.