60
$\begingroup$

In the construction of types of numbers, we have the following sequence:

$$\mathbb{R} \subset \mathbb{C} \subset \mathbb{H} \subset \mathbb{O} \subset \mathbb{S}$$

or:

$$2^0 \mathrm{-ions} \subset 2^1 \mathrm{-ions} \subset 2^2 \mathrm{-ions} \subset 2^3 \mathrm{-ions} \subset 2^4 \mathrm{-ions} $$

or:

"Reals" $\subset$ "Complex" $\subset$ "Quaternions" $\subset$ "Octonions" $\subset$ "Sedenions"

With the following "properties":

  • From $\mathbb{R}$ to $\mathbb{C}$ you gain "algebraic-closure"-ness (but you throw away ordering).
  • From $\mathbb{C}$ to $\mathbb{H}$ we throw away commutativity.
  • From $\mathbb{H}$ to $\mathbb{O}$ we throw away associativity.
  • From $\mathbb{O}$ to $\mathbb{S}$ we throw away multiplicative normedness.

The question is, what lies on the right side of $\mathbb{S}$, and what do you lose when you go from $\mathbb{S}$ to one of these objects ?

$\endgroup$
10
16
$\begingroup$

What you are talking about is precisely the Cayley-Dickson construction.

Remark: I am left wondering what is gained by going past Octonions. The the first 4 are very special as they are the unique 4 normed divison algebras over $\mathbb{R}$. Perhaps someone with more knowledge can point out the possible uses of the Sedenions and their higher counterparts.

$\endgroup$
5
  • $\begingroup$ Wikipedia states, "The Cayley–Dickson construction can be carried on ad infinitum, at each step producing a power-associative algebra whose dimension is double that of algebra of the preceding step." $\endgroup$
    – ttt
    Nov 28 '11 at 17:27
  • 3
    $\begingroup$ As for applications of sedenions, I am quoting Wikipedia: "Moreno (1998) showed that the space of norm $1$ zero-divisors of the sedenions is homeomorphic to the compact form of the exceptional Lie group $G_2$." $\endgroup$ Nov 28 '11 at 17:44
  • 3
    $\begingroup$ @darij: that can't be right. Clifford algebras are associative and the octonions aren't. $\endgroup$ Nov 28 '11 at 19:30
  • $\begingroup$ Oh right, I mixed up things there. Comment deleted. $\endgroup$ Nov 28 '11 at 23:12
  • 2
    $\begingroup$ Just for info, after Degen's 8-square, there is the non-bilinear Pfister's 16-square identity. $\endgroup$ Aug 14 '13 at 4:21
12
$\begingroup$

If with "beyond" you mean something like "after" the answer is yes: the Cayley-Dickson's construction has no end and you can always extend your number system to a higher dimension one (always with $2^n$ dimensions with $n\in \Bbb N$), after Sedenions $\Bbb S$ come Trigintaduonions $\Bbb T$ which someone say are useful in electrical and computer engineering (I can't really figure out how) but they don't loose any other properties more than Sedenions do, this set and the others that came after it are not very interesting (with an only mathematical point of view) cause of that, they just have some subgroups that look like the Sedenions.

If with "beyond" you mean something like "other than" the answer is still yes: there are a lot of hypercomplex numbers with 16 dimensions system like the extension of tessarines, duals and hyperbolic number and so on.

$\endgroup$
5
  • 4
    $\begingroup$ You can always find properties that are lost at each stage - it's just a matter of how hard you look. For example the trigintaduonions loose the property of being sedenions... $\endgroup$
    – skyking
    Jun 30 '16 at 13:05
  • 2
    $\begingroup$ I think it useful in general for each number of spatial dimensions we need to work with. In electrical physics it seem we can treat properties of electrical particle that seem related and can be rotated around each other as 5 spatial dimensions. Therefor in String theory with 10-11 dimensions might use $2^{11}$-nion $\endgroup$
    – Thaina
    Mar 7 '17 at 6:03
  • $\begingroup$ @skyking with Tessarines you do not lose much: any $2^n$-dimensional tessarines are commutative and associative. For instance, 16-dimensional ones. $\endgroup$
    – Anixx
    Mar 10 at 17:21
  • $\begingroup$ @Anixx Not loosing much is NOT the same as loosing nothing. Furthermore it was talk about spaces constructed with CD-construct, for example already quaternion are non-commutative and octonions are not associative, sedenions are not alternative. As mentioned it's only a matter of how hard you look for lost properties. $\endgroup$
    – skyking
    Mar 10 at 20:52
  • $\begingroup$ I don't think tessarines lose something after dimension 4. $\endgroup$
    – Anixx
    Mar 10 at 20:54
6
$\begingroup$

I believe John Baez has answered your question in a series of short articles/blogposts which you could begin for example here.

$\endgroup$
0
$\begingroup$

You can build tessarines of any dimension of the for $2^n$. They still will be commutative ans associative. This is used in digital signal processing.

Cayley-Dickson's construction, used in quaternions, on the other hand, loses most of its useful properties with the growth of the number of dimensions.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.