For , put . When this is a transvection: it fixes the hyperplane pointwise and has rank-one difference from the identity. Its inverse is and its determinant is one.
Left multiplication performs a row addition. For an invertible matrix, bring a nonzero entry into a pivot position by a signed interchange, then clear its column by row additions. A signed interchange on two coordinates is itself a product of row additions, because
Repeating the pivot construction and then clearing above the pivots reduces any determinant-one matrix to a diagonal matrix of determinant one. Finally
A determinant-one diagonal matrix is a product of such two-coordinate matrices, using the last coordinate to compensate each of the first diagonal entries. Each displayed matrix is a product of elementary transvection matrices. Hence reversing the elimination proves
This argument works over every field, including characteristic two.

Articles by others on the same topic (0)

There are currently no matching articles.