title: Alternative algebra
text: In 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.
  
  The associator
  
  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. The left and right alternative identities for an algebra are equivalent to
  
  Both of these identities together imply that
  
  for all  and . This is equivalent to the flexible identity
  
  The associator of an alternative algebra is therefore alternating. Conversely, any algebra whose associator is alternating is clearly alternative. By symmetry, any algebra which satisfies any two of:
  left alternative identity: 
  right alternative identity: 
  flexible identity: 
  is alternative and therefore satisfies all three identities.
  
  An alternating associator is always totally skew-symmetric. That is,
  
  for any permutation . The converse holds so long as the characteristic of the base field is not 2.
  
  Examples
   Every associative algebra is alternative.
   The octonions form a non-associative alternative algebra, a normed division algebra of dimension 8 over the real numbers.
   More generally, any octonion algebra is alternative.
  
  Non-examples
   The sedenions and all higher Cayley–Dickson algebras lose alternativity.
  
  Properties
  
  Artin's theorem states that in an alternative algebra the subalgebra generated by any two elements is associative.  Conversely, any algebra for which this is true is clearly alternative. It follows that expressions involving only two variables can be written unambiguously without parentheses in an alternative algebra. A generalization of Artin's theorem states that whenever three elements  in an alternative algebra associate (i.e., ), the subalgebra generated by those elements is associative.
  
  A corollary of Artin's theorem is that alternative algebras are power-associative, that is, the subalgebra generated by a single element is associative.  The converse need not hold: the sedenions are power-associative but not alternative.
  
  The Moufang identities
  
  hold in any alternative algebra.
  
  In a unital alternative algebra, multiplicative inverses are unique whenever they exist. Moreover, for any invertible element  and all  one has
  
  This is equivalent to saying the associator  vanishes for all such  and . 
  
  If  and  are invertible then  is also invertible with inverse . The set of all invertible elements is therefore closed under multiplication and forms a Moufang loop. This loop of units in an alternative ring or algebra is analogous to the group of units in an associative ring or algebra.
  
  Kleinfeld's theorem states that any simple non-associative alternative ring is a generalized octonion algebra over its center.
  The structure theory of alternative rings is presented in the book Rings That Are Nearly Associative by Zhevlakov, Slin'ko, Shestakov, and Shirshov.
  
  Occurrence
  The projective plane over any alternative division ring is a Moufang plane.
  
  Every composition algebra is an alternative algebra, as shown by Guy Roos in 2008: A composition algebra A over a field K has a norm n that is a multiplicative homomorphism:  connecting (A, ×) and (K, ×).
  
  Define the form ( _ : _ ): A × A → K by  Then the trace of a is given by (a:1) and the conjugate by a* = (a:1)e – a where e is the basis element for 1. A series of exercises prove that a composition algebra is always an alternative algebra.
  
  See also 
  
   Algebra over a field
   Maltsev algebra
   Zorn ring
  
  References
  
  External links
  
  Non-associative algebras