Misplaced Pages

Akivis algebra

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)
This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (November 2018) (Learn how and when to remove this message)
This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.
Find sources: "Akivis algebra" – news · newspapers · books · scholar · JSTOR (May 2024)
(Learn how and when to remove this message)

In mathematics, and in particular the study of algebra, an Akivis algebra is a nonassociative algebra equipped with a binary operator, the commutator [ x , y ] {\displaystyle } and a ternary operator, the associator [ x , y , z ] {\displaystyle } that satisfy a particular relationship known as the Akivis identity. They are named in honour of Russian mathematician Maks A. Akivis.

Formally, if A {\displaystyle A} is a vector space over a field F {\displaystyle \mathbb {F} } of characteristic zero, we say A {\displaystyle A} is an akivis algebra if the operation ( x , y ) [ x , y ] {\displaystyle \left(x,y\right)\mapsto \left} is bilinear and anticommutative; and the trilinear operator ( x , y , z ) [ x , y , z ] {\displaystyle \left(x,y,z\right)\mapsto \left} satisfies the Akivis identity:

[ [ x , y ] , z ] + [ [ y , z ] , x ] + [ [ z , x ] , y ] = [ x , y , z ] + [ y , z , x ] + [ z , x , y ] [ x , z , y ] [ y , x , z ] [ z , y , x ] . {\displaystyle \left,z\right]+\left,x\right]+\left,y\right]=\left+\left+\left-\left-\left-\left.}

An Akivis algebra with [ x , y , z ] = 0 {\displaystyle \left=0} is a Lie algebra, for the Akivis identity reduces to the Jacobi identity. Note that the terms on the right hand side have positive sign for even permutations and negative sign for odd permutations of x , y , z {\displaystyle x,y,z} .

Any algebra (even if nonassociative) is an Akivis algebra if we define [ x , y ] = x y y x {\displaystyle \left=xy-yx} and [ x , y , z ] = ( x y ) z x ( y z ) {\displaystyle \left=(xy)z-x(yz)} . It is known that all Akivis algebras may be represented as a subalgebra of a (possibly nonassociative) algebra in this way (for associative algebras, the associator is identically zero, and the Akivis identity reduces to the Jacobi identity).

References

  • M. R. Bremner, I. R. Hentzel, and L. A. Peresi 2005. "Dimension formulas for the free nonassociative algebra". Communications in Algebra 33:4063-4081.


Stub icon

This algebra-related article is a stub. You can help Misplaced Pages by expanding it.

Categories: