Corollary 1
Tag 05T7, permanent. Cite it as [Bourbaki, Tag 05T7].
Algebra, chapter II, § 7. Vector spaces
The rank of u is the smallest integer s such that there exists an expression , where and for .
This follows immediately from Proposition 17 and no. 2, Proposition 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.