Corollary
Tag 00KR, permanent. Cite it as [Bourbaki, Tag 00KR].
Algebra, VIII, p. 344, § 17. Reduced Norms and Traces
The linear subspace of A generated by the elements of the form , where and run through A, is a hyperplane, the kernel of the nonzero linear form Trd.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.