Determinant of Matrix Product/Proof 2

Proof
Consider two cases:


 * $(1): \quad \mathbf A$ is not invertible.


 * $(2): \quad \mathbf A$ is invertible.

Proof of case 1
Assume $\mathbf A$ is not invertible.

Then $\det \left({\mathbf A}\right) = 0$.

Also if $\mathbf A$ is not invertible then neither is $\mathbf A \mathbf B$, and so


 * $\det\left({\mathbf A \mathbf B}\right) = 0$

Thus:
 * $0 = 0 \cdot \det\left({\mathbf B}\right)$


 * $\det \left({\mathbf A\mathbf B}\right) = \det \left({\mathbf A}\right) \cdot \det\left({\mathbf B}\right)$

Proof of case 2
Assume $\mathbf A$ is invertible.

Then $\mathbf A$ is a product of elementary matrices, $\mathbf E$.

Let $\mathbf A = \mathbf E_{k} \mathbf E_{k-1} \cdots \mathbf E_{1}$.

So:
 * $\det \left({\mathbf A\mathbf B}\right) = \det \left({\mathbf E_{k}\mathbf E_{k-1} \cdots \mathbf E_{1} \mathbf B}\right)$

Now all that's left to show is that for any square matrix $\mathbf D$ of order $n$:
 * $\det \left({\mathbf E \mathbf D}\right) = \det \left({\mathbf E}\right) \cdot \det\left({\mathbf D}\right)$

Let $e_i \left({\mathbf I}\right) = \mathbf E_i$ for all $i \in [1,2,\cdots,k]$, then using Elementary Row Operations by Matrix Multiplication and Effect of Sequence of Elementary Row Operations on Determinant yields
 * $\det \left({\mathbf {ED}}\right) = \det \left({\mathbf E_k \mathbf E_{k-1} \cdots \mathbf {E_1D}}\right) = \det \left({e_ke_{k-1} \cdots e_1 \left({\mathbf D}\right)}\right) = \alpha \det \left({\mathbf D}\right)$

Using Elementary Row Operations by Matrix Multiplication and Effect of Sequence of Elementary Row Operations on Determinant, and Unit Matrix is Unity of Ring of Square Matrices:
 * $\det \left({\mathbf E}\right) = \det \left({\mathbf E_k \mathbf E_{k-1} \cdots \mathbf {E_1I}}\right) = \det \left({e_ke_{k-1} \cdots e_1 \left({\mathbf I}\right)}\right) = \alpha \det \left({\mathbf I}\right)$

From Determinant of Unit Matrix:


 * $\det \left({\mathbf E}\right) = \alpha$

And so $\det \left({\mathbf E \mathbf D}\right) = \det \left({\mathbf E}\right) \cdot \det\left({\mathbf D}\right)$

Therefore:
 * $\det \left({\mathbf {AB}}\right) = \det \left({\mathbf A}\right) \det \left({\mathbf B}\right)$

as required.