Vector space/Flag/Definition

Flag

Let denote a field, and let denote a finite-dimensional vector space of dimension . Then a chain of linear subspaces

is called a flag in .