Definition of determinant and cramer solutions over the quaternion field (Q3979570)

The author gives the following definition of the determinant of an \(n\times n\) matrix \(A=[a_{ij}]\) over the real quaternion field. For each permutation \(\sigma\) in the symmetric group \(S_ n\), consider the following canonical decomposition into a product of disjoint cycles. \[ \sigma=(n_ 1i_ 2i_ 3\dots i_ s)(n_ 2j_ 2j_ 3\dots j_ t)\dots(n_ rk_ 2k_ 3\dots k_ \ell), \] where \(n_ 1>i_ 2,i_ 3,\dots,i_ s\), \(n_ 2>j_ 2,j_ 3,\dots,j_ t,\dots,\) \(n_ r>k_ 2,k_ 3,\dots,k_ \ell\), \(n=n1>n_ 2>\dots>n_ r\geq 1\). Put \(\epsilon(\sigma)=1\) if \(\sigma\) is even, and \(\epsilon(\sigma)=-1\) if \(\sigma\) is odd. Then \[ \text{det A}=\sum_{\sigma\in S_ n}\epsilon(\sigma)a_{n_ 1i_ 2}a_{i_ 2i_ 3}\dots a_{i_{s- 1}i_ s}a_{i_ sn_ 1}a_{n_ 2j_ 2}\dots a_{j_ tn_ 2}\dots a_{n_ rk_ 2}\dots a_{k_ \ell n_ r}. \] If \(A^ +\) is the conjugate transpose of \(A\), then \(\text{det}(A^ +A)\neq 0\) implies the existence of an inverse of \(A\). In this case, a system of right linear equations with coefficient matrix \(A\) has a unique solution which is expressed explicitly by an analog of Cramer's formulae.