Alternative algebra

In abstract algebra, an alternative algebra is an algebra in which multiplication need not be associative, only alternative. That is, one must have
*$x\left(xy\right) = \left(xx\right)y$
*$\left(yx\right)x = y\left(xx\right)$for all "x" and "y" in the algebra. Every associative algebra is obviously alternative, but so too are some strictly nonassociative algebras such as the octonions. The sedenions, on the other hand, are not alternative.

The associator

Alternative algebras are so named because they are precisely the algebras for which the associator is alternating. The associator is a trilinear map given by:$\left[x,y,z\right] = \left(xy\right)z - x\left(yz\right)$By definition a multilinear map is alternating if it vanishes whenever two of it arguments are equal. The left and right alternative identities for an algebra are equivalent to:$\left[x,x,y\right] = 0$:$\left[y,x,x\right] = 0.$Both of these identities together imply that the associator is totally skew-symmetric. That is,:$\left[x_\left\{sigma\left(1\right)\right\}, x_\left\{sigma\left(2\right)\right\}, x_\left\{sigma\left(3\right)\right\}\right] = sgn\left(sigma\right) \left[x_1,x_2,x_3\right]$for any permutation &sigma;. It follows that:$\left[x,y,x\right] = 0$for all "x" and "y". This is equivalent to the so-called flexible identity:$\left(xy\right)x = x\left(yx\right).$The associator 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: $x\left(xy\right) = \left(xx\right)y$
*right alternative identity: $\left(yx\right)x = y\left(xx\right)$
*flexible identity: $\left(xy\right)x = x\left(yx\right).$is alternative and therefore satisfies all three identities.

An alternating associator is always totally skew-symmetric. The converse holds so long as the characteristic of the base field is not 2.

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 without parenthesis unambiguously in an alternative algebra. A generalization of Artin's theorem states that whenever three elements $x,y,z$ in an alternative algebra associate (i.e. $\left[x,y,z\right] = 0$) 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
*$a\left(x\left(ay\right)\right) = \left(axa\right)y$
*$\left(\left(xa\right)y\right)a = x\left(aya\right)$
*$\left(ax\right)\left(ya\right) = a\left(xy\right)a$hold in any alternative algebra.

In a unital alternative algebra, multiplicative inverses are unique whenever they exist. Moreover, for any invertible element $x$ and all $y$ one has:$y = x^\left\{-1\right\}\left(xy\right).$This is equivalent to saying the associator $\left[x^\left\{-1\right\},x,y\right]$ vanishes for all such $x$ and $y$. If $x$ and $y$ are invertible then $xy$ is also invertible with inverse $\left(xy\right)^\left\{-1\right\} = y^\left\{-1\right\}x^\left\{-1\right\}$. 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.

References

*cite book | first = Richard D. | last = Schafer | title = An Introduction to Nonassociative Algebras | publisher = Dover Publications | location = New York | year = 1995 | isbn = 0-486-68813-5

Wikimedia Foundation. 2010.

Look at other dictionaries:

• alternative algebra — noun An algebra such that every subalgebra generated by two elements is associative …   Wiktionary

• Alternative — An alternative is an object or action which can be chosen. Alternative may also refer to: Genres of music * Alternative rock * Alternative dance * Alternative metal * Alternative hip hop * Alternative countryOther music* Alternative (album), an… …   Wikipedia

• Algebra & Number Theory — (ISSN 1937 0652) is a peer reviewed mathematics journal published by the nonprofit organization Mathematical Sciences Publishers. [ [http://www.mathscipub.org/journals.html Mathematical Sciences Publishers journals] ] It was launched on January… …   Wikipedia

• Algebra over a field — This article is about a particular kind of vector space. For other uses of the term algebra , see algebra (disambiguation). In mathematics, an algebra over a field is a vector space equipped with a bilinear vector product. That is to say, it is… …   Wikipedia

• Algebra of Communicating Processes — The Algebra of Communicating Processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras or process calculi. ACP was initially… …   Wikipedia

• algebra — /al jeuh breuh/, n. 1. the branch of mathematics that deals with general statements of relations, utilizing letters and other symbols to represent specific sets of numbers, values, vectors, etc., in the description of such relations. 2. any of… …   Universalium

• Non-associative algebra — This article is about a particular non associative structure known as a non associative algebra. See also the article about non associativity in general. A non associative algebra[1] (or distributive algebra) over a field (or a ring) K is a K… …   Wikipedia

• Commutant-associative algebra — In abstract algebra, a commutant associative algebra is a nonassociative algebra over a field whose multiplication satisfies the following axiom: ([A1,A2],[A3,A4],[A5,A6]) = 0, where [A, B] = AB − BA is the commutator of… …   Wikipedia

• Malcev algebra — For the Lie algebras or groups, see Malcev Lie algebra. In mathematics, a Malcev algebra (or Maltsev algebra or Moufang–Lie algebra) over a field is a nonassociative algebra that is antisymmetric, so that and satisfies the Malcev identity They… …   Wikipedia

• List of abstract algebra topics — Abstract algebra is the subject area of mathematics that studies algebraic structures, such as groups, rings, fields, modules, vector spaces, and algebras. The phrase abstract algebra was coined at the turn of the 20th century to distinguish this …   Wikipedia