Bourbaki

Definition 2

Tag 0648, permanent. Cite it as [Bourbaki, Tag 0648].

Algebra, chapter III, § 8. Determinants

Let II be a finite set, AA a commutative ring and XX a square matrix of type (I,I)(I, I) over the ring AA (II, § 10, no. 7). The determinant of the endomorphism uu of the AA-module AIA^I, whose matrix with respect to the canonical basis of AIA^I is XX, is called the determinant of XX and denoted by det⁡X\det X.

If X=(ξij)(i,j)∈I×IX = (\xi_{ij})_{(i,j) \in I \times I} and (ei)i∈I(e_i)_{i \in I} is the canonical basis of AIA^I, the endomorphism uu is then given by

u(ei)=∑j∈Jξjiej. u(e_i) = \sum_{j \in J} \xi_{ji} e_j.

When I={1,n}⊂NI = \{1, n\} \subset \mathbf{N}, if we write xi=u(ei)x_i = u(e_i) for i∈Ii \in I, the determinant of XX is then defined in the relation

x1∧x2∧⋯∧xn=(det⁡X)e1∧e2∧⋯∧en x_1 \wedge x_2 \wedge \cdots \wedge x_n = (\det X) e_1 \wedge e_2 \wedge \cdots \wedge e_n
in other words, det⁡X\det X is equal to the determinant det⁡(x1,x2,…,xn)\det(x_1, x_2, \ldots, x_n) with respect to the canonical basis of AnA^n. Consequently:

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed edition, 1998, Springer. Not translated.