Corollary
Tag 062Y, permanent. Cite it as [Bourbaki, Tag 062Y].
Algebra, chapter III, § 7. Exterior algebras
Let be a commutative field and a vector space over . For every element , there exists a smallest vector subspace of such that and is finite-dimensional.
The proof is deduced from that of § 5, no. 2, Corollary to Proposition 4 replacing by throughout.
is called the vector subspace of associated with the element of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.