When elimination requires row exchanges, the factorization A = LU generalizes to PA = LU, where P is a permutation matrix that reorders rows.
Loading…
Row exchanges and the general form
Record that assumes no row exchanges, and state that collects the exchanges so that holds for every invertible .
Permutation matrices and the count
Define a permutation matrix as the identity with its rows reordered, name the identity as the do-nothing case, and write the count for size .
The identity
Multiply out for a permutation matrix of your choice, track how the ones line up to give , and record the resulting formula for the inverse.