定义

在行列式的 Leibniz 展开式中, 所谓全排列是指数字 $1,2,\dots,n$ 的所有排列。每个排列 $\sigma$ 对应一项

$$a_{1\sigma(1)} a_{2\sigma(2)} \cdots a_{n\sigma(n)}$$

也就是说, 对于 $n$ 阶行列式, 每一项都是从每一行、每一列恰好取一个元素得到的乘积。

$$\text{det} \begin{bmatrix} a_{11} & a_{12} & \ldots & a_{1n} \\ a_{21} & a_{22} & \ldots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{n1} & a_{n2} & \ldots & a_{nn} \end{bmatrix} = \sum_{\sigma} (-1)^{\text{sgn}(\sigma)} \cdot a_{1\sigma(1)} \cdot a_{2\sigma(2)} \cdot \ldots \cdot a_{n\sigma(n)}$$

其中，$\sigma$ 是集合 $\{1,2,\dots,n\}$ 的一个全排列，$\text{sgn}(\sigma)$ 表示该排列的奇偶性。这就是行列式按全排列展开的定义。