ThmDex – An index of mathematical definitions, results, and conjectures.
Real matrix determinant is multiplicative
Formulation 0
Let $A, B \in \mathbb{R}^{N \times N}$ each be a D6160: Real square matrix.
Then \begin{equation} \text{Det}(A B) = \text{Det}(A) \text{Det}(B) \end{equation}