In mathematics, the octonions are a normed division algebra over the real numbers, usually represented by the capital letter O, using boldface O or blackboard bold . There are three lower-dimensional normed division algebras over the reals: the real numbers R themselves, the complex numbers C, and the quaternions H. The octonions have eight dimensions; twice the number of dimensions of the quaternions, of which they are an extension. They are noncommutative and nonassociative, but satisfy a weaker form of associativity, namely they are alternative.
Octonions are not as well known as the quaternions and complex numbers, which are much more widely studied and used. Despite this, they have some interesting properties and are related to a number of exceptional structures in mathematics, among them the exceptional Lie groups. Additionally, octonions have applications in fields such as string theory, special relativity, and quantum logic.
The octonions were discovered in 1843 by John T. Graves, inspired by his friend W. R. Hamilton's discovery of quaternions. Graves called his discovery octaves, and mentioned them in a letter to Hamilton dated 16 December 1843, but his first publication of his result in (Graves 1845) was slightly later than Arthur Cayley's article on them. The octonions were discovered independently by Cayley and are sometimes referred to as Cayley numbers or the Cayley algebra. Hamilton described the early history of Graves' discovery. Hamilton invented the word associative so that he could say that octonions were not associative.