Lemma 1
Tag 0631, permanent. Cite it as [Bourbaki, Tag 0631].
Algebra, chapter III, § 7. Exterior algebras
If σ∈Sn is the permutation such that σ(h)=ih for 1≤h≤p, σ(h)=jn−p for p+1≤h≤n, then εσ=(−1)ν.
For 1≤h<h′≤p or p+1≤h<h′≤n, σ(h′)>σ(h) and the number of ordered pairs (h,h′) such that 1≤h≤p<h′≤n and σ(h)>σ(h′) is equal to ν.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.