[Math] Numbers defined with matrices

complex numbersmatrices

We know that a complex number, written as $c=(a,b)$, can be expressed with the help of a matrix as
$$\begin{bmatrix}a & -b\\ b & a\end{bmatrix}$$ and operations on such matrices resemble operations on complex numbers.

However with $2 \times 2$ matrices we could imagine a definition of another type "number" $x=(a,b)$, for example $$(a,b) \longleftrightarrow \begin{bmatrix}a & b\\b & a\end{bmatrix}.$$

Here the operations are quite well defined – multiplication and addition are commutative – the only difference to the complex numbers it seems is that not all numbers have their inverses – for example for $(a,a)$ or $(a,-a)$ it's hard to say what is its inverse.

Why don't we use such "numbers"? Are they numbers at all? When can we say that a given matrix represents number?

The same is true for $ 4 \times 4$ matrices … it seems only one way of defining numbers – known as quaternions – has found its way into the numbers world… (even though the number of possible ways for constructing matrices with $4$ values when every value is repeated in the matrix $4$ times is much greater).

Best Answer

This is to some extent a question of representation theory. So we do use these things.

For example, suppose you want to extend the field of rational numbers to include some weird number $\xi$ which satisfies $\xi^2 - N = 0$. You can represent multiplication by a number $a+b\xi$ with the 2x2 matrix $\pmatrix{a & Nb \\ b & a}$. Then yours is just a special case of $N = -1$, which (if the underlying elements $a$ and $b$ are in $\mathbb{R}$) is one way to represent complex numbers. If $N = 0$ then we have the dual numbers, and if $N=1$ then we have the split-complex numbers.

Note that extensions like this can cause problems and we may lose field properties, for instance there is no way to divide a real number by a pure dual number since eliminating the dual from the denominator constitutes division by zero. So always check that the basic rules of arithmetic are preserved, or if we need additional constraints. Just because we lose field properties doesn't mean the algebraic structure isn't interesting or useful.

This kind of extension can continue. If your underlying field is $\mathbb{Q}$ and you extend it to include $\xi_N$ (as above) and then want to extend it again to include another $\xi_M$ then you have a 4x4 matrix representation.

Related Question