Vector space/Flag/Definition

< Vector space < Flag
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 .