Definition:Determinant/Matrix/Order 3

Definition
Let $\mathbf A = \sqbrk a_3$ be a square matrix of order $3$.

That is, let:
 * $\mathbf A = \begin{bmatrix}

a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{bmatrix}$

The determinant of $\mathbf A$ is given by:
 * $\map \det {\mathbf A} = \begin{vmatrix}

a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{vmatrix}$

Then:

and thence in a single expression as:


 * $\displaystyle \map \det {\mathbf A} = \frac 1 6 \sum_{i \mathop = 1}^3 \sum_{j \mathop = 1}^3 \sum_{k \mathop = 1}^3 \sum_{r \mathop = 1}^3 \sum_{s \mathop = 1}^3 \sum_{t \mathop = 1}^3 \map \sgn {i, j, k} \map \sgn {r, s, t} a_{i r} a_{j s} a_{k t}$

where $\map \sgn {i, j, k}$ is the sign of the permutation $\tuple {i, j, k}$ of the set $\set {1, 2, 3}$.

The values of the various instances of $\map \sgn {\lambda_1, \lambda_2, \lambda_3}$ are obtained by applications of Parity of K-Cycle.