ThmDex – An index of mathematical definitions, results, and conjectures.
F13098
Formulation 0
Let $A \in \mathbb{C}^{N \times N}$ be a D6159: Complex square matrix such that
(i) $\lambda_1, \ldots, \lambda_N$ is a D6192: Complex matrix eigenvalue sequence for $A$
Then \begin{equation} \text{Det} A = \prod_{n = 1}^N \lambda_n \end{equation}