Let Suppose is obtained from by row operation
- Scale a row. if then
- Exchange a row then
- Add a row then
Proofs
Proving Scalability
by multilinearity
Proving Exchangability
by Alternating
Proving Additivity
Let M∈Mn×n(R) Suppose M′ is obtained from M by row operation
det(M′)=det(R1,…,λRi,…,Rn) by multilinearity =λdet(R1,…,Ri,…,Rn)
det(M′)=det(R1,…,Rj,…,Ri,…,Rn) =−det(R1,…,Ri,…,Rj,…Rn) by Alternating
det(M′)=det(R1,…,Rj+λRi,…,Rn) =det(R1,…,Rj,…,Rn)+λdet(R1,..,Ri,…,Rn) =det(M)