How to obtain heypercomplex numbers by an operation over complex numbers?

Question

Using subtract operation with natural numbers would yield integers.
Similarly, using division operation with integers would yield rational numbers.
Then, applying division operation again with rational numbers would yield real numbers.
Continuing, applying exponent operation with real numbers would yield complex numbers.

But from here, what operation over complex numbers would yield hypercomplex numbers? Or if none, is this an artificial extension of complex numbers?

Answer 1

from real to complex

You state that "taking the square root of $-1$" gets you out of the reals and into the complex numbers. That is kinda true, but also misleading. Without complex numbers, the "square root" functions is simply only defined for non-negative real numbers, so there is simply no way to take the square root of negative one. The same way as division $a/b$ is only defined for $b\neq 0$.

It is cleaner to state the process like this: We are looking for an extension of the real numbers such that:

• The extended set of numbers still forms a "field" (i.e. laws like commuativitiy and associativity still hold)
• There is a number "$i$" such that $i\cdot i=-1$.
• The extended field should be as small as possible given these previous conditions.

It turns out, that this has a unique answer, which are the complex numbers.

from complex to quaternions

Here again, you are asking for an extension. So you have to state what new objects you want to have, and what properties you want to preserve. Here is one version of that:

• we want numbers $i,j,k$ such that \begin{align} (ai+bj+ck)^2 = \text{some constant} \cdot (a^2 + b^2 + c^2) \end{align} for all real numbers $a,b,c$. You could either view this as an artificial challenge, but actually, problems like these do turn up in particle physics for example (related to "spin").

Now the problem is, that it is mathematically impossible to have these numbers $i,j,k$ and also preserve all properties of a field. But if you are willing to give up commutativity (while preserving associativity and the law of distribution), the unique smallest extension is the quaternions.

Answer 2

Solving equation $|z|=i$ is impossible in complex numbers, but has two solutions in tessarines, which is an extension of complex numbers. The solutions are $j$ and $-j$, where $j$ is hyperbolic (split-complex) unity. This depends on the generalization of modulus function to tessarines though.

The canonical definition is $|a+bi+cj+dij|=\sqrt{a^2+b^2+d^2-c^2}$.