Why matrices commuting with $\small\begin{bmatrix} 0&1\\-1&0\end{bmatrix}$ represent complex numbers

abstract-algebracomplex numberslinear algebramatricesring-theory

I am trying to understand which $2$ by $2$ real matrices represent complex numbers in following way.

Let $J=\begin{bmatrix} 0&1\\-1&0\end{bmatrix}$ and $A=\begin{bmatrix} a&b\\c&d\end{bmatrix}$ be any real matrix.

If $A$ represents a complex matrix (by standard embedding of complex field into matrix ring) then $A$ should commute with the matrix $J$, which image of complex number $i$.

Q. I want to understand why the matrices commuting with $J$ are precisely the matrices representing complex numbers?

Best Answer

Let

$A = \begin{bmatrix} a & b \\ c & d \end{bmatrix} \tag 1$

with

$AJ = JA; \tag 2$

writing

$AJ = \begin{bmatrix} a & b \\ c & d \end{bmatrix} \begin{bmatrix} 0 & 1 \\ -1 & 0 \end{bmatrix} = \begin{bmatrix} -b & a \\ -d & c \end{bmatrix} \tag 3$

and

$JA = \begin{bmatrix} 0 & 1 \\ -1 & 0 \end{bmatrix}\begin{bmatrix} a & b \\ c & d \end{bmatrix} = \begin{bmatrix} c & d \\ -a & -b \end{bmatrix}, \tag 4$

we see in light of (2) that

$c = -b, \tag 5$

$d = a; \tag 6$

thus $A$ takes the form

$A = \begin{bmatrix} a & b \\ -b & a\end{bmatrix}; \tag 7$

we note that may write

$A = aI + bJ, \tag 8$

which evidently commutes with $J$; thus every matrix satisfying (2) is of the form (8). And under the correspondence

$i \longleftrightarrow J, \tag 9$

$A$ corresponds to the complex number $a + bi$.