For a prime power and , count ordered lists of linearly independent vectors in . The first has choices. After independent choices, their linear span contains vectors, so the next has choices. Every -dimensional vector subspace has exactly ordered bases. Dividing the list count by this common multiplicity gives
The notation refers to the Grassmannian, here considered simply as the finite collection of these vector subspaces.[ref]
For , there are ordered independent pairs. Each two-dimensional vector subspace has ordered bases, leaving vector subspaces. There are only coordinate-selected vector subspaces; most of the 35 also contain vectors combining coordinates.
A unique reduced row echelon form gives another count. Its six possible pivot-column patterns have freely chosen entries. Each free entry lies in , giving vector subspaces, respectively. The diagram fixes the zero entries required to make each pivot the first nonzero entry in its row and the only nonzero entry in its column. Different choices describe different row spaces.
Figure 1.
The six reduced row echelon form pivot patterns give 35 two-dimensional vector subspaces of
. Original exact matrix-pattern enumeration. A star is a freely chosen finite field entry, while every displayed zero or one is fixed. Pivot columns are numbered from one in this image. Details.

Articles by others on the same topic (0)

There are currently no matching articles.