The octonions tag has no wiki summary.

**0**

votes

**0**answers

27 views

### How can the Cayley-table for the elements of basis of a Cayley-Dickson algebra be summarized in an algebraic expression?

One would be able to construct a Cayley table that has all $e_i$ elements of the basis of algebra $A$ where $0<i<\dim A$ such that $e_0=1$ and $e_1=i$ and $e_2=j$ and so on. I'm looking for an ...

**-1**

votes

**1**answer

209 views

### Decomposition of $S^7=Spin(7)/G_2$

The seven sphere can be written as the reductive space $S^7=Spin(7)/G_2$. Has the decomposition $Spin(7)=G_2\times S^7$ been calculated somewhere; maybe in terms of Cayley numbers?

**3**

votes

**0**answers

69 views

### Grunsky-Motzkin-Schoenberg formula

I found this formula in Brian McCartin's interesting book "Mysteries of the equilateral triangle" http://www.kettering.edu/news/mysteries-equilateral-triangle and it looks as follows:
Suppose that ...

**14**

votes

**1**answer

597 views

### Octonions and the Fano plane.

Does the Fano plane mnemonic for octonion multiplication have any deeper meaning?
http://upload.wikimedia.org/wikipedia/commons/2/2d/FanoPlane.svg
The symmetry group of the Fano plane is PSL(2,7), ...

**5**

votes

**1**answer

196 views

### Filling in a rational orthogonal matrix given one row

Quick version: given natural $n$ and a row of $n$ integers such that the sum of the squares is another square, call it $m^2.$ For $n=5,6,7$ is it always possible to fill in the rest of an $n$ by $n$ ...

**14**

votes

**1**answer

696 views

### The octonions on a bad day

We can define the algebra of quaternions $\mathbb H$ over any field $k$, and depending on the arithmetic of $k$ it is either a division algebra or a matrix algebra.
We can also define the algebra of ...

**6**

votes

**3**answers

1k views

### Realizing proper pure octonions as conjugates

Let us take the octonions as having all integer coefficients and the multiplication table at BAEZ
We have a standard conjugation operator with $\bar{1} = 1$ and $\bar{e_i}= - e_i,$ extend by ...