Remark 8
Tag 0DJV, permanent. Cite it as [Bourbaki, Tag 0DJV].
Algebra, chapter IX, § 1. Formes sesquilinéaires
Let be two -modules, (resp. ) a sesquilinear form on (resp. ). Suppose that is non-degenerate and that there exist an element and a bijection of onto such that for all in . Show that: 1° is non-degenerate ; 2° is linear ; 3° if is a faithful -module, the same is true of , and is not a right divisor of 0 in ; 4° if takes values in which are not left divisors of 0, the same is true 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.