# On Contractions of Three-Dimensional Complex Associative Algebras

^{*}

**Corresponding Author:**Rakhimov IS, Laboratory of Cryptography, Analysis and Structure, Institute for Mathematical Research (INSPEM), UPM, Malaysia, Tel: 03- 8946 6831, Email: [email protected]

*
Received Date: Jul 06, 2017 /
Accepted Date: Sep 29, 2017 /
Published Date: Oct 10, 2017 *

### Abstract

Contraction is one of the most important concepts that motivated by numerous applications in different fields of physics and mathematics. In this work, the contractions of complex associative algebras are considered. We focus on the variety A_{3}() of all complex associative algebras of dimension three (including nonunital). Various contractions criteria are collected and new criteria are proposed to test the possible existence of contraction for each pair of associative algebras. One of the main tools is the use of the low-dimensional cohomology groups of these algebras. As a result, we prove that the variety A_{3}() has seven irreducible components, two of dimension 5, four of dimension 7 and one of dimension 9.

#### Introduction

The notion of contractions was first introduced by Segal [1] and Inonu [2] for Lie algebras. According to references, the contractions can be divided into two major categories. The first one is more physical that deals with the applications of contractions. Another one is pure algebraic that is mainly oriented to the abstract algebraic structure and mathematical background. For associative algebras, Gabriel [3] studied the irreducible components of the algebraic variety of 4-dimensional unital associative algebras. Mazzola’s paper [4] concerns unital associative algebras of dimension five. Classification of lowdimensional nilpotent rigid associative algebras and the description of the irreducible components have been treated by Makhlouf [5,6].

The main purpose of this work is to study the variety of all 3-dimensional complex associative algebras. In the paper, we deal with the algebraic point of view of the contractions. We study orbit closures of the variety of complex associative algebras of dimension three. The paper is organized as follows. Some notations on associative algebras, degeneration, rigidity and contractions of associative algebras are given in Section 2. In Section 3, we list some important invariance arguments for contractions. Calculation and collection of invariance arguments are adduced to conclude the possible existence of contractions for an arbitrary pair of associative algebras in Section 4.

#### Preliminaries

In this section, we recall some terminology that are used in the paper. Let *A*=(*V*,*λ*) be an algebra of dimension *n* with an underlying vector space *V* over a field and product *λ*:*V*×*V*→*V*. Let *g*:(0,1]→*GL*(*V*) be a continuous function. More precisely for any *t*∈(0,1], a nonsingular linear operator *g _{t}* on

*V*is assigned. A parameterized family of new isomorphic to

*A*=(

*V*,

*λ*) algebra structures on V is determined as follows:

**Definition 2.1**

If for any *x*,*y*∈ , the limit exists then algebraic structure λ_{0} is called a contraction of λ.

A contraction *B* of *A* to algebra *B* is called trivial if *B* is abelian and improper if *B* is isomorphic to *A*. Consider an *n*^{3}-dimensional vector space Hom(*V*⊗*V*,*V*) formed by bilinear maps *V*×*V*→*V*, where *V* is an *n*-dimensional vector space over an algebraically closed field denoted by An algebra *A*=(*V*,*λ*) is given as an element *λ*(*A*) of through the bilinear mapping *λ*:*V*⊗*V*→*V*. The linear reductive group acts on by

Under this action, two algebras *A* and *B* belong to the same orbit if and only if they are isomorphic. Moreover, we say that algebra *A* degenerates to algebra *B*, if *B* lies in Zariski closure of the orbit of *A*. This is denoted by .

**Definition 2.2**

Let *A* be an algebra over a field . We call A an associative algebra if its bilinear mapping λ satisfies the following condition

Let be the set of all associative algebra structures on *n*-dimensional space over a field . The set is an algebraic subset of the affine variety . For a fixed basis {*e*_{1},*e*_{2},…,*e _{n}*} of the vector space

*V*, the multiplication table of

*A*on this basis is given as a point as follows

Let A be an associative , *D* be an *A*-bimodule and Φ:*A ^{p}D* be a multilinear mapping. The set of all multilinear mappings from

*A*to

^{p}*D*is called

*p*-dimensional cochain of

*A*and denoted by

*C*(

^{p}*A*,

*D*). The coboundary homomorphism is a mapping

*δ*

^{(p)}from

*C*(

^{p}*A*,

*D*) to

*C*

^{p}^{+1}(

*A*,

*D*) given by

The kernel of the coboundary operator denoted by *Z ^{p}*(

*A*,

*D*) whose elements are called

*p*-cocycles with values in

*D*. The elements of the image of

*δ*

^{(p-1)}denoted by

*B*(

^{p}*A*,

*D*) are called

*p*-coboundaries with values in

*D*. The quotient space:

*H ^{p}* (

*A*,

*D*) =

*Z*(

^{p}*A*,

*D*) /

*B*(

^{p}*A*,

*D*) is called the cohomology space (group) of

*A*of degree

*p*. In this paper, we will consider a particular case that

*D*=

*A*as

*A*-bimodule.

**Definition 2.3**

An associative algebra *A* is called geometrically rigid whenever its orbit is Zariski open in and called algebraically rigid if the second cohomology group *H*^{2}(*A*,*A*) is trivial [7].

#### Invariance Arguments

In this section, we list some invariance arguments which are helpful for studying the variety of a given class of algebras. Let *A* be an associative algebras over a field . We define:

• *A ^{k}* =

*λ*(

*A*

^{k}^{ −1},

*A*) - the

*k*-th degree of

*A*, where ;

• *R*(*A*) = {*x* ∈ *A* | *λ* (*A*, *x*) = 0} - the right annihilator of A;

• *L*(*A*) = {*x* ∈ *A* | *λ* (*x*, *A*) = 0} - the left annihilator of A;

• *Z*(*A*) = {*x* ∈ *A* | *λ* (*x*, *y*) = *λ* ( *y*, *x*),∀*y* ∈ *A*} - the center of A;

• *Aut*(*A*) = {*d* : *A*→ *A* | *d*(*λ* (*x*, *y*)) = *λ* (*d*(*x*),*d*( *y*)),∀*x*, *y* ∈ *A*} - the group of automorphisms of *A*;

• *SA*(*A*) - the maximal abelian subalgebra of A;

• *Com*(*A*) - the maximal commutative subalgebra of A;

• *O*(*A*) - the orbit of A;

• *Der*(*A*) = {*d* ∈ *End*(*A*) | *d*(*λ* (*x*, *y*)) = *λ* (*d*(*x*), *y*) +*λ* (*x*,*d*( *y*)),∀*x*, *y* ∈ *A*} - the algebra of derivations of *A*;

•*r _{n}*(

*A*) -the nilpotency rank of associative algebra

*A*;

• *H ^{i}* (

*A*,

*A*) - the

*i*cohomology group of

^{th}*A*;

• *Z* ^{2} (*A*, *A*) - the 2-cocycles of associative algebra *A*;

• is the space of (α,β,γ)-derivations of A, for fixed .

The following theorem is very useful to study the irreducible components of the subvariety of [8,9].

**Theorem 3.1**

The the following subsets of are closed relative to the Zariski topology for any

The proof of 1-4 is the same to that of Lie algebras [10,11]. For the parts 5 and 6, the proof is obtained by the following significant fact: let N be a Zariski closed subset of and *A*_{1},*A*_{2} in . If *A*_{1} lies in *N* and *A*_{1}→*A*_{2} then *A*_{2} also lies in *A*. More precisely, the subset *N* is not -setwise stabilizer. However, it is *B*-setwise stabilizer, where *B* is the Borel subgroup - made up of upper triangular matrices. The statements 7,8 and 9 are equivalent because of the following relation between the dimensions of -- orbits, automorphism’s groups and derivation algebras.

dim*O*(*A*) = *n*^{2} − dimAut(*A*) = *n*^{2} − dimDer(*A*)

The proof of 10 is directly coming behind the following fact: let *A* be an associative algebra. We define the lower central series:

If *A* is a nilpotent associative algebra then it has nilpotency rank denoted by *r _{n}*(

*A*), i.e., it is a minimal positive integer

*l*such that

*A*=0. It is not hard to see that if

^{l}*A*

_{1}degenerates to

*A*

_{2}then dim . The proof of 11 and 12 are the same of Lie algebras [12].

The next corollary is used to reject existence of degenerations for each pair of associative algebras *A* and *B*.

**Corollary 3.1**

If an algebra *A* degenerates to an algebra *B*. Then the following conditions are valid:

0.60tw0.60tw

In the sequel, all algebras suppose to be over the field of complex numbers .

#### The Variety of Complex Associative Algebras of Dimension Three

In this section, we recall the complete list of non-isomorphic classes of three-dimensional complex associative algebras, which was obtained in Rikhsiboev et al. [13] to study the subvariety .

**Theorem 4.1**

Any 3-dimensional complex associative algebra A is isomorphic to one of the following pairwise non-isomorphic algebras.

In **Table 1**, we assemble some contraction invariants of threedimensional associative algebras that were obtained in refs. [14,15].

In **Table 2** below we present the values of more contraction invariants.

**Table 3** contains the values of contraction invariants applying the algorithm, which was stated in ref. [16] to describe the (α,,γ)- derivations of three- dimensional complex associative algebras.

By using all the criteria presented above, we give in the following table all possibilities of degenerations for 3-dimensional associative algebras. The checkmark denotes that there is a degeneration . The other symbols stand for the reason why such a degeneration is impossible. Indeed, there is more than just one reason for a non-degeneration. However, we have written down only one in the table (**Table 4**).

According to **Table 4**, the algebras and are geometrically rigid. More precisely, they are not degeneration of other 3-dimensional associative algebras structures.

**Theorem 4.2**

The rigid irreducible components of the variety are generated by the algebras and with the dimensions:

As a consequence, = 9.

#### References

- Segal IE (1961) A class of operator algebras which are determined by groups. Duke Mathematical Journal 18: 221-265.
- Inönu E, Eugene PW (1953) On the contraction of groups and their representations. Proceedings of the National Academy of Sciences 39: 510-524.
- Gabriel P (1975) Finite representation type is open. Representations of algebras, Springer, Berlin- Heidelberg, pp: 132-155.
- Mazzola G (1979) The algebraic and geometric classification of associative algebras of five. Manuscripta Math 27: 81-101.
- Makhlouf A, Goze M (1990) Classification of rigid associative algebras in low-dimensions. Preprint, ULP-IRMA, pp: 425-238.
- Makhlouf A (1993) The irreducible components of the nilpotent associative algebras. Revista Matematica Complutense 6: 27-40.
- Makhlouf A (2007) A comparison of deformations and geometric study of varieties of associative algebras. International Journal of Mathematics and Mathematical Sciences Article ID 18915, p: 24.
- Rakhimov IS, Mohd Atan KA (2012) On contractions and invariants of Leibniz algebras. Bull Malays Math Sci Soc 35: 557-565.
- Pierce RS (1982) Associative Algebras. Springer New York.
- Grunewald F, O’Halloran J (1988) Varieties of nilpotent Lie algebras of dimension less than six. Journal of Algebra 112: 315-325.
- Nesterenko M, Popovych R (2006) Contractions of low-dimensional Lie algebras. Journal of Mathematical Physics 47: 123515.
- Burde D (2005) Degenerations of τ-dimensional nilpotent Lie algebras. Communications in Algebra 33: 1259-1277.
- Rakhimov IS, Rikhsiboev RM, Basri W (2010) Classification of 3-dimensional complex diassociative algebras. Malaysian Journal of Mathematical Sciences 4: 241-254.
- Rakhimov IS, Riskhboev IM, Basri W - Complete list of low-dimensional complex associative algebras, arXiv:0910.0932v2, math.RA..
- Fiidow MA, Rakhimov IS, Said Hussain SK (2016) Derivations and Centroids of Associative algebras. IEEE Conference Publications, pp: 227-232.
- Rakhimov IS, Said Husain ShK, Abdulkadir A (2016) On Generalized Derivations of finite dimensional Associative algebras, FEIIC International Journal of Engineering and Technology 13: 121-126.

Citation: Mohammed NF, Rakhimov IS, Said Husain SK (2017) On Contractions of Three-Dimensional Complex Associative Algebras. J Generalized Lie Theory Appl 11: 282. DOI: 10.4172/1736-4337.1000282

Copyright: © 2017 Mohammed NF, et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.