Proposition 5
Tag 0DJ6, permanent. Cite it as [Bourbaki, Tag 0DJ6].
Algebra, chapter IX, § 1. Formes sesquilinéaires
The hypotheses and notations being those of def. 7, the linear mappings and associated with have the same rank, and this rank is equal to the rank of the form .
Indeed the kernel of the mapping from F into is obviously , hence its rank is equal to the dimension of . Analogously the rank of is equal to the dimension of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.