Reach Us
+44-1522-440391

Medical, Pharma, Engineering, Science, Technology and Business

**Mohamed Elhamdadi ^{1} and Abdenacer Makhlouf^{2*}**

^{1}Department of Mathematics and Statistics, University of South Florida, Tampa, Fl 33620, USA

^{2}Department of Mathematics, Computer Science and Applications, Haute Alsace University, 68093 Mulhouse Cedex, France

- *Corresponding Author:
- Abdenacer Makhlouf

Department of Mathematics

Computer Science and Applications

Haute Alsace University, 68093 Mulhouse Cedex, France[email protected]

E-mail:

**Received date **27 August 2010; **Accepted date **26 January 2011

**Visit for more related articles at** Journal of Generalized Lie Theory and Applications

The purpose of this paper is to introduce an algebraic cohomology and formal deformation theory of alternative algebras. A short review of basics on alternative algebras and their connections to some other algebraic structures is also provided.

Deformation theory arose mainly from geometry and physics. In the latter field, the non-commutative associative multiplication of operators in quantum mechanics is thought of as a formal associative deformation of the pointwise multiplication of the algebra of symbols of these operators. In the sixties, Murray Gerstenhaber introduced algebraic formal deformations for associative algebras in a series of papers (see [11,12,13,14,15]). He used formal series and showed that the theory is intimately connected to the cohomology of the algebra. The same approach was extended to several algebraic structures (see [2,3,5,6,25]). Other approaches to study deformations exist; see [8,9,10,17,18, 19,20,24,28]; also see [26] for a review.

In this paper, we introduce a cohomology and a formal deformation theory of alternative algebras. If* A* is left alternative algebra, then the algebra defined on the same vector space *A* with “opposite” multiplication *x ◦ y* := *yx* is a right alternative algebra and vice-versa. Hence, all the statements for left alternative algebras have their corresponding statements for right alternative algebras. Thus, we will only consider the left alternative algebra case in this paper. We also review the connections of alternative algebras to other algebraic structures. In Section 2, we review the basic definitions and properties related to alternative algebras. In Section 3, we discuss in particular all the links between alternative algebras and some other algebraic structures such as Moufang loops, Malcev algebras and Jordan algebras. In Section 4, we introduce a cohomology theory of left alternative algebras.We compute the second cohomology group of the 2 by 2 matrix algebra. It is known that, as an associative algebra, its second cohomology group is trivial, but we show that this is not the case as left alternative algebra. Finally, in Section 5, we develop a formal deformation theory for left alternative algebras and show that the cohomology theory introduced in Section 4 fits.

Throughout this paper, K is an algebraically closed field of characteristic 0.

**2.1 Definitions**

Definition 1 (see [29]). A left alternative K-algebra (resp. right alternative K-algebra) (A, μ) is a vector space A over K and a bilinear multiplication μ satisfying the left alternative identity, that is, for all x, y ∈ A,

(2.1)

and respectively the right alternative identity, that is

(2.2)

An alternative algebra is one which is both left and right alternative algebra.

**Lemma 2.*** Let as denote the associator, which is a trilinear map defined by*

*An algebra is alternative if and only if the associator is an alternating function of its arguments, that is*

This lemma implies then that the following identities are satisfied:

By linearization, we have the following characterization of left (resp. right) alternative algebras, which will be used in the sequel.

**Lemma 3. **A pair (A, μ) is a left alternative K-algebra (resp. right alternative K-algebra) if and only if the identity

(2.3)

*respectively,*

(2.4)

holds.

**Remark 4**. When considering multiplication as a linear maps the condition (2.3) (resp. (2.4)) may be written

(2.5)

respectively

(2.6)

where id stands for the identity map and σ1 and σ2 stand for transpositions generating the permutation group S_{3} which are extended to trilinear maps defined by

for all

In terms of associators, the identities (2.3) (resp. (2.4)) are equivalent to

(2.7)

**Remark 5.** The notions of subalgebra, ideal and quotient algebra are defined in the usual way. For general theory about alternative algebras see [29]. The alternative algebras generalize associative algebras. Recently, in [7], it was shown that their operad is not Koszul. The dual operad of right alternative (resp. left alternative) algebras is defined by associativity and the identity

The dual operad of alternative algebras is defined by the associativity and the identity

2.2 Structure theorems and examples

We have these following fundamental properties:

• Artin’s theorem. 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.

**• Generalization of Artin’s theorem.** Whenever three elements* x, y, z* in an alternative algebra associate (i.e. the subalgebra generated by those elements is associative.

**• Corollary of Artin’s theorem**. 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.

Example 6 (4-dimensional alternative algebras). According to A. T. Gainov (see e.g. [16, p. 144]), there are exactly two alternative but not associative algebras of dimension 4 over any field. With respect to a basis {e_{0}, e_{1}, e_{2}, e_{3}}, one algebra is given by the following multiplication (the unspecified products are zeros):

The other algebra is given by

Example 7 (octonions). The octonions were discovered in 1843 by John T. Graves who called them Octaves and independently by Arthur Cayley in 1845. The octonions algebra which is also called Cayley Octaves or Cayley algebra is an 8-dimensional algebra defined with respect to a basis {u, e_{1}, e_{2}, e_{3}, e_{4}, e_{5}, e_{6}, e_{7}}, where u is the identity for the multiplication, by the following multiplication table. The table describes multiplying the ith row elements by the jth column elements.

s

U |
e1 |
e2 |
e3 |
e4 | e5 | e6 | e7 | |
---|---|---|---|---|---|---|---|---|

U |
u | e1 |
e2 |
e3 |
e4 | e5 | e6 | e7 |

e1 |
e1 |
-u | e4 | e7 | -e2 | e6 | -e5 | -e3 |

e2 |
e2 |
-e4 | -u | e5 | e1 | -e3 | e7 | -e6 |

e3 |
e3 |
-e7 | -e5 | -u | e6 | e2 | -e4 | e1 |

e4 | e4 | e2 | -e1 | -e6 | -u | e7 | e3 | -e5 |

e5 | e5 | -e6 | e3 | -e2 | -e7 | -u | e1 | e4 |

e6 | e6 | e5 | -e7 | e4 | -e3 | -e1 | -u | e2 |

e7 | e7 | e3 | e6 | -e1 | e5 | -e4 | -e2 | -u |

The octonions algebra is a typical example of alternative algebras. As stated early, the subalgebra generated by any two elements is associative. In fact, the subalgebra generated by any two elements of the octonions is isomorphic to the algebra of reals R, the algebra of complex numbers C or the algebra of quaternions H, all of which are associative. See [4] for the role of the octonions in algebra, geometry and topology, and see also [1] where octions are viewed as quasialgebra.

**3 Connections to other algebraic structures**

We begin by recalling some basics of Moufang loops, *Moufang* algebras and Malcev algebras.

**Definition 8.** Let (M,*) be a set with a binary operation. It is called a Moufang loop if it is a quasigroup with an identity e such that the binary operation satisfies one of the following equivalent identities:

The typical examples include groups and the set of nonzero octonions which gives a nonassociative Moufang loop.

As in the case of Lie group, there exists a notion of analytic Moufang loop (see e.g. [27,30,31]). An analytic Moufang loop M is a real analytic manifold with the multiplication and the inverse, being analytic mappings. The tangent space T_{e}M is equipped with a skew-symmetric bracket satisfying Malcev’s identity, that is,

(3.4)

for all and where J corresponds to Jacobi’s identity, that is,

*Definition 9.** A Malcev K-algebra is a vector space over K and a skew-symmetric bracket satisfying the identity (3.4).*

*The Malcev algebras are also called Moufang-Lie algebras. We have the following fundamental Kerdman theorem [23].*

**Theorem 10.*** For every real Malcev algebra there exists an analytic Moufang loop whose tangent algebra is the given Malcev algebra.*

The connection to alternative algebras is given by the following proposition.

**Proposition 11.*** The alternative algebras are Malcev-admissible algebras, that is, their commutators define a Malcev algebra.*

Remark 12. Let A be an alternative algebra with a unit. The set *U(A) *of all invertible elements of *A *forms a Moufang loop with respect to the multiplication. Conversely, not any Moufang loop can be imbedded into a loop of type *U(A) *for a suitable unital alternative algebra *A*. A counter-example was given in [34]. In [32], the author characterizes the Moufang loops which are imbeddable into a loop of type *U(A).*

The Moufang algebras which are the corresponding algebras of a Moufang loop are defined as follows.

Definition 13. A left Moufang algebra* (A, μ) *is one which is left alternative and satisfying the Moufang identity, that is,

The Moufang identities (3.1), (3.2), (3.3) are expressed in terms of associator by

It turns out that in a characteristic different from 2, all left alternative algebras are left Moufang algebras. Also, a left Moufang algebra is alternative if and only if it is flexible, that is, as(*x, y, x*) = 0 for all* x, y ∈ A.*

The alternative algebras are connected to Jordan algebras as follows. Given an alternative algebra (*A, μ*), then a Jordan algebra, that is, the commutative multiplication μ+ satisfies the identity For more nonassociative algebras theory, we refer to [21,22,33,36,37].

In this section, we introduce a cohomology theory for left alternative algebras fitting with deformation theory and compute the second cohomology group of 2 × 2-matrix algebra viewed as an alternative algebra.

Let* A *be a left alternative* K*-algebra defined by a multiplication μ. A left alternative p-cochain is a linear map from We denote by the group of all p-cochains.

4.1 First differential map

Let id denotes the identity map on we define the first differential

We remark that the first differential of a left alternative algebra is similar to the first differential map of Hochschild cohomology of an associative algebra (1-cocycles are derivations).

4.2 Second differential map

Let we define the second differential by

(4.1)

Remark 14. The left alternative algebra 2-differential defined in (4.1) may be written using the Hochschild differential as

**Proposition 15. **The composite δ^{2} ◦ δ^{1} is zero.

**Proof**. Let Then

In order to simplify the notation, the multiplication is denoted by concatenation of terms and the tensor product is removed. Then, we have

After simplifying the terms which cancel in pairs, we group the remaining ones into brackets, so each bracket cancels using the left alternative algebra axiom (see (2.3)).

**Example 16**. Let denote the associative algebra of 2 by 2 matrices over the field K, considered as left alternative algebra of dimension 4. Let e_{1}, e_{2}, e_{3} and e_{4} be a basis of *A*. The second cohomology group is three-dimensional and generated with respect to the canonical basis by [*f _{1}*], [

The non-specified terms of these generators are zeros. These generators were obtained independently using the softwares Maple and Mathematica.

**Remark 17.** It was implied from [35] that the second cohomology group of is non-trivial. But the exact structure of this group was not known. We completely determine the structure by giving the dimension and generators.

**4.3 Third differential map and beyond**

Let we define the third differential

that is, for all

**Remark 18. **The third differential f a left alternative algebra *A* may be written using the third Hochschild cohomology differential as

**Proposition 19.** *The composite is zero.*

Proof. Let Then, by substituting with in the previous formula and rearranging the terms we get

Let be the fourth Hochschild cohomology differential. We define the fourth differential for a left alternative algebra *A as*

where σ is the extended map, which we still denote by σ, for a permutation defined by

By direct calculation, we can prove the following proposition.

**Proposition 20.** *The composite is zero.*

One may complete the complex by considering for p > 4. It is shown in [7] that the operad of alternative algebras is not Koszul, thus we think that there exist nontrivial pth differential maps for p > 4 by constructing a minimal model.

In this section, we develop a deformation theory for alternative algebras and show that the cohomology introduced in the previous section fits with formal deformations of left alternative algebras.

Let be a left alternative algebra. Let be the power series ring in one variable t and coefficients in and let *A*[[t]] be the set of formal power series whose coefficients are elements of *A* (note that *A*[[t]] is obtained by extending the coefficients domain of *A* from Then, *A*[[t]] is a -module. When *A* is finite-dimensional, we have One notes that *A* is a submodule of *A*[[t]]. Given a -bilinear map it admits naturally an extension to a -bilinear map that is, if

**Definition **21. Let be a left alternative algebra. A *formal left alternative deformation* of *A* is given by the -bilinear map where each μ_{i} is a -bilinear map (extended to be -bilinear), such that for x, y, z ∈ A, the following formal left alternativity condition holds:

(5.1)

**Deformation equation and obstructions**

The first problem is to give conditions about* μ _{i}* such that the deformation

This infinite system, called the *deformation equation*, gives the necessary and sufficient conditions for the left alternativity of *μ _{t}*. It may be written as

(5.2)

The first equation (k = 0) is the left alternativity condition for μ_{0}. The second shows that μ_{1} must be a 2-cocycle for the alternative algebra cohomology defined above More generally, suppose that *μ _{p}* is the first non-zero coefficient after

**Theorem 22.** *The map μ _{p} is a 2-cocycle of the left alternative algebras cohomology of A with coefficient in itself.*

*Proof*. In (5.2) make the following substitutions: *k = p* and

**Definition 23.** The 2-cocycle *μ _{p}* is said integrable if it is the first non-zero term, after

The integrability of *μ _{p}* implies an infinite sequence of relations which may be interpreted as the vanishing of the obstruction to the integration of

For an arbitrary *k*, with *k* > 1, the kth equation of the system (5.2) may be written as

Suppose that the truncated deformation

satisfies the deformation equation. The truncated deformation is extended to a deformation of order *m*, that is,

satisfying the deformation equation if

The right-hand side of this equation is called the *obstruction* to finding *μ _{m}* extending the deformation.

We define a square operation on 2-cochains by

Then the obstruction may be written as

A straightforward computation gives the following.

**Theorem 24. ***The obstructions are left alternative 3-cocycles*

**Remark 25.** (1) The cohomology class of the element is the first obstruction to the integrability of *μ _{m}*. We consider now how to extend an infinitesimal deformation to a deformation of order 2. Suppose The deformation equation of the truncated deformation of order 2 is equivalent to the finite system:

Then is the first obstruction to integrate The elements which are coboundaries permit to extend the deformation of order one to a deformation of order 2. But the elements of give the obstruction to the integrations of *μ _{1}*.

(2) If μm is integrable, then the cohomological class of must be 0. In the previous example, *μ _{1}* is integrable, implies that which means that the cohomology class of vanishes.

**Corollary 26.** *If then all obstructions vanish and every is integrable*.

Equivalent and trivial deformations

In this section, we characterize equivalent as well as trivial deformations of left alternative algebras.

**Definition 27.** Let be a left alternative algebra and let be two left alternative deformations of *A*, where We say that the two deformations are *equivalent* if there exists a formal isomorphism linear map that may be written in the form

where = id are such that the following relations hold:

(5.3)

A deformation *A _{t}* of

In the following, we discuss the equivalence of two deformations. Condition (5.3) may be written as

(5.4)

Equation (5.4) is equivalent to

or

Identifying the coefficients, we obtain that the constant coefficients are identical, that is,

For the coefficients of *t* one finds

Since *Φ _{0}* = id, it follows that

Consequently,

(5.5)

The second-order conditions of the equivalence between two deformations of a left alternative algebra are given by (5.5), which may be written as

(5.6)

In general, if the deformations are equivalent, then Therefore, we have the following proposition.

**Proposition 28. ***The integrability of μ _{1} depends only on its cohomology class*.

Recall that two elements are cohomologous if their difference is a coboundary. The equation implies that

If then

Thus, if two integrable 2-cocycles are cohomologous, then the corresponding deformations are equivalent.

**Remark 29.** Elements of give the infinitesimal deformations

**Proposition 30.** *Let be a left alternative algebra. There is, over a one-to-one correspondence between the elements of and the infinitesimal deformation of A defined by*

*Proof*. The deformation equation is equivalent to

**Theorem 31.** *Let be a left alternative algebra and let μ _{t} be a one parameter family of deformation of μ_{0}. Then μ_{t} is equivalent to*

*Proof***. **Suppose now that is a one-parameter family of deformation of *μ _{0}* for which The deformation equation impliesIf further then setting the morphismwe have, for all

And again

**Corollary 32.** If =0,* then all deformations of A are equivalent to a trivial deformation.*

In fact, assume that there exists a non trivial deformation of *μ _{0}*. Following the previous theorem, this deformation is equivalent to

where But this is impossible because =0.

**Remark 33.** A left alternative algebra for which every formal deformation is equivalent to a trivial deformation is called rigid. The previous corollary provides a sufficient condition for a left alternative algebra to be rigid. In general, this condition is not necessary.

- Albuquerque H, Majid S (1999) Quasialgebra structure of the octonions. J Algebra 220: 188–224.
- Ataguema H, Makhlouf A (2007) Deformations of ternary algebras. J Gen Lie Theory Appl 1: 41–55.
- Ataguema H, Makhlouf A (2009) Notes on cohomologies of ternary algebras of associative type. J Gen Lie Theory Appl 3: 157–174.
- Baez JC (2002) The octonions. Bull Amer Math Soc (N.S.) 39: 145–205.
- Carter JS, Crans AS, Elhamdadi M, Saito M (2008) Cohomology of categorical self-distributivity. J Homotopy Relat Struct 3: 13–63.
- Carter JS, Crans AS, Elhamdadi M, Saito M (2008) Cohomology of the adjoint of Hopf algebras. J Gen Lie Theory Appl 2: 19–34.
- Dzhumadil’daev A, Zusmanovich P (2011) The alternative operad is not Koszul. preprint, arXiv:0906.1272.
- Fialowski A (1986) Deformation of Lie algebras. Math USSR Sb 55: 467–473.
- Fialowski A (1988) An example of formal deformations of Lie algebras, in Deformation Theory of Algebras and Structures andApplications (Il Ciocco, 1986), M. Hazewinkel and M. Gerstenhaber, eds., vol. 247 of NATO Adv. Sci. Inst. Ser. C Math. Phys.Sci., Kluwer Acad. Publ., Dordrecht 247: 375–401.
- Fialowski A, O’Halloran J (1990) A comparison of deformations and orbit closure. Comm Algebra 18: 4121–4140.
- Gerstenhaber M (1964) On the deformation of rings and algebras. Ann of Math 79: 59–103.
- Gerstenhaber M (1964) A uniform cohomology theory for algebras. Proc Nat Acad Sci U.S.A. 51: 626–629.
- Gerstenhaber M (1966) On the deformation of rings and algebras. II, Ann of Math 84: 1–19.
- Gerstenhaber M (1968) On the deformation of rings and algebras. III, Ann of Math 88: 1–34.
- Gerstenhaber M (1974) On the deformation of rings and algebras. IV Ann of Math 99: 257–276.
- Goodaire EG (2000) Alternative rings of small order and the hunt for Moufang circle loops, in Nonassociative Algebra and Its Applications (S ̃ao Paulo, 1998). Lecture Notes in Pure and Appl Math Marcel Dekker, New York 211: 137–146.
- Goze M (1988) Perturbations of Lie algebra structures, in Deformation Theory of Algebras and Structures and Applications (Il Ciocco,1986), M. Hazewinkel and M. Gerstenhaber, eds. NATO Adv Sci Inst Ser C Math Phys Sci Kluwer Acad Publ Dordrecht 247: 265–355.
- Goze M, Makhlouf A (1990) On the rigid complex associative algebras. Comm Algebra 18: 4031–4046.
- Goze M, Makhlouf A (1996) Classification of rigid associative algebras in low dimensions, in Lois d’alg`ebres et vari ́et ́es alg ́ebriques(Colmar, 1991), vol. 50 of Travaux en Cours, Hermann, Paris 50: 5–22.
- Goze M, Remm E (2004) Valued deformations of algebras. J Algebra Appl 3: 345–365.
- Jacobson N (1949) Lie and Jordan triple systems. Amer J Math 71: 149–170.
- Jacobson N, Structure and Representations of Jordan Algebras, vol. 39 of American Mathematical Society Colloquium Publications,American Mathematical Society, Providence, R.I., 1968.
- Kerdman FS (1979) Analytic Moufang loops in the large. Algebra i Logika 18: 523–555.
- Laudal OA (1979) Formal Moduli of Algebraic Structures, vol. 754 of Lecture Notes in Mathematics, Springer-Verlag, Berlin.
- Makhlouf A (2005) Degeneration, rigidity and irreducible components of Hopf algebras. Algebra Colloq 12: 241–254.
- Makhlouf A (2007) A comparison of deformations and geometric study of varieties of associative algebras. Int J Math Math Sci Art ID pp: 18915.
- Mal’tsev AI (1955) Analytical loops. Mat Sb 36: 569–578.
- Markl M, Stasheff JD (1994) Deformation theory via deviations. J Algebra 170: 122–155.
- Mc Crimmon K, Alternative algebras.
- Paal E (2004) Note on analytic Moufang loops, Comment. Math Univ Carolin 45: 349–354.
- Paal E (2008) Moufang loops and generalized Lie-Cartan theorem. J Ge Lie Theory Appl 2: 45–49.
- Sandu NI (2009) Free Moufang loops and alternative algebras. Bul Acad S ̧ tiint ̧e Repub Mold Mat pp: 96–108.
- Schafer RD (1966) An Introduction to Nonassociative Algebras, vol. 22 of Pure and Applied Mathematics, Academic Press, New York.
- Shestakov IP (2004) Moufang loops and alternative algebras. Proc Amer Math Soc 132: 313–316.
- Thedy A (1978) Right alternative algebras and Wedder burn principal theorem. Proc Amer Math Soc 72: 427–435.
- Yamaguti K (1963) On the theory of Malcev algebras. Kumamoto J Sci Ser A 6: 9–45.
- Zhevlakov KA, Slin’ko AM, Shestakov IP, Shirshov AI (1982) Rings that Are Nearly Associative, vol. 104 of Pure and AppliedMathematics, Academic Press, New York.

Select your language of interest to view the total content in your interested language

- Adomian Decomposition Method
- Algebra
- Algebraic Geometry
- Analytical Geometry
- Applied Mathematics
- Axioms
- Balance Law
- Behaviometrics
- Big Data Analytics
- Binary and Non-normal Continuous Data
- Binomial Regression
- Biometrics
- Biostatistics methods
- Clinical Trail
- Combinatorics
- Complex Analysis
- Computational Model
- Convection Diffusion Equations
- Cross-Covariance and Cross-Correlation
- Deformations Theory
- Differential Equations
- Differential Transform Method
- Fourier Analysis
- Fuzzy Boundary Value
- Fuzzy Environments
- Fuzzy Quasi-Metric Space
- Genetic Linkage
- Geometry
- Hamilton Mechanics
- Harmonic Analysis
- Homological Algebra
- Homotopical Algebra
- Hypothesis Testing
- Integrated Analysis
- Integration
- Large-scale Survey Data
- Latin Squares
- Lie Algebra
- Lie Superalgebra
- Lie Theory
- Lie Triple Systems
- Loop Algebra
- Matrix
- Microarray Studies
- Mixed Initial-boundary Value
- Molecular Modelling
- Multivariate-Normal Model
- Noether's theorem
- Non rigid Image Registration
- Nonlinear Differential Equations
- Number Theory
- Numerical Solutions
- Operad Theory
- Physical Mathematics
- Quantum Group
- Quantum Mechanics
- Quantum electrodynamics
- Quasi-Group
- Quasilinear Hyperbolic Systems
- Regressions
- Relativity
- Representation theory
- Riemannian Geometry
- Robust Method
- Semi Analytical-Solution
- Sensitivity Analysis
- Smooth Complexities
- Soft biometrics
- Spatial Gaussian Markov Random Fields
- Statistical Methods
- Super Algebras
- Symmetric Spaces
- Theoretical Physics
- Theory of Mathematical Modeling
- Three Dimensional Steady State
- Topologies
- Topology
- mirror symmetry
- vector bundle

- Total views:
**12434** - [From(publication date):

December-2011 - Dec 13, 2018] - Breakdown by view type
- HTML page views :
**8603** - PDF downloads :
**3831**

Peer Reviewed Journals

International Conferences 2018-19