Everything2
Near Matches
Ignore Exact
Full Text
Everything2

Octonion

created by Noether

(idea) by Noether (2.9 y) (print)   ?   (I like it!) Sat Aug 05 2000 at 10:45:41

Start with the field of real numbers R. The first generalisation of these was the field of complex numbers which is 2-dimensional over R. Next came Hamilton's quaternions H which are 4-dimensional over R. The quaternions are no longer a field but they are still a division ring.

In 1845 Cayley made a further generalisation when he created the octonions O. (In fact they were also independently invented by J.J. Graves slightly earlier.) This time O is 8-dimensional over R. A typical octonion is a 2x2 matrix

 --  --
| a  r |
| s  b |
 --  --
where a,b are real numbers and r,s are vectors in R3. Obviously the usual 2x2 matrix multiplication won't work here. But we can define a multiplication by the following rule:
 --  --  --  --       --                         --
| a  r || c  t |  =  | ac - r.v       at + dr +sxv |
| s  b || v  d |     | sc + bv + rxt  bd - s.t     |
 --  --  --  --       --                         --
Here, we are making use of two operations on R3, the dot product, (p,q) -> p.q and the cross product, (p,q) -> pxq.

In O most of the axioms for a ring still hold (the identity element is the 2x2 identity matrix) and each nonzero element has an inverse but associativity does not hold. The main interest in the octonions is that they can be used to construct g2, an important non-classical Lie algebra. (Note that the same construction will work with any base field replacing R.)


(thing) by BrianShader (1.4 y) (print)   ?   (I like it!) Wed May 29 2002 at 19:15:50

Also known as Cayley numbers, after their 19th century inventor Arthur Cayley.

Octonions make use of seven unique roots of -1, labelled i0 to i6. Addition and subtraction of them is very straight forward, just as for complex numbers and quaternions. However, multiplication is more complex. In short, each of the following triplets behaves like the i, j and k of quaternions. Follow that link if you're unsure.

(i0, i1, i3)
(i1, i2, i4)
(i2, i3, i5)
(i3, i4, i6)
(i4, i5, i0)
(i5, i6, i1)
(i6, i0, i2)

Multiplication of two general octonions is a pretty arduous business by hand, but it is theoretically possible. You can read about it over on multiplying octonions.

Octonions have the highest number of units with which division can be everywhere defined, except by zero. Therefore progressing to 16-ions and beyond is somewhat futile.

However, associativity does not hold for octonions. Therefore (ab)c != a(bc). This takes some getting used, as with complex numbers and even quaternions, we automatically expect it to work.

One of the few practical uses for octonions is for describing rotation and translation in seven and eight dimensional space, but I wouldn't claim to be the authority on that.


printable version
chaos

Quaternion connection between quaternions and cross product multiplying octonions Onion
Lie algebras Cayley number pearl onion division ring
fellatio Penta-water Läther Arthur Cayley
i^i ring theory pickled onions dot product
Multiplication complex number Banach space spinor
vector product Superstring Theory superstring hawking mat
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.
  Epicenter
Login
Password

password reminder
register

Everything2 Help

Cool Staff Picks
Drink up!
Variant peanut butter sandwich
Lady Jane Grey
tomato sauce
Cockney rhyming slang
Bill Finger
Found: one slightly damaged happy meal toy
The facial nerve
Tour de France
Young Virgin Auto-Sodomized by Her Own Chastity
kin altruism
We all love movies and books about us owning ourselves
Calypso
Nobel Prize in Literature
New Writeups
Heisenberg
Why I love Everything2(log)
octillion369
Death Knight(person)
XWiz
Are you hoping for a miracle?(review)
santo
The Host(review)
LostPsion
"Shut the Fuck Up" Theaters(idea)
Vanish
The line between normal and not(place)
Vanish
insanity(thing)
beatrice
You've been slowly taking me over for nearly a year, do you know that?(idea)
Berek
YouTube(thing)
shaogo
How to Pretend to Have a Job(idea)
hapax
Les Provinciales(review)
zoeb
The Scene(review)
aneurin
Telephone Numbers for drama purposes(idea)
Alnilamski
Cosmicopolis(fiction)
eien_meru
measure(idea)
Everything 2 is brought to you by the letter C and The Everything Development Company