Definition 2
Tag 0648, permanent. Cite it as [Bourbaki, Tag 0648].
Algebra, chapter III, § 8. Determinants
Let be a finite set, a commutative ring and a square matrix of type over the ring (II, § 10, no. 7). The determinant of the endomorphism of the -module , whose matrix with respect to the canonical basis of is , is called the determinant of and denoted by .
If and is the canonical basis of , the endomorphism is then given by
When , if we write for , the determinant of is then defined in the relation
in other words, is equal to the determinant with respect to the canonical basis of . Consequently:
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.