Is there a third dimension of numbers like real numbers, imaginary numbers, [blank] numbers?

  • 15
    $\begingroup$ I guess this is related: en.wikipedia.org/wiki/Quaternion $\endgroup$
    – Aryabhata
    Commented Apr 10, 2011 at 16:30
  • 1
    $\begingroup$ Wow, that is annoying. Are three-dimensional numbers even possible/necessary? $\endgroup$
    – awesomeguy
    Commented Apr 10, 2011 at 16:42
  • 2
    $\begingroup$ Quaternions are four-dimensional, but they are used in computer graphics to deal with 3-D situations. $\endgroup$ Commented Apr 10, 2011 at 16:54
  • 8
    $\begingroup$ A good hint that there is no three dimensional numbers is the fact that $(a_1^3 + b_1^3 + c_1^3)(a_1^3 + b_2^3 + c_2^3)$ doesn't always equal the sum of three cube numbers (the axiom that product of two three cubes is another three cube). The quaternions barely satisfy the condition for four dimensional except for commutativity. $\endgroup$
    – Mark
    Commented Apr 10, 2011 at 20:27
  • 9
    $\begingroup$ EDIT for above comment: I accidentally wrote cubes for some reason. I meant the product of three squares $(a_1^2+b_1^2+c_1^2)(a_2^2+b_2^2+c_2^2)$ doesn't always equal the sum of three square numbers. It's well known in any elementary number theory book that Euler proved its true for product of four square hinting that four dimensional numbers exist. $\endgroup$
    – Mark
    Commented Apr 10, 2011 at 22:36

8 Answers 8


Alas, there are no algebraically coherent "triplexes". The next step in the construction as has been said already are "quaternions" with 4 dimensions.

Many young aspiring mathematicians have tried to find them since Hamilton in the 19th century. This impossibility links geometric dimensionality, fundamental properties of polynomial equations, algebraic systems and many other aspects of mathematics. It is really worth studying.

A quite recent book by modern mathematicians which details all this for advanced college undergraduates is Numbers by Ebbinghaus, Hermes, Hirzebruch, Koecher, Mainzer, Neukirch, Prestel, Remmert, and Ewing.

However, the set of quaternions with zero real part is an interesting system of dimension 3 with very interesting properties, linked to the composition of rotations in space.

  • $\begingroup$ What do you mean by "algebraically coherent"? Is this algebraically coherent or not? math.stackexchange.com/a/4436389/2513 $\endgroup$
    – Anixx
    Commented May 17, 2022 at 13:18
  • $\begingroup$ @Annix : I used this phrase "algebraically coherent" precisely because I wanted to convey a global idea, not the list of all properties or schemas that such a system should verify or conserve. The idea described in your stackexchange answer is new to me and deserves careful study before I can comment on it. Thanks a lot for drawing my attention. $\endgroup$
    – ogerard
    Commented May 18, 2022 at 18:15
  • $\begingroup$ There is a video regarding example 2 in the post: youtube.com/watch?v=dvI7dGXFgm8 So we have 2 distinct commutative associative 3-dimensional algebras over reals. Here is some algebraic comparison with a table: math.stackexchange.com/a/4453434/2513 $\endgroup$
    – Anixx
    Commented May 18, 2022 at 18:20

You may find of interest some more general results besides the mentioned Frobenius Theorem. Weierstrass (1884) and Dedekind (1885) showed that every finite dimensional commutative extension ring of $\mathbb R$ without nilpotents ($x^n = 0\,\Rightarrow\, x = 0$) is isomorphic as a ring to a direct sum of copies of $\rm\,\mathbb R\,$ and $\rm\,\mathbb C.\,$ Wedderburn and Artin generalized it to: every finite-dimensional associative algebra without nilpotent elements over a field $\rm\,F\,$ is a finite direct sum of fields.

Such structure theoretic results greatly simplify classifying such rings when they arise in the wild. For example, I applied a special case of these results last week to prove that a finite ring is a field if its units $\cup\ \{0\}$ comprise a field of characteristic $\ne 2.\,$ For another example, a sci.math reader once proposed an extension of the real numbers with multiple "signs". This turns out to be a very simple case of the above results. Below is my 2009.6.16 sci.math post on these "PolySign" numbers.

The results in Eitzen's paper Understanding PolySign Numbers the Standard Way, characterizing Tim Golden's so-called PolySign numbers as ring direct sums of $\mathbb R$ and $\mathbb C$, have been known for over a century and a half. Namely that $\rm\,P_n =\, \mathbb R[x]/(1+x+x^2+\,\cdots\, + x^{n-1})\ $ is isomorphic to a certain ring direct sum of $\,\mathbb R$ and $\,\mathbb C,\,$ is just a special case of more general results due to Weierstrass and Dedekind in the 1860s. These classic results are so well-known that you will find them mentioned even in many elementary textbooks on number systems and their generalizations. For example, in Numbers by Ebbinghaus et.al. p.120:

Weierstrass (1884) and Dedekind (1885) showed that every finite dimensional commutative ring extension of R with unit element but without nilpotent elements, is isomorphic to a ring direct sum of copies of R and C.

Ditto for historical expositions, e.g. Bourbaki's Elements of the History of Mathematics, p. 119:

By 1861, Weierstrass, making precise a remark of Gauss, had, in his lectures, characterized commutative algebras without nilpotent elements over R or C as direct products of fields (isomorphic to R or C); Dedekind had on his side reached the same conclusions around 1870, in connection with his "hypercomplex" conception of the theory of commutative fields, their proofs were published in 1884-85 [1,2]. [...] These methods rely above all on the consideration of the characteristic polynomial of an element of the algebra relative to its regular representation (a polynomial already met in the work of Weierstrass and Dedekind quoted earlier) and on the decomposition of the polynomial into irreducible factors.

Nowadays these fundamental results are merely special cases of more general structure theories for algebras that are part of any first course on algebras (but not always met in a first course on abstract algebra). A web search turns up more on the subsequent history, e.g. excerpted from

Y. M. Ryabukhin, Algebras without nilpotent elements, I,
Algebra i Logika, Vol. 8, No. 2, pp. 181-214, March-April, 1969

Algebras without nilpotent elements have been studied long ago. So, Weierstrass characterized in his lectures in 1861 finite-dimensional associative-commutative algebras without nilpotent elements over the field of real or complex numbers as finite direct sums of fields. To be exact, some nonessential restrictions have there been imposed. In 1870 Dedekind removed those nonessential restrictions. The following theorem of Weierstrass-Dedekind is now considered as a classical one: every finite-dimensional associative-commutative algebra without nilpotent elements over a field F is a finite direct sum of fields. The results of Weierstrass and Dedekind (for the case when F is the field of complex or real numbers) have been published in [1,2]. The results of works of Molien, Cartan, Wedderburn and Artin [3-6] imply that Dedekind's theorem holds for any field F. Moreover, the following theorem of Wedderburn-Artin holds: every finite-dimensional associative algebra without nilpotent elements over a field F is a finite direct sum of fields." [...]

  1. K. Weierstrass, "Zur Theorie der aus n Haupteinheiten gebildeten complexen Grossen," Gott. Nachr. (1884).
  2. R. Dedekind, "Zur Theorie der aus n Haupteinheiten gebildeten complexen Grossen," Gott. Nachr. (1885).
  3. F. Molien, "Ueber Systeme hoherer complexer Zahlen," Math. Ann., XLI, 83-156 (1893).
  4. E. Cartan, "Les groupes bilineaires et les systemes de nombres complexes," Ann. Fac. Sci., Toulouse (1898).
  5. J. Wedderburn, "On hypercomplex numbers," Proc. London Math. Soc. (2), VI, 349-352 (1908).
  6. E. Artin, "Zur Theorie der hyperkomplexen Zahlen," Abh. Math. Sere. Univ. Hamburg, 5, 251-260 (1927).

and excerpted from its sequel

Y.M. Ryabukhin, Algebras without nilpotent elements, II,
Algebra i Logika, Vol. 8, No. 2, pp. 215-240, March-April, 1969

In [1] we proved structural theorems on the decomposition of algebras without nilpotent elements into direct sums of division algebras; certain chain conditions were imposed on these algebras.

Yet it is possible to prove structural theorems also without imposing any chain conditions. In this case the direct sums are replaced by subdirect sums and instead of division algebras we shall consider algebras without zero divisors.

The first structural theorem of this kind is apparently the classical theorem of Krull [2]:

Any associative-commutative ring without nilpotent elements can be represented by a subdirect sum of rings without zero divisors.

Krull's theorem was subsequently extended to the case of any associative ring. This was done by various authors and in various directions. In [3], Thierrin came very close to a final generalization of Krull's theorem to the associative, but not commutative case. The final result was obtained in [4]:

Any associative ring without nilpotent elements can be represented by a subdirect sum of rings without zero divisors.

At the Ninth All-Union Conference on General Algebra (held at Gomel'), I. V. L'vov reported an even stronger result:

Any alternative ring without nilpotent elements can be represented by a subdirect sum of rings without zero divisors.

It could be assumed that the theorem on decomposition into a subdirect sum of algebras without zero divisors holds for any ring. Yet this assumption is erroneous (see [1]), since there exists a finite-dimensional simple, special Jordan algebra without nilpotent elements that has zero divisors and cannot therefore be decomposed into a subdirect sum of algebras (or rings) without zero divisors.

There naturally arises the following question: what conditions must a ring without nilpotent elements satisfy to permit its representation by a subdirect sum of rings without zero divisors?

In this paper we answer this question:

An algebra R over an associative-commutative ring F with unity can be represented by a subdirect sum of rings without zero divisors, iff it is a conditionally associative algebra without nilpotent elements.

Let us recall that an algebra R is said to be conditionally associative, iff we have in R the conditional identity x(yz) = 0 iff (xy)z = 0.

We say a (not necessarily associative) algebra R does not have nilpotent elements, iff in R we have the conditional identity x^2 = 0 iff x = 0.

From this theorem we easily obtain the above-mentioned results of [2-4], as well as the result of L'vov (it suffices to take as the ring F the ring Z of integers). [...]

  1. Yu. M. Ryabukhin, "Algebras without nilpotent elements,I," this issue, pp. 215-240.
  2. W. Krull, "Subdirect representations of sums of integral domains," Math. Z., 52, 810-823 (1950).
  3. J. Thierrin, "Completely simple ideals of a ring," Acad. Belg. Bull. C1. Sci., 5 N 43, 124-132 (1957}.
  4. V. A. Andrunakievich and Yu. M. Ryabukhin, "Rings without nilpotent elements in completely simple ideals," DAN SSSR, 180, No. 1, 9 (1968).
  • $\begingroup$ Bill, something seems to be wrong with the title of Dedekind's paper. Two blanks are missing. When you add these, the title becomes identical to Weierstrass' which also seems weird to me. $\endgroup$
    – Rasmus
    Commented Apr 10, 2011 at 20:15
  • 1
    $\begingroup$ @Ras No, it's correct. The papers do in fact have the same titles. $\endgroup$ Commented Apr 10, 2011 at 21:04
  • $\begingroup$ Interesting, was it sort of a collaboration between them? $\endgroup$
    – Rasmus
    Commented Apr 11, 2011 at 7:15
  • 12
    $\begingroup$ Wow. This must have taken hours! Sadly, I am limited to (+1)... $\endgroup$ Commented Jul 13, 2011 at 2:51
  • $\begingroup$ Generally speaking, I upvote any answer that is multiple pages long. +1. $\endgroup$ Commented Jun 2, 2014 at 13:54

Every finite-dimensional division algebra over $\mathbb{R}$ is one of $\mathbb{R}$, $\mathbb{C}$ or $\mathbb{H}$. This is what is called the Frobenius Theorem. You may refer to here for details.

  • 12
    $\begingroup$ Every finite dimensional associative division algebra over $\mathbb R$ is one of the above. The octonions $\mathbb O$ is also a division algebra, but it is not associative. $\endgroup$
    – Calle
    Commented Apr 10, 2011 at 17:29
  • 1
    $\begingroup$ @sis440: You mean Frobenius. More broadly, you might also like to lookup theorems by Dickson, Artin and Wederburn which gives a broader picture of the classification of algebra. $\endgroup$
    – ogerard
    Commented Apr 10, 2011 at 17:35
  • 4
    $\begingroup$ Oh, I forgot that division algebra need not be associaitive... You are right, $\mathbb{O}$ has to be added if associativity is omitted. $\endgroup$ Commented Apr 10, 2011 at 17:35

You might look up quaternions.


In addition to complex numbers and quaternions, you might want to look up Clifford Algebras which encapsulate both and extend to arbitrary dimension. Complex and quaternions are sub-algebras of the Clifford Algebras over $\mathbb{R}^2$ and $\mathbb{R}^3$ respectively.


There can be 3-dimensional commutative hypercomplex number systems. I will give t̶h̶r̶e̶e̶ four examples.

3D numbers. Example 1

Take $\mathbb{R}^3$ with Hadamard product. In other words, triplets of numbers with element-wise multiplication.

Now assign $(1,1,1)=1,(-1,1,1)=j, (1,1,-1)=k$.

A number would be written in the form $a+bj+ck$. Algebraically it will be a commutative ring with zero divisors (hence, not a field, but that's OK). For instance $(j-1)(k-1)=0$.

Here is a Mathematica code to experiment with:

Unprotect[Power]; Power[0, 0] = 1; Protect[Power];
$Pre = (# /. {j -> {-1, 1, 1}, k -> {1, 1, -1}}) /. {x_, y_, z_} -> 
     x/2 + z/2 + (j (y - x))/2 + (k (y - z))/2 &;

Using this code one can see that



$\log (j+k+1)=\frac{1}{2} j \log (3)+\frac{1}{2} k \log (3)$





The division formula would be:

$\frac{a_1+b_1 j+c_1 k}{a_2+b_2 j+c_2 k}=\frac{j}{2} \left(\frac{a_1+b_1+c_1}{a_2+b_2+c_2}-\frac{a_1-b_1+c_1}{a_2-b_2+c_2}\right)+\frac{k}{2} \left(\frac{a_1+b_1+c_1}{a_2+b_2+c_2}-\frac{a_1+b_1-c_1}{a_2+b_2-c_2}\right)+\frac{a_1+b_1-c_1}{2 \left(a_2+b_2-c_2\right)}+\frac{a_1-b_1+c_1}{2 \left(a_2-b_2+c_2\right)}$

If we add a complex unity $i$, we will get a 6-dimensional number system.

Particularly, we will see that



$\log (j k)=i\pi-\frac{i \pi j}{2}-\frac{i \pi k}{2}$

3D numbers. Example 2

This is a realization of triplex numbers, described in this video. It is isomorphic to $\mathbb{R}\times\mathbb{C}$.


$1=\left( \begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \\ \end{array} \right)$

$j=\left( \begin{array}{ccc} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 1 & 0 & 0 \\ \end{array} \right)$

$k=\left( \begin{array}{ccc} 0 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \\ \end{array} \right)$

Unprotect[Power]; Power[0, 0] = 1; Protect[Power];
$Pre = (# /. ({j -> {1, E^(2 I \[Pi]/3)}, 
          k -> {1, E^(-2 I \[Pi]/3)}}) /. {x_, y_} -> 
        FullSimplify[(x/3 + Im[y]/Sqrt[3] - Re[y]/3) j + (x/3 - 
             Im[y]/Sqrt[3] - Re[y]/3) k + 
          1/3 (x + y + Conjugate[y])] // FullSimplify // Expand) &;

Particularly, we will see that

$j^2=k$, $k^2=j$, $jk=1$

$j^k=-\frac{1}{3} 2 e^{\frac{\pi }{\sqrt{3}}} j+\frac{j}{3}+\frac{1}{3} e^{\frac{\pi }{\sqrt{3}}} k+\frac{k}{3}+\frac{e^{\frac{\pi }{\sqrt{3}}}}{3}+\frac{1}{3}$

$0^{j + k + 1}=-\frac{j}{3}-\frac{k}{3}+\frac{2}{3}$

$\log j = \frac{2 \pi j}{3 \sqrt{3}}-\frac{2 \pi k}{3 \sqrt{3}}$

$\log(j+k)=\frac{\pi j}{\sqrt{3}}+\frac{1}{3} j \log (2)-\frac{\pi k}{\sqrt{3}}+\frac{1}{3} k \log (2)+\frac{\log (2)}{3}$

The division formula is

$\frac{a_1+b_1 j+c_1 k}{a_2+b_2 j+c_2 k}=\frac{a_2^2 \left(a+b j_2+c j_1\right)-a_2 \left(b_2 \left(a j_2+b j_1+c\right)+c_2 \left(a j_1+b+c j_2\right)\right)+c_2^2 \left(a j_2+b j_1+c\right)-b_2 c_2 \left(a+b j_2+c j_1\right)+b_2^2 \left(a j_1+b+c j_2\right)}{a_2^3+b_2^3+c_2^3-3 a_2 b_2 c_2}$

If we add complex unity, we will see that


3D numbers. Example 3.

This system is similar to dual numbers and has nilpotents. It is isomorphic to the matrices of the following form:

$1=\left( \begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \\ \end{array} \right)$

$\epsilon=\left( \begin{array}{ccc} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \\ \end{array} \right)$

$\varepsilon=\left( \begin{array}{ccc} 0 & 0 & 1 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \\ \end{array} \right)$

In this system $\epsilon^3=\varepsilon^2=0$ and $\epsilon^2=\varepsilon$.

The division formula is:

$\frac{a_1+b_1\epsilon+c_1\varepsilon}{a_2+b_2\epsilon+c_2\varepsilon}=\frac{a_1 b_2^2 \varepsilon }{a_2^3}-\frac{b_1 b_2 \varepsilon }{a_2^2}-\frac{a_1 b_2 \epsilon }{a_2^2}+\frac{b_1 \epsilon }{a_2}+\frac{c_1 \varepsilon }{a_2}-\frac{a_1 c_2 \varepsilon }{a_2^2}+\frac{a_1}{a_2}$

P.S. Example 4. User @TorstenSchoeneberg has pointed out that there is a fourth similar system:

$1=\left( \begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \\ \end{array} \right)$

$j=\left( \begin{array}{ccc} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 1 \\ \end{array} \right)$

$k=\left( \begin{array}{ccc} 0 & 0 & 1 \\ 0 & 0 & 1 \\ 0 & 0 & 1 \\ \end{array} \right)$

In this system, $j^2=k$, $k^2=k$, $k^k=1$, $(-1)^k=1-2k$.

The division formula is:

$\frac{a+b j+c k}{d+e j+f k}=k \left(\frac{a+b+c}{d+e+f}+\frac{a e-d (a+b)}{d^2}\right)+\frac{j (b d-a e)}{d^2}+\frac{a}{d}$

Here is the Mathematica code:

Unprotect[Power]; Power[0, 0] = 1; Protect[Power];
Unprotect[Log]; Log[0] = \[Lambda]; Protect[Log];
Matrix /: Plus[Matrix[A_], Matrix[B_]] := Matrix[A + B];
Matrix /: Dot[Matrix[A_], Matrix[B_]] := Matrix[A . B];
Matrix /: x_?NumericQ Matrix[y_] := Matrix[x y];
Matrix /: Matrix[x_]*Matrix[y_] := Matrix[x . y]
Matrix /: Power[Matrix[x_?MatrixQ], Matrix[y_?MatrixQ]] := 
  Exp[Log[Matrix[x]] . Matrix[y]];
Matrix /: Log[Matrix[x_?MatrixQ], Matrix[y_?MatrixQ]] := 
 Log[Matrix[x]]^-1 . Log[Matrix[y]]
$Post2 = FullSimplify[# /. j -> Matrix[{
          {0, 1, 0},
          {0, 0, 1},
          {0, 0, 1}
         }] /. k -> Matrix[{
         {0, 0, 1},
         {0, 0, 1},
         {0, 0, 1}
        }] /. 
     f_[args1___?NumericQ, Matrix[mat_], args2___?NumericQ] :> 
      Matrix[MatrixFunction[f[args1, #, args2] &, mat]]] &;
$Post = Nest[$Post2, #, 3] /. Matrix[{
       {a_, b_, c_},
       {0, a_, d_},
       {0, 0, e_}
      }] -> a + b j + c k &;
  • 4
    $\begingroup$ For the convenience of future readers, up to isomorphism your first example is $\mathbb R \times \mathbb R \times\mathbb R$ (a.k.a. e.g. $\mathbb R[x]/(x^3-x)$), your second example is $\mathbb R \times \mathbb C$ (a.k.a. e.g. $\mathbb R[x]/(x^3-1)$), and your third example is $\mathbb R[x]/(x^3)$. You might as well include the only remaining option for such a $3$-dimensional $\mathbb R$-algebra generated by a single element, namely $\mathbb R[x]/(x^3-x^2) \simeq \mathbb R \times \mathbb R[x]/(x^2)$, which you can also represent nicely e.g. with the matrix $\pmatrix{0&1&0\\0&0&1\\0&0&1}$. $\endgroup$ Commented Apr 30, 2023 at 20:58
  • $\begingroup$ @TorstenSchoeneberg thanks for this clarification. Is this third option commutative? $\endgroup$
    – Anixx
    Commented Apr 30, 2023 at 21:25
  • $\begingroup$ Yes. All algebras generated by a single element over a commutative ring are commutative. $\endgroup$ Commented Apr 30, 2023 at 21:36
  • $\begingroup$ @TorstenSchoeneberg this is very interesting, so in the third case we have $j^2=k$, $k^2=k$ ($k$ is idempotent), $k^k=1$. $j$ should be a zero divisor, no? What is the other zero divisor? Also, if we set $\ln 0=λ$, then $\ln k=λ-kλ$, $k^j=1+λj-λk$. I've made a Mathematica code for this system. $\endgroup$
    – Anixx
    Commented Apr 30, 2023 at 21:53
  • $\begingroup$ An element satisfying $j^3=j^2$ satisfies $j \cdot (j^2-j)=0$. There are many other zero divisors, including nilpotents, in that algebra. $\endgroup$ Commented Apr 30, 2023 at 22:58

It is a nice consequence of the hairy ball theorem that certain 3-dimensional number-analogues cannot exist.

Suppose we can define nice addition and multiplication on $V\cong \Bbb R^3$. Under some natural conditions on these operations (see below), one finds that there is an element $i\in V$ (named accordingly to the complex unit $i\in\Bbb C$) so that multiplication with $i$ in $V$ behaves like a $90^\circ$ rotation. That is, $x$ and $ix$ are orthogonal to each other for all $x\in V$.

But then $\mathbb S^2 \to \mathbb S^2, x\mapsto ix$ defines a unit vector field on the 2-sphere, which is known to not exist by the hairy ball theorem. The same argument works for all odd-dimensional cases, but is not strong enough to exclude most even-dimensional cases (as is necessary by the other answers).

Some details

Some natural requirements on such a number system are the following (there are others, but many turn out to be equivalent or stronger):

  • The addition is component-wise, that is, $(x,y,z)+(x',y',z')=(x+x',y+y',z+z')$.

  • The number system extends the real numbers in a natural way, e.g. each real numbers $x\in\Bbb R$ is represented by $(x,0,0)\in V$ or the like (as $x\mapsto x+0i$ embedds $\Bbb R$ in $\Bbb C$).

  • There is an "absolute value" $|\cdot|$ that assigns to any $(x,y,z)\in\Bbb R^3$ a real number, its absolute value. Clearly this exists in $\Bbb R$, and also in $\Bbb C$ via $|x+yi|=(x^2+y^2)^{1/2}$. A natural property of the absolut value is that it interacts well with the multiplication of the system, that is $|uv|=|u| \cdot|v|$, and that it behaves as expected on the embedded $\Bbb R$, that is $|x|$ is the usual absolute value for $x\in\Bbb R$ when considering $x$ as an element of $V$.

One thing that already follows from this is that $|\cdot|$ is a norm on the real 3-dimensional vector space $V$, and one can define an inner product

$$\langle u,v\rangle := \frac12(|x+y|^2-|x|^2-|y|^2)$$

using the so-called polarization identities. In particular, there must be an element $i\in V$ with $\langle i,1\rangle=0$. Then follows

$$\langle ix,x\rangle\> = \frac12(|ix+x|^2-|ix|^2-|x|^2) = \frac{|x|}2(|i+1|^2-|i|^2-|1|^2) = |x|\cdot\langle i,1\rangle = 0.$$


Short Answer: No,

A lot of responses bring up the fact the next closed algebraic set are quaternions. But these aren't perfect since there is no problem to which Quaternions naturally arise as a solution:

For example we know $i$ naturally is formed as the solution to the previously unsolvable $\sqrt{-1}$ that being said all polynomials have roots in the complex plane so we are guaranteed no other such new algebraic unit (like) $i$ will be naturally formed.

Now I personally don't know of a theorem that says this CANNOT happen again. For example it could be that:

$$x^x = i$$ Or (if we define ${}^xx$ to mean tetration)

$${}^xx = i$$

Etc... following the pattern, may not have a solution in C. In that case we are now free to generate a new elementary unit $j$ however this elementary unit will be quite strange since it is associated with a higher operator so expressions such as:

$$j, j^2, j^3 ...$$

Are all unique and simplified, leading us to a now infinite dimensional system of numbers

So 3D is not possible, but I believe infinite dimensional is still possible.

Unless you like the unnatural creations that are the quaternions etc... (I only dislike them because of their lack of natural formation)


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .