Non-associative algebra

This article is about a particular structure known as a non-associative algebra. For non-associativity in general, see Non-associativity.

A non-associative algebra^[1] (or distributive algebra) over a field K is a K-vector space A equipped with a binary multiplication operation which is K-bilinear A × A → A. Examples include Lie algebras, Jordan algebras, the octonions, and three-dimensional Euclidian space equipped with the cross product operation. Since it is not assumed that the multiplication is associative, using parentheses to indicate the order of multiplications is necessary. For example, the expressions (ab)(cd), (a(bc))d and a(b(cd)) may all yield different answers.

While this use of non-associative means that associativity is not assumed, it does not mean that associativity is disallowed. In other words, "non-associative" means "not necessarily associative", just as "noncommutative" means "not necessarily commutative" for noncommutative rings.

An algebra is unital or unitary if it has an identity element I with Ix = x = xI for all x in the algebra. For example the octonions are unital, but Lie algebras never are.

The nonassociative algebra structure of A may be studied by associating it with other associative algebras which are subalgebra of the full algebra of K-endomorphisms of A as a K-vector space. Two such are the derivation algebra and the (associative) enveloping algebra, the latter being in a sense "the smallest associative algebra containing A".

More generally, some authors consider the concept of a non-associative algebra over a commutative ring R: An R-module equipped with an R-bilinear binary multiplication operation.^[2] If a structure obeys all of the ring axioms apart from associativity (for example, any R-algebra), then it is naturally a $\mathbb{Z}$ -algebra, so some authors refer to non-associative $\mathbb{Z}$ -algebras as non-associative rings.

Algebraic structures
Group-like Semigroup / Monoid Racks and quandles Quasigroup and loop Abelian group Magma Lie group Group theory
Ring-like Ring Rng Semiring Near-ring Commutative ring Domain Integral domain Field Ring theory
Lattice-like Lattice Semilattice Map of lattices Lattice theory
Module-like Module Group with operators Vector space
Algebra-like Algebra Associative Non-associative Lie algebra Graded Bialgebra

Algebras satisfying identities

Ring-like structures with two binary operations and no other restrictions are a broad class, one which is too general to study. For this reason, the best-known kinds of non-associative algebras satisfy identities which simplify multiplication somewhat. These include the following identities.

In the list, x, y and z denote arbitrary elements of an algebra.

Associative: (xy)z = x(yz).
Commutative: xy = yx.
Anticommutative:^[3] xy = −yx.^[4]
Jacobi identity:^[3]^[5] (xy)z + (yz)x + (zx)y = 0.
Jordan identity:^[6]^[7] (xy)x² = x(yx²).
Power associative:^[8]^[9]^[10] For all x, any three nonnegative powers of x associate. That is if a, b and c are nonnegative powers of x, then a(bc) = (ab)c. This is equivalent to saying that x^m xⁿ = x^n+m for all non-negative integers m and n.
Alternative:^[11]^[12]^[13] (xx)y = x(xy) and (yx)x = y(xx).
Flexible:^[14]^[15] x(yx) = (xy)x.
Elastic:^[16] Flexible and (xy)(xx) = x(y(xx)), x(xx)y = (xx)(xy).

These properties are related by

associative implies alternative implies power associative;
associative implies Jordan identity implies power associative;
Each of the properties associative, commutative, anticommutative, Jordan identity, and Jacobi identity individually imply flexible.^[14]^[15]
For a field with characteristic not two, being both commutative and anticommutative implies the algebra is just {0}.

Associator

Main article: Associator

The associator on A is the K-multilinear map $[\cdot,\cdot,\cdot] : A \times A \times A \to A$ given by

[x,y,z] = (xy)z - x(yz).\,

It measures the degree of nonassociativity of $A$ , and can be used to conveniently express some possible identities satisfied by A.

Associative: the associator is identically zero;
Alternative: the associator is alternating, interchange of any two terms changes the sign;
Flexible: $[x,y,x] = 0$ ;
Jordan: $[x, y, x^2] = 0$ .^[17]

The nucleus is the set of elements that associate with all others:^[18] that is, the n in A such that

[n,A,A] = [A,n,A] = [A,A,n] = \{0\} \ .

Examples

Euclidean space R³ with multiplication given by the vector cross product is an example of an algebra which is anticommutative and not associative. The cross product also satisfies the Jacobi identity.
Lie algebras are algebras satisfying anticommutativity and the Jacobi identity.
Algebras of vector fields on a differentiable manifold (if K is R or the complex numbers C) or an algebraic variety (for general K);
Jordan algebras are algebras which satisfy the commutative law and the Jordan identity.^[7]
Every associative algebra gives rise to a Lie algebra by using the commutator as Lie bracket. In fact every Lie algebra can either be constructed this way, or is a subalgebra of a Lie algebra so constructed.
Every associative algebra over a field of characteristic other than 2 gives rise to a Jordan algebra by defining a new multiplication x*y = (1/2)(xy + yx). In contrast to the Lie algebra case, not every Jordan algebra can be constructed this way. Those that can are called special.
Alternative algebras are algebras satisfying the alternative property. The most important examples of alternative algebras are the octonions (an algebra over the reals), and generalizations of the octonions over other fields. All associative algebras are alternative. Up to isomorphism, the only finite-dimensional real alternative, division algebras (see below) are the reals, complexes, quaternions and octonions.
Power-associative algebras, are those algebras satisfying the power-associative identity. Examples include all associative algebras, all alternative algebras, Jordan algebras, and the sedenions.
The hyperbolic quaternion algebra over R, which was an experimental algebra before the adoption of Minkowski space for special relativity.

More classes of algebras:

Graded algebras. These include most of the algebras of interest to multilinear algebra, such as the tensor algebra, symmetric algebra, and exterior algebra over a given vector space. Graded algebras can be generalized to filtered algebras.

Division algebras, in which multiplicative inverses exist. The finite-dimensional alternative division algebras over the field of real numbers have been classified. They are the real numbers (dimension 1), the complex numbers (dimension 2), the quaternions (dimension 4), and the octonions (dimension 8). The quaternions and octonions are not commutative. Of these algebras, all are associative except for the octonions.

Quadratic algebras, which require that xx = re + sx, for some elements r and s in the ground field, and e a unit for the algebra. Examples include all finite-dimensional alternative algebras, and the algebra of real 2-by-2 matrices. Up to isomorphism the only alternative, quadratic real algebras without divisors of zero are the reals, complexes, quaternions, and octonions.

The Cayley–Dickson algebras (where K is R), which begin with:
- C (a commutative and associative algebra);
- the quaternions H (an associative algebra);
- the octonions (an alternative algebra);
- the sedenions, and the infinite sequence of Cayley-Dickson algebras (power-associative algebras).

The Poisson algebras are considered in geometric quantization. They carry two multiplications, turning them into commutative algebras and Lie algebras in different ways.

Genetic algebras are non-associative algebras used in mathematical genetics.

Properties

There are several properties that may be familiar from ring theory, or from associative algebras, which are not always true for non-associative algebras. Unlike the associative case, elements with a (two-sided) multiplicative inverse might also be a zero divisor. For example, all non-zero elements of the sedenions have a two-sided inverse, but some of them are also zero divisors.

Free non-associative algebra

The free non-associative algebra on a set X over a field K is defined as the algebra with basis consisting of all non-associative monomials, finite formal products of elements of X retaining parentheses. The product of monomials u, v is just (u)(v). The algebra is unital if one takes the empty product as a monomial.^[19]

Kurosh proved that every subalgebra of a free non-associative algebra is free.^[20]

Associated algebras

An algebra A over a field K is in particular a K-vector space and so one can consider the associative algebra End_K(A) of K-linear vector space endomorphism of A. We can associate to the algebra structure on A two subalgebras of End_K(A), the derivation algebra and the (associative) enveloping algebra.

Derivation algebra

A derivation on A is a map D with the property

D(x \cdot y) = D(x) \cdot y + x \cdot D(y) \ .

The derivations on A form a subspace Der_K(A) in End_K(A). The commutator of two derivations is again a derivation, so that the Lie bracket gives Der_K(A) a structure of Lie algebra.^[21]

Enveloping algebra

There are linear maps L and R attached to each element a of an algebra A:^[22]

L(a) : x \mapsto ax ; \ \ R(a) : x \mapsto xa \ .

The associative enveloping algebra or multiplication algebra of A is the associative algebra generated by the left and right linear maps.^[17]^[23] The centroid of A is the centraliser of the enveloping algebra in the endomorphism algebra End_K(A). An algebra is central if its centroid consists of the K-scalar multiples of the identity.^[10]

Some of the possible identities satisfied by non-associative algebras may be conveniently expressed in terms of the linear maps:^[24]

Commutative: each L(a) is equal to the corresponding R(a);
Associative: any L commutes with any R;
Flexible: every L(a) commutes with the corresponding R(a);
Jordan: every L(a) commutes with R(a²);
Alternative: every L(a)² = L(a²) and similarly for the right.

The quadratic representation Q is defined by^[25]

Q(a) : x \mapsto 2a \cdot (a \cdot x) - (a \cdot a) \cdot x \

or equivalently

Q(a) = 2 L^2(a) - L(a^2) \ .

See also: universal enveloping algebra (of a Lie algebra).

Notes

↑ Schafer 1966, Chapter 1.
↑ Schafer 1966, pp.1.
1 2 Schafer (1995) p.3
↑ This is always implied by the identity xx = 0 for all x, and the converse holds for fields of characteristic other than two.
↑ Okubo (2005) p.12
↑ Schafer (1995) p.91
1 2 Okubo (2005) p.13
↑ Schafer (1995) p.30
↑ Okubo (2005) p.17
1 2 Knus et al (1998) p.451
↑ Schafer (1995) p.5
↑ Okubo (2005) p.18
↑ McCrimmon (2004) p.153
1 2 Schafer (1995) p.28
1 2 Okubo (2005) p.16
↑ Rosenfeld, Boris (1997). Geometry of Lie groups. Mathematics and its Applications 393. Dordrecht: Kluwer Academic Publishers. p. 91. ISBN 0792343905. Zbl 0867.53002.
1 2 Schafer (1995) p.14
↑ McCrimmon (2004) p.56
↑ Rowen, Louis Halle (2008). Graduate Algebra: Noncommutative View. Graduate studies in mathematics. American Mathematical Society. p. 321. ISBN 0-8218-8408-5.
↑ Kurosh, A.G. (1947). "Non-associative algebras and free products of algebras". Mat. Sbornik 20 (62): 237–262. MR 20986. Zbl 0041.16803.
↑ Schafer (1995) p.4
↑ Okubo (2004) p.24
↑ Albert, A. Adrian (2003) [1939]. Structure of algebras. American Mathematical Society Colloquium Publ. 24 (Corrected reprint of the revised 1961 ed.). New York: American Mathematical Society. p. 113. ISBN 0-8218-1024-3. Zbl 0023.19901.
↑ McCrimmon (2004) p.57
↑ Koecher (1999) p.57

References

Herstein, I. N., ed. (2011) [1965], Some Aspects of Ring Theory: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, August 23-31, 1965, C.I.M.E. Summer Schools 37 (reprint ed.), Springer-Verlag, ISBN 3642110363
Knus, Max-Albert; Merkurjev, Alexander; Rost, Markus; Tignol, Jean-Pierre (1998), The book of involutions, Colloquium Publications 44, With a preface by J. Tits, Providence, RI: American Mathematical Society, ISBN 0-8218-0904-0, Zbl 0955.16001
Koecher, Max (1999), Krieg, Aloys; Walcher, Sebastian, eds., The Minnesota notes on Jordan algebras and their applications, Lecture Notes in Mathematics 1710, Berlin: Springer-Verlag, ISBN 3-540-66360-6, Zbl 1072.17513
McCrimmon, Kevin (2004), A taste of Jordan algebras, Universitext, Berlin, New York: Springer-Verlag, doi:10.1007/b97489, ISBN 978-0-387-95447-9, MR 2014924, Zbl 1044.17001, Errata
Okubo, Susumu (2005) [1995], Introduction to Octonion and Other Non-Associative Algebras in Physics, Montroll Memorial Lecture Series in Mathematical Physics 2, Cambridge University Press, doi:10.1017/CBO9780511524479, ISBN 0-521-01792-0, Zbl 0841.17001
Schafer, Richard D. (1995) [1966], An Introduction to Nonassociative Algebras, Dover, ISBN 0-486-68813-5, Zbl 0145.25601

This article is issued from Wikipedia - version of the Saturday, August 22, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.