Math 2.0

Linear and multilinear algebra; matrix theory Proof

Proof that permuting rows multiplies the determinant by the sign

Builds on Determinant is multilinear in the rowsDeterminant of a matrix with two equal rowsTranspositionThe symmetric group is generated by transpositionsSign of a permutation

Proof

We first treat one exchange of two rows, and then write σ\sigma as a product of transpositions.

  1. For a matrix MM and a permutation π\pi of {1,…,n}\set{1, \dots, n}, let MπM_\pi be the matrix whose row ii is row π(i)\pi(i) of MM. Then B=AσB = A_\sigma.
  2. For permutations π\pi and ρ\rho, row ii of (Mπ)ρ(M_\pi)_\rho is row ρ(i)\rho(i) of MπM_\pi. This is row π(ρ(i))\pi(\rho(i)) of MM. So (Mπ)ρ=Mπρ(M_\pi)_\rho = M_{\pi \rho}.
  3. Let τ\tau be the transposition that exchanges kk and ll, with k≠lk \ne l. Then MτM_\tau is MM with rows kk and ll exchanged. We show det⁡Mτ=−det⁡M\det M_\tau = -\det M.
  4. Let xx and yy be rows kk and ll of MM. For rows u,vu, v, let D(u,v)D(u, v) be the determinant of MM with row kk replaced by uu and row ll replaced by vv.
  5. Then D(x,y)=det⁡MD(x, y) = \det M and D(y,x)=det⁡MτD(y, x) = \det M_\tau. By the rule for two equal rows, D(u,u)=0D(u, u) = 0 for every row uu.
  6. By multilinearity in row kk and then in row ll, D(x+y,x+y)=D(x,x)+D(x,y)+D(y,x)+D(y,y)D(x + y, x + y) = D(x, x) + D(x, y) + D(y, x) + D(y, y).
  7. By step 5, the left side and the terms D(x,x)D(x, x) and D(y,y)D(y, y) of step 6 are 00. So D(y,x)=−D(x,y)D(y, x) = -D(x, y), that is, det⁡Mτ=−det⁡M\det M_\tau = -\det M.
  8. If n=1n = 1, then σ\sigma is the identity, B=AB = A and sgn⁡(σ)=1\sgn(\sigma) = 1. So the claim holds. From now on let n≥2n \ge 2.
  9. The symmetric group SnS_n is generated by transpositions, and the inverse of a transposition is itself. So σ=τ1τ2⋯τm\sigma = \tau_1 \tau_2 \cdots \tau_m with transpositions τr\tau_r.
  10. Let π0\pi_0 be the identity and πr=τ1⋯τr\pi_r = \tau_1 \cdots \tau_r for 1≤r≤m1 \le r \le m. Then Aπ0=AA_{\pi_0} = A and Aπm=BA_{\pi_m} = B.
  11. By step 2, Aπr=(Aπr−1)τrA_{\pi_r} = (A_{\pi_{r-1}})_{\tau_r} for 1≤r≤m1 \le r \le m. So step 7 gives det⁡Aπr=−det⁡Aπr−1\det A_{\pi_r} = -\det A_{\pi_{r-1}}.
  12. By induction on rr, det⁡Aπr=(−1)rdet⁡A\det A_{\pi_r} = (-1)^r \det A. For r=mr = m, this is det⁡B=(−1)mdet⁡A\det B = (-1)^m \det A.
  13. By the definition of the sign, (−1)m=sgn⁡(σ)(-1)^m = \sgn(\sigma). So det⁡B=sgn⁡(σ)det⁡A\det B = \sgn(\sigma) \det A.

Idea

Putting the sum of two rows into both places gives a determinant zero. Expanding it shows that one exchange of two rows changes the sign. A general permutation of the rows is a chain of exchanges, so the determinant picks up one factor −1-1 for each.

Reading path

To understand this page from the ground up, read these 92 pages in order. The foundations come first. The path takes the proofs Proof of the decomposition of a permutation into transpositions, Proof that the symmetric group is generated by transpositions, Proof of the commutativity of addition by induction, Proof that equivalence classes form a partition, Proof that disjoint cycles commute, Proof that a matrix with two equal rows has determinant zero, Proof of strong induction from ordinary induction, Proof of the laws of exponents in a group, Proof that an intersection of subgroups is a subgroup, Proof of the decomposition of a permutation into disjoint cycles, Proof of the well-ordering principle from strong induction, Proof of the division algorithm, Proof of the uniqueness of inverses, Proof that the determinant is multilinear in the rows, Proof of the subgroup criterion.

  1. Binary operation definition
  2. Cycle notation concept
  3. Definition by recursion concept
  4. Divisibility definition
  5. Element definition
  6. Group concept
  7. Identity matrix object
  8. Mathematical induction concept
  9. Matrix definition
  10. Multilinear map concept
  11. Natural numbers object
  12. Peano axioms concept
  13. Proposition concept
  14. Transposition concept
  15. Vector space definition
  16. Identity element definition
  17. Set definition
  18. Subgroup definition
  19. Symmetric group definition
  20. Square matrix definition
  21. Successor function definition
  22. Conjunction definition
  23. Disjunction definition
  24. Implication definition
  25. Predicate definition
  26. Linear map definition
  27. Inverse element definition
  28. Empty set object
  29. Family of sets definition
  30. Ordered pair definition
  31. Transposition definition
  32. Proof that an intersection of subgroups is a subgroup proof
  33. Intersection definition
  34. Union definition
  35. Set-builder notation concept
  36. Addition of natural numbers definition
  37. Biconditional definition
  38. The successor function is injective statement
  39. Zero is not a successor statement
  40. Existential quantifier definition
  41. Universal quantifier definition
  42. Multilinear map definition
  43. Proof of the uniqueness of inverses proof
  44. Cartesian product definition
  45. Disjoint sets definition
  46. Subset definition
  47. Proof of the commutativity of addition by induction proof
  48. Axiom of extensionality statement
  49. Union of a family of sets definition
  50. Order on the natural numbers definition
  51. Uniqueness quantifier definition
  52. Alternating multilinear map definition
  53. Uniqueness of inverses statement
  54. Binary relation definition
  55. Partition of a set definition
  56. Determinant definition
  57. Commutativity of addition statement
  58. Proof of strong induction from ordinary induction proof
  59. Reflexive relation definition
  60. Symmetric relation definition
  61. Transitive relation definition
  62. Proof of the subgroup criterion proof
  63. Proof of the laws of exponents in a group proof
  64. Proof that a matrix with two equal rows has determinant zero proof
  65. Function definition
  66. Proof that the determinant is multilinear in the rows proof
  67. Strong induction statement
  68. Equivalence relation definition
  69. Subgroup criterion statement
  70. Determinant of a matrix with two equal rows statement
  71. Laws of exponents in a group statement
  72. Determinant is multilinear in the rows statement
  73. Injective function definition
  74. Proof of the well-ordering principle from strong induction proof
  75. Intersection of subgroups is a subgroup statement
  76. Proof that disjoint cycles commute proof
  77. Equivalence class definition
  78. Well-ordering principle statement
  79. Subgroup generated by a subset definition
  80. Disjoint cycles commute statement
  81. Proof that equivalence classes form a partition proof
  82. Proof of the division algorithm proof
  83. Equivalence classes form a partition statement
  84. Division algorithm statement
  85. Proof of the decomposition of a permutation into disjoint cycles proof
  86. Decomposition of a permutation into disjoint cycles statement
  87. Proof of the decomposition of a permutation into transpositions proof
  88. Decomposition of a permutation into transpositions statement
  89. Sign of a permutation definition
  90. Proof that the symmetric group is generated by transpositions proof
  91. The symmetric group is generated by transpositions statement
  92. Proof that permuting rows multiplies the determinant by the sign proof

Where this leads

246 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Determinant, Basic rules
About this page
Tag8A15WSEXZN
URIm2://8A15WSEXZN
Kindproof
WritingW0 stub
MSC15A15
ProvesPermuting rows multiplies the determinant by the sign
UsesDeterminant is multilinear in the rows, Determinant of a matrix with two equal rows, Transposition, The symmetric group is generated by transpositions, Sign of a permutation
Changed4 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.