Determinant of Elementary Row Matrix/Exchange Rows

Theorem
Let $e_3$ be the elementary row operation $\text {ERO} 3$:

which is to operate on some arbitrary matrix space.

Let $\mathbf E_3$ be the elementary row matrix corresponding to $e_3$.

The determinant of $\mathbf E_3$ is:
 * $\map \det {\mathbf E_3} = -1$

Proof
By Determinant of Unit Matrix:
 * $\map \det {\mathbf I} = 1$

By definition of elementary row matrix, $\mathbf E_3$ is the result of applying $\text {ERO} 3$ to a unit matrix $\mathbf I$.

Thus its effect is to exchange the positions of two of the rows of $\mathbf I$.

By Determinant with Rows Transposed, this means that:
 * $\map \det {\mathbf E_3 \mathbf I} = -\map \det {\mathbf I}$

Hence the result.