Definition 1
Tag 0642, permanent. Cite it as [Bourbaki, Tag 0642].
Algebra, chapter III, § 8. Determinants
The determinant of an endomorphism of a free -module of finite dimension (II, § 7, no. 2, Corollary to Proposition 3 and Remark 1), denoted by , is the scalar such that is the homothety of ratio .
By formula (4) of § 7, no. 2, is the unique scalar such that
(1)
for every sequence of elements of . If , is said to be unimodular.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.