Elementary Row Matrix is Nonsingular

Theorem

Let $\mathbf E$ be an elementary row matrix.

Then $\mathbf E$ is nonsingular.


Proof

From Elementary Row Matrix for Inverse of Elementary Row Operation is Inverse it is demonstrated that:

if $\mathbf E$ is the elementary row matrix corresponding to an elementary row operation $e$

then:

the inverse of $e$ corresponds to an elementary row matrix which is the inverse of $\mathbf E$.

So as $\mathbf E$ has an inverse, a fortiori it is nonsingular.

$\blacksquare$


Also see


Sources

  • 1995: John B. Fraleigh and Raymond A. Beauregard: Linear Algebra (3rd ed.) $\S 1.5$
This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.