Bourbaki

Example 2

Tag 00Q8, permanent. Cite it as [Bourbaki, Tag 00Q8].

Algebra, VIII, p. 454, Appendix 2. Determinants over a Noncommutative Field

Let σ\sigma be a permutation of the interval [1,n][1, n] in N\mathbf{N}, with signature ε(σ)\varepsilon (\sigma ). Let M(σ)(\sigma ) be the matrix of the permutation σ\sigma (II, §10, No. 7, p. 351). The columns of the matrix M(σ)(\sigma ) are εσ(1),...,εσ(n)\varepsilon_{\sigma(1)}, . . . , \varepsilon_{\sigma(n)}. Applying formula (4) of VIII, p. 448, we therefore have

(22) det(M(σ)(\sigma )) =π(ε(σ))=\pi (\varepsilon (\sigma )).

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

Cites

Transcribed from the printed edition, 2023, Springer Nature. Not translated.