Division algebraIn the field of mathematics called abstract algebra, a division algebra is, roughly speaking, an algebra over a field in which division, except by zero, is always possible. Formally, we start with a non-zero algebra D over a field. We call D a division algebra if for any element a in D and any non-zero element b in D there exists precisely one element x in D with a = bx and precisely one element y in D such that a = yb.
Split-octonionIn mathematics, the split-octonions are an 8-dimensional nonassociative algebra over the real numbers. Unlike the standard octonions, they contain non-zero elements which are non-invertible. Also the signatures of their quadratic forms differ: the split-octonions have a split signature (4,4) whereas the octonions have a positive-definite signature (8,0). Up to isomorphism, the octonions and the split-octonions are the only two 8-dimensional composition algebras over the real numbers.
Moufang loopIn mathematics, a Moufang loop is a special kind of algebraic structure. It is similar to a group in many ways but need not be associative. Moufang loops were introduced by . Smooth Moufang loops have an associated algebra, the Malcev algebra, similar in some ways to how a Lie group has an associated Lie algebra. A Moufang loop is a loop that satisfies the four following equivalent identities for all , , in (the binary operation in is denoted by juxtaposition): These identities are known as Moufang identities.
Composition algebraIn mathematics, a composition algebra A over a field K is a not necessarily associative algebra over K together with a nondegenerate quadratic form N that satisfies for all x and y in A. A composition algebra includes an involution called a conjugation: The quadratic form is called the norm of the algebra. A composition algebra (A, ∗, N) is either a division algebra or a split algebra, depending on the existence of a non-zero v in A such that N(v) = 0, called a null vector. When x is not a null vector, the multiplicative inverse of x is .
Alternative algebraIn abstract algebra, an alternative algebra is an algebra in which multiplication need not be associative, only alternative. That is, one must have for all x and y in the algebra. Every associative algebra is obviously alternative, but so too are some strictly non-associative algebras such as the octonions. Alternative algebras are so named because they are the algebras for which the associator is alternating. The associator is a trilinear map given by By definition, a multilinear map is alternating if it vanishes whenever two of its arguments are equal.
OctonionIn mathematics, the octonions are a normed division algebra over the real numbers, a kind of hypercomplex number system. The octonions are usually represented by the capital letter O, using boldface O or blackboard bold . 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. They are also power associative.