Medical, Pharma, Engineering, Science, Technology and Business

**V. ABRAMOV ^{1}, R. KERNER^{2}, O. LIIVAPUU^{1}, and S. SHITOV^{1}**

^{1}Institute of Mathematics, University of Tartu, Liivi 2, Tartu 50409, Estonia E-mails: [email protected], [email protected], [email protected]

^{2}LPTMC, Tour 24, Boite 121, 4 Place Jussieu, 75252 Paris Cedex 05, France E-mail: [email protected]

**Received Date**: January 16, 2009; **Revised Date: **January 25, 2009

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

We study partially and totally associative ternary algebras of first and second kind. Assuming the vector space underlying a ternary algebra to be a topological space and a triple product to be continuous mapping, we consider the trivial vector bundle over a ternary algebra and show that a triple product induces a structure of binary algebra in each fiber of this vector bundle. We find the sufficient and necessary condition for a ternary multiplication to induce a structure of associative binary algebra in each fiber of this vector bundle. Given two modules over the algebras with involutions, we construct a ternary algebra which is used as a building block for a Lie algebra. We construct ternary algebras of cubic matrices and find four different totally associative ternary multiplications of second kind of cubic matrices. It is proved that these are the only totally associative ternary multiplications of second kind in the case of cubic matrices. We describe a ternary analog of Lie algebra of cubic matrices of second order which is based on a notion of j-commutator and find all commutation relations of generators of this algebra.

A ternary algebra or triple system is a vector space endowed with a ternary law of composition which is a linear mapping with respect to each of its arguments, and we will call this mapping a ternary multiplication or triple product of a ternary algebra Hence a ternary algebra is an algebra which closes under a suitable triple product. Obviously any binary algebra which closes under double product can be considered as a ternary algebra if one defines the ternary multiplication as twice successively applied binary one, and in this case the ternary multiplication is generated by a binary one. However there are ternary multiplications which cannot be obtained as twice successively applied binary multiplications. For instance, pure imaginary numbers or elements of grade one of a superalgebra close under triple product. A well-known example of a ternary matrix algebra is the vector space matrices endowed with the ternary multiplication where A,B,C ∈ Mat_{m,n} and B^{T} is transpose of the matrix B. Since Lie algebras play a fundamental role in physics, particular attention was given to ternary algebras when they were shown to be building blocks of ordinary Lie algebras. Given ternary algebra, one can construct a Lie algebra by using the method proposed by Kantor in [10]. This method was extended to super Lie algebras in [7] and later was applied by the same authors in [8] to construct a gauge field theory by introducing fundamental fields associated with the elements of a ternary algebra.

A skew-symmetric bilinear form is an important component in the large class of algebraic structures such as Lie algebras, Grassmann algebras, and Clifford algebras. For example, the Lie brackets [ , ] : of a Lie algebra is the skew-symmetric bilinear form, and the multiplication of a Grassmann algebra restricted to the subspace of odd elements is the skew-symmetric bilinear form. A skew-symmetry of a bilinear form can be interpreted by means of the faithful representation of the symmetric group S2 = {e, ρ} → {1,−1}, where e is the identity permutation, as follows: a bilinear form μ is skewsymmetric if μ(xρ(1), xρ(2)) = (−1) μ(x1, x2). Making use of this interpretation, we can construct a ternary analog of a skew-symmetric bilinear form replacing with its faithful representation by cubic roots of unity where e is the identity permutation and ρ1, ρ2 are the cyclic permutations, as follows: a trilinear form τ is called j-skew-symmetric if for any elements a, b, c of a vector space it satisfies

τ (a, b, c) = j τ(b, c, a) = j^{2} τ (c, a, b)

The notion of a j-skew-symmetric form can be assumed as a basis for a ternary analog of Grassmann, Clifford, and Lie algebras. These ternary structures were developed in [1,2,13,15] and applied to construct a ternary analog of supersymmetry algebra in [3,11,12,14].

In this paper, we study algebras with ternary law of composition. In Section 2, we consider partially and totally associative ternary algebras of first and second kind. We show that a triple product of a ternary algebra induces three binary multiplications and find the sufficient and necessary condition a triple product of a ternary algebra must satisfy in order to induce the associative binary algebra. Assuming the vector space underlying a ternary algebra to be a topological space and a triple product to be continuous mapping, we consider the trivial vector bundle over a ternary algebra and show that a triple product induces a structure of binary algebra in each fiber of this vector bundle. The sufficient and necessary condition a ternary multiplication must satisfy in order to induce a structure of associative binary algebra in each fiber is given in terms of the vector bundle over a ternary algebra. The relations for different kinds of partial and total associativity of a ternary algebra and binary algebras induced by it are found in terms of the structure constants of a ternary algebra. It should be pointed out that the cohomologies of a ternary algebra of associative type are studied in [5].

In Section 3, we consider an algebraic structure consisting of two bimodules over unital associative algebras with involution and construct a ternary algebra by means of this algebraic structure. Choosing different modules, unital associative algebras and homomorphisms, we show that this structure allows to construct a large class of ternary algebras including a ternary algebra of rectangular matrices and ternary algebras of sections of a vector bundle over a smooth finite-dimensional manifold. We end Section 3 by constructing the binary Lie algebra of matrices whose entries are the elements of bimodules and unital associative algebras. It should be mentioned that there are n-ary generalizations of Lie algebra which include the concepts such as n-ary algebra of Lie type enclosing n-ary Nambu algebra, n-ary Nambu-Lie algebra. The concept of n-ary Hom-algebra structure generalizing previously mentioned n-ary generalizations of Lie algebra is introduced and studied in [6]. A good and detailed survey on the theory of ternary algebras can be found in [4].

It is well known that a large class of associative algebras can be constructed by means of square matrices and their multiplication. Though the rectangular matrices can be successfully used to construct a ternary algebra, we think that probably more appropriate objects to construct ternary algebras are the cubic matrices. Our aim in Section 4 is to construct ternary algebras of cubic matrices and to study their structures. We find four different totally associative ternary multiplications of second kind of cubic matrices and prove that these are the only totally associative ternary multiplications of second kind in the case of cubic matrices. It is worth mentioning that our search for associative ternary multiplications of cubic matrices has shown that there is no totally associative ternary multiplication of first kind in the case of cubic matrices. In Section 5, we describe the ternary analog of Lie algebra of cubic matrices of second order by finding all commutation relations of generators of this algebra with respect to j-commutator.

In this section, we recall a notion of a ternary algebra and its partial or total associativity of first or second kind. Holding fixed one argument of a ternary multiplication, we get the binary multiplications and study the relation between the associativity of a ternary multiplication and the associativity of induced binary multiplication. We propose to use a vector bundle approach to describe the family of binary algebras induced by a ternary algebra. Let be complex vector spaces, and valued trilinear form. We will call τ a ternary law of composition or ternary multiplication on if τ is a -valued trilinear form. The pair is said to be a ternary algebra or triple system if is a complex vector space, and is a ternary law of composition on It is obvious that relation analogous to binary associativity in the case of ternary law of composition should contain at least five elements of . There are three different ways to apply twice a ternary multiplication τ to ordered sequence of five elements a, b, c, d, f ∈ which lead us to the following relations defining a notion of partial associativity for ternary multiplication:

τ (τ (a, b, c), d, f) = τ (a, b, τ (c, d, f)) (2.1)

τ (τ (a, b, c), d, f) = τ (a, τ (b, c, d), f) (2.2)

τ (a, τ (b, c, d), f) = τ (a, b, τ (c, d, f)) (2.3)

Hence we have three different kinds of partially associative ternary algebra (A, τ) which will be called lr-partially associative ternary algebra (2.1), lc-partially associative ternary algebra of first kind (2.2), and cr-partially associative ternary algebra of first kind (2.3). A ternary algebra (A, τ) is said to be totally associative ternary algebra of first kind if its ternary multiplication τ satisfies any two of the relations (2.1)–(2.3). It is obvious that in the case of totally associative ternary algebra of first kind a ternary multiplication τ satisfies the relations

τ (τ (a, b, c), d, f) = τ (a, τ (b, c, d), f) = τ (a, b, τ (c, d, f)) (2.4)

where a, b, c, d, f ∈ The notion of totally associative ternary algebra of first kind can be viewed as a direct ternary generalization of classical associativity μ(μ(x, y), z) = μ(x, μ(y, z)), where x, y, z are the elements of an algebra (A, μ) with a binary law of composition μ : A×A → A, when one applies twice algebra multiplication (binary or ternary) to ordered sequence of elements of algebra successively shifting the first (interior) multiplication from left to right and setting equal obtained products. In this sense, the notion of lr-partial associativity can be considered as most similar to classical associativity whereas the notion of lc-partial or cr-partial associativity can be defined for the first time only in the case of ternary multiplication because in the case of binary multiplication there is no central group of two elements in the middle of a sequence x, y, z ∈ A.

Since the notion of lc-partial or cr-partial associativity appears for the first time in the case of ternary multiplication, there is no reason to keep the requirement of fixed order of a sequence a, b, c, d, f ∈ looking for a possible analog of associativity in the case of ternary algebras. It turns out that we get a useful notion of ternary associativity giving up the requirement of fixed order of elements in a sequence a, b, c, d, f ∈ . This means that unlike the case of ternary associativity of first kind we not only successively shift the first (interior) multiplication inside a sequence of elements a, b, c, d, f ∈ from left to right but at the same time permute the elements b, c, d in the middle of sequence. Obviously we should use noncyclic permutation in order to get the initial order of a sequence a, b, c, d, f on the second step. This reasoning leads us to the following relations:

τ (τ (a, b, c), d, f) = τ (a, τ (d, c, b), f) (2.5)

τ (a, τ (d, c, b), f) = τ (a, b, τ (c, d, f)) (2.6)

A ternary algebra is said to be lc-partially associative ternary algebra of second kind if ternary multiplication τ satisfies (2.5) and cr-partially associative ternary algebra of second kind if τ satisfies (2.6). A ternary algebra is said to be totally associative ternary algebra of second kind if it is lr-partially associative and either lc-partially associative of second kind or cr-partially associative of second kind. Hence in the case of totally associative ternary algebra of second kind we have

τ (τ (a, b, c), d, f) = τ (a, τ (d, c, b), f) = τ (a, b, τ (c, d, f)) (2.7)

A ternary multiplication τ of ternary algebra has three arguments τ (a, b, c), where a, b, c ∈ , and if we fix one of them, then τ induces the binary multiplication on A. It is obvious that this allows us to split the ternary multiplication τ into three binary ones. We can study the structure of ternary multiplication τ from this point of view by making use of known concepts and methods of the theory of binary algebras. Given an element a ∈ a ternary multiplication τ induces three binary multiplications τ ^{1}_{a} , τ^{2}_{a} , τ^{3}_{a} on A defined as follows:

τ ^{1}_{a} (b, c) = τ (a, b, c), τ^{2}_{a} (b, c) = τ (b, a, c), τ^{3}_{a} (b, c) = τ (b, c, a) (2.8)

where b, c ∈ The binary multiplications τ ^{1}_{a} , τ^{2}_{b} , τ^{3}_{c } are not independent because of the relations

τ ^{1}_{a}(b, c) = τ^{2}_{b} (a, c) = τ^{3}_{c} (a, b) (2.9)

A vector space equipped with the binary multiplication τ^{i}_{a}, i = 1, 2, 3 becomes the binary algebra which will be denoted by Considering an element a in as a parameter ranging within a vector space we have three families of binary algebras induced by a ternary multiplication τ . The family of binary algebras is said to be an associative family of binary algebras induced by a ternary algebra if for any a, b, c, d, f ∈ it holds that

τ^{i}_{a}(τ ^{i}_{b}(c, d), f) = τ ^{i}_{b}(c, τ ^{i}_{a} (d, f)) (2.10)

Taking a = b in the previous relation, we see that each associative family of binary algebras is the family of associative binary algebras.

It is useful to describe the above-mentioned families of binary algebras in terms of vector bundle. For this purpose, we will assume that is a topological vector space, and a ternary multiplication is a continuous mapping. Let us consider the direct product as the trivial vector bundle over the base space with the fiber and the projection defined as usual π(p) = a, where . Any fiber π−^{1}(a) of is isomorphic and where p = (a, b) ∈ π−1(a). Let a, b ∈ be two points of the base space of a vector bundle . Then

(2.11)

is the isomorphism between two fibers.

In order to apply the constructed vector bundle to describe the families of binary algebras induced by a ternary algebra within the framework of a single structure, we assume that the base space of this bundle is equipped with a ternary multiplication τ . For any point a ∈ of the base space, a fiber at this point is endowed with one of the binary multiplications τ ^{1}_{a} , τ^{2}_{b} , τ^{3}_{c} which we carry over from the family of binary algebras to fibers of by requiring to be an isomorphism of algebras, i.e.

(2.12)

where p, q ∈ π^{−1}(a). If each fiber of is endowed with a binary multiplication τ^{ i}, then in order to emphasize this algebraic structure of fibers we will denote the corresponding vector bundle by . Thus, where the base space (the first factor in the direct product) is a ternary algebra , and a fiber π^{−1}(a) is the binary algebra . We will call , where i = 1, 2, 3, the vector bundle of binary algebras over a ternary algebra . A section of the vector bundle is a continuous mapping satisfying, and the vector space of continuous sections will be denoted by .Evidently this vector space equipped with thebinary multiplication

(2.13)

where , is the binary algebra.

The notion of an associative family of binary algebras defined by (2.10) can be described in the terms of vector bundle . Let p, q ∈ be two points of a vector bundle and a ∈ .

A vector bundle of binary algebras is said to be an associative vector bundle of binary algebras over a ternary algebra if for any p, q ∈ and a ∈it holds that

(2.14)

Particularly (2.14) implies the associativity of a fiber π^{−1}(a) for any a ∈ if we take π(p) = π(q) in (2.14), i.e. any associative vector bundle of binary algebras is a vector bundle of associative binary algebras whereas the converse is generally not true. Now it is natural to pose a question concerning the associativity of induced binary algebras provided a ternary algebra is partially or totally associative of first or second kind.

**Proposition 2.1.** A ternary algebra is lr-partially associative ternary algebra if and only if is the associative vector bundle of binary algebras over a ternary algebra .

Particularly if a base space is lr-partially associative ternary algebra, then each fiber of the vector bundle is an associative binary algebra and the binary algebra of sections of this bundle is associative algebra.

Indeed the left-hand side of (2.14) can be transformed as follows:

Analogously for the right-hand side of (2.14) we have

and this proves the lr-partial associativity of a ternary algebra .

It is well known that any associative binary algebra is the Lie algebra with respect to the commutator defined with the help of a binary multiplication of this algebra, and the associativity of a binary multiplication implies the Jacobi identity for the commutator. It follows from Proposition 2.1 that if a ternary algebra is lr-partially associative ternary algebra, then each fiber π^{−1}(a), where a ∈,of the vector bundle is the Lie algebra with respect to the commutator [ , ]a defined by

(2.15)

where p, q ∈ π^{−1}(a). Clearly the associative binary algebra of sections is the Lie algebra under the commutator

(2.16)

A ternary algebra said to be a ternary algebra of Lie type of first kind (of second kind) if for any it holds that

(2.17)

where S_{3} is the symmetry group of third order andis its cyclic subgroup. Clearly any ternary algebra of Lie type of second kind is a ternary algebra of Lie type of first kind whereas the converse is generally not true. From (2.17) it follows that any element a of a ternary algebra of Lie type (of first or second order) satisfies a^{3} = τ (a, a, a) = 0. It is pointed out in the Introduction that we can construct a ternary analog of the notion of skew-symmetry by means of a faithful representation of by cubic roots of unity. Letbe the primitive cubic root of unity. A ternary multiplication τ of a ternary algebra is said to be j-skew-symmetric if

τ (a, b, c) = j τ(b, c, a) = j^{2} τ (c, a, b) (2.18)

where a, b, c ∈. If a ternary multiplication τ of is j-skew-symmetric, then is a ternary algebra of Lie type of second order. Indeed in this case we have

τ (a, b, c) + τ (b, c, a) + τ (c, a, b) = τ (a, b, c) + j^{2} τ (a, b, c) + j τ(a, b, c) = 0 (2.19)

We see that the notion of j-skew-symmetric ternary multiplication is based on the faithful representation of the cyclic group by cubic roots of unity. Given a ternary algebra , we can make it the ternary algebra of Lie type of second order by endowing it with the ternary j-brackets or the ternary j-commutator which is defined by

[a, b, c] = τ (a, b, c) + j τ(b, c, a) + j^{2} τ (c, a, b) (2.20)

If has an involutionthen τ will be called Hermitian if it satisfies τ (a, b, c) = τ *(c, b, a). Hence a Hermitian j-skew-symmetric ternary multiplication τ satisfies (2.18) and

τ (a, b, c) = τ *(c, b, a) = j^{2 }τ *(b, a, c) = j τ *(a, c, b) (2.21)

Let us suppose that (A, σ) is lr-partially nonassociative ternary algebra, i.e. in general we have σ(σ(a, b, c), d, f) ≠ σ(a, b, σ(c, d, f)), where a, b, c, d, f ∈ . A ternary algebrais said to be a ternary algebra of Jordan type if its ternary multiplication σ satisfies the following identities:

σ(a, b, c) = σ(c, b, a) (2.22)

σ(σ(a, b, c), b, σ(a, b, a)) = σ(a, b, σ(c, b, σ(a, b, a))) (2.23)

where a, b, c ∈.It is easy to see that if is a ternary algebra of Jordan type, then for any a ∈the binary algebrais the Jordan algebra. Indeed in this case the identities (2.22,2.23) take on the form

(2.24)

**Proposition 2.2.** If is lr-partially associative ternary algebra, then the ternary algebra , where σ(a, b, c) = τ (a, b, c) + τ (c, b, a), is the ternary algebra of Jordan type.

We see that having fixed one variable in a triple product τ (a, b, c) of a ternary algebra we can study the structure of a ternary multiplication τ by splitting it into three binary ones. What kind of structures induces a ternary multiplication of if one fixes two variables in τ (a, b, c)? Obviously fixing two variables we get the linear operator acting on , and this is the second way for studying the structure of a ternary multiplication. Let Lin() be the algebra of linear operators of the vector space .Given a pair (a, b) ∈× ,we define the linear operators

, where i = 1, 2, 3, as follows:

L^{1}(a, b) · c = τ (c, a, b), L^{2}(a, b) · c = τ (a, c, b), L^{3}(a, b) · c = τ (a, b, c) (2.25)

Actually these operators are not independent because for any a, b, c ∈ we have the relations

L^{1}(c, b) · a = L^{2}(a, b) · c = L^{3}(a, c) · b (2.26)

It is easy to see that for every i the linear operator Li(a, b) is bilinear with respect to its variables a, b, and therefore the family of linear operators determines the bilinear mapping.On the other hand, if there is a vector space equipped with a bilinear mapping, then one can construct the ternary algebra by letting τ (a, b, c) = L(a, b) · c.

Now we can introduce an analog of identity element for a ternary algebra by means of the bilinear mappings.Indeed given an element a ∈we define

by

(2.27)

where is the identity operator. A pairis said to be an identity i-pair for an element a if. Let and,then we willcall an element an identity i-pair, and similarly if, then we will call an element an identity pair of a ternary algebra .

Let us now assume that the vector space of a ternary algebra is a finite-dimensionalvector space, i.e. is an r-dimensional vector space and is a basis for . Then for any element a ∈we have a = a^{α}e_{α}, and the triple product of elements a, b, c ∈ can be expressed as follows:

where C^{δ}_{αβγ }are the structure constants of a ternary algebra defined by

(2.28)

If is another basis for a vector space and where isthe transition matrix, then

whereare the structure constants of a ternary algebra with respect to a basis , i.e. , and is the inverse matrix of A.

If we require a ternary algebra to be a partially or totally associative ternary algebra either of first or second kind, then this requirement leads to the relations the structure constants of have to satisfy. These relations for different kinds of associativity of first kind have the following form:

(lr-partial associativity of first kind)

(lc-partial associativity of first kind)

(cr-partial associativity of first kind)

It follows from the above relations that if is a totally associative ternary algebra of first kind, then the structure constants satisfy

In the case of ternary associativity of second kind, we have the following relations:

(lc-partial associativity of second kind)

(cr-partial associativity of second kind)

The structure constants of a totally associative ternary algebra of second kind satisfy

For any a ∈, a ternary algebra induces three binary algebras, with the binary multiplications defined by relations (2.8). The structure constants of binary algebra defined bycan be expressed in terms of the structure constants of a ternary algebra as follows:

(2.29)

where a = a^{γ }e_{γ}

In this section, we propose few different methods for constructing ternary algebras and apply these methods to construct a ternary algebra of vector fields on a smooth finite-dimensional manifold and a ternary algebra of rectangular matrices. Particularly the curvature of an affine connection determines the structure of a ternary algebra on the module of vector fields on a smooth manifold. Given two modules over the algebras with involutions, we construct a ternary algebra which is used to construct a Lie algebra. Our approach generalizes the approach proposed in [7,8], where the authors use the rectangular complex matrices.

Let be a vector space over the complex numbers and let be the dual space. Given a -multilinear mapping we construct the ternary algebra by defining the ternary multiplication τ as follows:

θ(τ (a, b, c)) = T(a, b, c, θ) (3.1)

where a, b, c ∈, θ ∈. Particularly given a C-bilinear mappingwhere Lin() is the algebra of linear operators of a vector space ,we define

T(a, b, c, θ) = θ(L(a, b) · c) (3.2)

and applying (3.1) we get the ternary algebra whose ternary multiplication τ can be described implicitly by the formula

τ (a, b, c) = L(a, b) · c, a, b, c ∈ (3.3)

Applying this construction to a module over an associative unital algebra, we can construct a ternary algebra by means of (3.1) or (3.3). Indeed is a left A-module, where A is a binary unital associative complex algebra, is the dual module and isan A-multilinear mapping, then is the ternary algebra with the ternary multiplication defined by (3.1). Similarly given an A-module and a A-bilinear mapping , where Lin() is the algebra of A-linear operators of a module ,then is the ternary algebra with the ternary multiplication τ defined by (3.3).

We can use (3.1) and (3.3) to construct the ternary algebras by means of well-known structures of differential geometry on a smooth manifold. Let π : E → M be a vector bundle over a smooth finite-dimensional manifold M, let C∞(M) be the algebra of smooth functions on a smooth manifold M, and let Γ(E) be the module of smooth sections of E. Given a C∞(M)-multilinear mapping where E* is the dual bundle, we obtain the ternary algebra of smooth sections of a vector bundle E with the ternary multiplication, where are sections of E, and. Particularly if M is a smooth manifold, E = TM is the tangent bundle, E* = T*M is the cotangent bundle, is the module of vector fields,is the module of 1-forms, ∇ is an affine connection on M, and (3.4)

is the curvature of ∇, then we have the C∞(M)-multilinear mapping

(3.5)

induced by the curvature

T(X, Y,Z, ω) = ω (R(X, Y ) · Z) (3.6)

and this mapping induces the structure of the ternary algebra (D(M), τ) on the module of vector fields with the ternary multiplication

τ (X, Y, Z) = R(X, Y ) · Z (3.7)

Let A, B be (binary) unital associative algebras over with involutions, respectively, a → a* and b → b*, where a ∈ A, b ∈ B. Let M be a A−B-bimodule. We suppose that is an Abeliangroup which is isomorphic to the Abelian group M, where is the corresponding isomorphism. Thencan be endowed with the structure of B −A-bimodule if we define the right and left multiplications by elements of algebras A, B as follows:

(3.8)

Let be the tensor products of modules where the first tensor product has the structure of A-bimodule, and the second has the structure of B-bimodule. It is clear that the algebras A, B can be viewed, respectively, as A-bimodule and B-bimodule. We also assume that there are two homomorphisms , respectively, of A-bimodules and B-bimodules which satisfy

(3.9)

where m, n, p∈M. EvidentlyMhas the structure of vector space over C. We define the ternary law of composition τ on M by the formula

(3.10)

**Proposition 3.1.** (M, τ) is lr-partially associative ternary algebra.

Indeed for any quintuple of elements m, n, p, q, r of M we have

(3.11)

On the other hand,

(3.12)and this ends the proof. From this proposition and Proposition 2.1, it follows that for any n∈M the binary algebra (M, τ_{n,2}), where , is an associative algebra.

Let us define the ternary multiplication σ on M bywhere m, n, p∈M.

**Proposition 3.2.** The ternary algebra (M, σ) is the ternary algebra of Jordan type, and the ternary multiplication σ of this algebra satisfies the identity

σ(m, n, σ(p, q, r)) − σ(p, q, σ(m, n, r)) + σ(σ(p, q,m), n, r) − σ(m, σ(q, p, n), r) = 0 (3.13)

where m, n, p, q, r ∈M.

We use the ternary algebra (M, σ) to construct a Lie algebra which will be constructed by means of defining commutation relations. We denote the set of generators of this Lie algebra by ,where m, n, p, q ∈M, i.e. we assign to each element m∈M the generator Um, to each element the generator , and to each pair (p, q) ∈ M × M the generator be the linear spans induced by the corresponding generators and. We define

(3.14)

(3.15)

**Proposition 3.3.** The vector space L endowed with the brackets defined by (3.14), (3.15) is the Lie algebra, and the identity (3.13) leads to the Jacobi identity for the brackets (3.14), (3.15).

We can construct a matrix representation for the Lie algebra L if we consider the set Mat_{2}(A, B,M) of all 2 × 2 square matrices of the type

(3.16)

Given two such matrices

(3.17)

we define their product as follows:

(3.18)

**Proposition 3.4.** The vector space of matrices Mat_{2}(A, B,M) endowed with the multiplication (3.18) is a unital associative (binary) algebra with the unity element

(3.19)

where e is the unity element of A and is the unity element of B.

Now we construct the matrix representation for the Lie algebra L as follows:

(3.20)

and the matrix representation of Spq can be found by explicit calculation.

Having constructed the Lie algebra L and its matrix representation, we can go further and construct a gauge field theory based on ternary algebra (M, σ). For this purpose, we take a vector bundle E over a smooth finite-dimensional manifold M with the fiber (M, σ). A section of this bundle is a gauge field of our theory which may be called ternon. Now in each fiber we construct the Lie algebra L and this leads us to the vector bundle of Lie algebras. Next we construct the Lie group corresponding to L by means of exponential mapping and Campbell-Hausdorf series. We get the principal fiber bundle and then we proceed in constructing the gauge field theory as usual.

In this section, we consider a vector space of cubic matrices, where by cubic matrix we mean a quantity A = (A_{ijk}) with three subscripts i, j, k each running some set of integers. We use this vector space to construct a ternary algebra by means of triple product of cubic matrices. A triple product or ternary multiplication of cubic matrices is constructed in analogy with the classical product of two rectangular matrices by means of summation which is taken over certain system of subscripts of three cubic matrices. Our aim in this section is to find all totally associative ternary multiplications of first or second kind, and we prove that there are four ternary multiplications of cubic matrices each yielding the associative ternary algebra of second kind.

Let , whereandare integers satisfying. We will call A a complex KMN-space matrix provided that its entries are arranged in the vertices of a 3-dimensional lattice and this structure is shown in particular case of a cubic matrix on the figure below. Let us denote the set of all such matrices by i.e.

The set of KMN-space matrices is the vector space if we define the addition of space matrices and multiplication by complex numbers as usual

(4.1)

Our main concern in this paper is a special case of space matrices when K = M = N. In this case, we will call A = (A_{ijk}), where i, j, k = 1, 2, . . . , N, a complex N-cubic matrix and denote the vector space of such matrices by . Particularly, if is a cubic matrix of third order, then we will place its entries into the vertices of 3-dimensional lattice as follows:

The above 3-dimensional lattice clearly shows that if one fixes a value of subscript k in A_{ijk} with i, j ranging from 1 to 3, then the corresponding entries of cubic matrix A form the square matrix of order 3. Hence we get three square matrices of order 3 which all together give us a cubic matrix of third order A. Therefore any cubic matrix A of third order can be represented as the set of square matrices of order 3 as follows:

Now our aim is to construct a multiplication of space matrices. We will do this for cubic matrices of order N because constructed multiplication can be extended to a vector space of KMN-space matrices in an obvious way. If is a cubic matrix of order N, then it induces two mappings as follows:

where Lin() is the vector space of linear operators acting on . These mappings determined by a cubic matrix of order N show that if we wish to construct a multiplication of cubic matrices of order N which is based on composition of linear mappings as in the calculus of rectangular matrices, then we should take three cubic matrices in order to close a corresponding multiplication in the sense that the product of three cubic matrices of order N will be the cubic matrix of order N. Given two cubic matrices we can form two products of corresponding mappings and which are not close with respect to composition because the first product is the linear mapping , and the second is the linear mapping It is obvious than we can close a procedure of taking compositions of this sort of mappings by adding one more cubic matrix . In this case, the triple productcloses the operation of taking compositions giving the mapping → Lin(). This kind of reasoning suggests a possible way of constructing the cubic matrix of order N from three given ones by means of summation which is taken over the certain pair of subscripts.

Given three cubic matrices of order N we have nine subscripts, and because the number of possible combinations of subscripts is finite we can use the methods of computer algebra to find all associative ternary multiplications either of first or second kind. Our analysis shows that there is no total associative ternary multiplication of first kind, and all total associative ternary multiplications of second kind are described by the following theorem.

**Theorem 4.1.** There are only four different triple products of complex cubic matrices of order N which obey the total ternary associativity of second kind. These are

Now our aim is to construct a ternary analog of Lie algebra with the help of ternary multiplication of cubic matrices and ternary analog of Lie bracket. A notion of ternary analog of Lie bracket is based on a faithful representation of cyclic groupby cubic roots of unity. We construct a ternary analog of Lie algebra which may be considered as an analog of the Lie algebra generated by Pauli matrices. In our construction, we use the cubic matrices of second order with certain symmetries with respect to the subscripts as generators of our algebra and find all commutation relations. In this section, we use the ternary multiplication of cubic matrices which has the property that any cyclic permutation of the matrices in the product is equivalent to the same permutation on the subscripts and this multiplication is studied in [3,11,12,13,15].

Let A, B, C be cubic matrices of order N. We define the triple productby the following formula:

(5.1)

It is easy to see that any cyclic permutation of the matrices in the product is equivalent to the same permutation on the subscripts, i.e.. It should be mentioned that the ternary multiplication (5.1) is neither partially nor totally associative.

The ternary algebra of cubic matrices of order N with respect to the multiplication (5.1) can be decomposed into direct sum of subspaces of cubic matrices with certain symmetries according to the irreducible representation of the symmetry group S_{3}. It should be mentioned that we have the similar decomposition in the case of square matrices of order N, where the algebra of square matrices can be decomposed into the direct sum of subspaces of symmetric and skew-symmetric matrices according to representation of the permutation group S_{2}. The symmetry group S_{3} possesses a full and faithful representation on the complex plane, which can be generated by two elements representing a cyclic and an odd permutation. This representation can be constructed by assigning the operator of multiplication by the cubic root of unity to the cyclic permutation and by assigning the operator of complex conjugation to the odd permutation. In order to construct the subspace of cubic matrices with certain symmetries, we use the cyclic part of this representation where the cyclic groupis represented by cubic roots of unity.

A cubic matrix ρ = (ρ_{ikl}) of order N is said to be a j-skew-symmetric if it satisfies

Similarly a cubic matrix of order N is said to be a j^{2}-skew-symmetric if it satisfies

It can be shown that the space of cubic matrices of order N can be decomposed into the direct sum of the subspace of j-skew-symmetric matrices, the subspace of j^{2}-skew-symmetric matrices, and the subspace of symmetric matrices, where under symmetric matrix we mean a cubic matrix ω = (ωikl) of order N which satisfies ωijk = ωjki = ωkji.

Each of subspaces of j-skew-symmetric matrices and of j^{2}-skew-symmetric matrices has the dimension . The subspace of symmetric matrices can be decomposed into the direct sum of the subspace of diagonal cubic matrices (all entries excepting diagonal ones are equal to zero) and the subspace of symmetric matrices with zeros on diagonal. Obviously the dimension of the subspace of diagonal cubic matrices is equal to N and the subspace of symmetric matrices with zeros on diagonal is equal to . Let {ρ^{α}} be a basis for the subspace of j-skew-symmetric matrices, let be a basis for the subspace of j^{2}-skew-symmetric matrices, and let {ω^{α}} be a basis for the subspace of symmetric matrices with zeros on diagonal, where α = 1, 2, . . . ,. A basis for the subspace of diagonal cubic matrices will be denoted by {ηα}, where α = 1, 2, . . . , N. Thus we have

Now our aim is to construct a ternary analog of Lie algebra by means of the ternary j-commutator which we define as follows:

(5.2)

where the ternary multiplication is defined by (5.1). It is easy to see that the ternary j-commutator (5.2) may be viewed as an analog of the binary Lie commutator [X, Y ] = XY − YX, where X, Y are the elements of an associative binary algebra, because we replace the symmetric group and its representation {1,−1}, respectively, by the cyclic group and its representation {1, j, j^{2}}. Indeed in the case of the binary Lie commutator we have the property [X, Y] = −[Y,X]. For the ternary j-commutator, we have the similar property [A,B,C] = j[B,C,A] = j^{2}[C,A,B]. In analogy with the binary Lie commutator for any , we have [A, A,A] = 0.

Let us consider the space of cubic matrices of order 2, i.e. each subscript runs from 1 to 2. In this case, all subspaces mentioned above are 2-dimensional, which means that basis for each subspace consists of two matrices, i.e. α = 1, 2. We construct the basis for the subspace of diagonal cubic matrices {η^{1}, η^{2}} by choosing . We choose the basis for the subspace of symmetric cubic matrices with zeros on diagonal by fixing with other entries equal to zero. We get the basis for the subspace of j-skew-symmetric cubic matrices by taking , j^{2}-skew-symmetric cubic matrices if we put with other entries equal to zero. The space of cubic matrices of order 2 equipped with the ternary j-commutator can be considered as a ternary analog of matrix Lie algebra and all commutation relations of this algebra in the basis are given in the following table:

We would like to point out that the above table of commutation relations demonstrates a peculiar property of the algebra of cubic matrices of second order in the basis : the j-commutator of any three generators is proportional to one of the generators . Moreover taking j^{2}-commutator

(5.3)

which can be considered as a conjugate commutator to j-commutator (5.2), we get the similar table of commutation relations (we do not demonstrate it here in order not to overburden the paper) which clearly shows that the j^{2}-commutator of any three generators is proportional to one of the generators ρ^{1}, ρ^{2}. Finally considering a ternary analog of anticommutator defined by

(5.4)

and applying it to the cubic matrices of second order, we obtain the table of commutation relations for the generators which can be shortly described as follows: the ternary anticommutator of any three generators is a linear combination of the generators η^{1}, η^{2}, ω^{1}, ω^{2}.

We conclude this section by pointing out an analogy between the generators of our ternary algebra of cubic matrices of second order and the Pauli matrices

Indeed applying the ternary j-commutator to Pauli matrices we get

In the table of commutation relations of cubic matrices of order 2, we have

which clearly demonstrates a striking analogy between the j^{2}-skew-symmetric generators of ternary algebra of cubic matrices of order 2 and the skew-Hermitian matrices iσ_{1}, iσ_{2} , iσ_{3}, where σ_{1}, σ_{2}, σ_{3} are Pauli matrices.

V. Abramov, O. Liivapuu, and S. Shitov gratefully acknowledge the financial support of their research by the Estonian Science Foundation under the research grant ETF 7427. V. Abramov, R. Kerner, and O. Liivapuu would like to thank the French-Estonian Scientific Program “G. F. Parrot” for financial support under the travel grant P-2/2007.

- Abramov V (1995) Z3-graded analogues of Clifford algebras and algebra of Z3-graded symmetries. Algebras Groups Geom 12: 201–221.
- Abramov V (1996) Ternary generalizations of Grassmann algebra. Proc. Estonian Acad. Sci. Phys. Math 45:152–160.
- Abramov V, Kerner R, Le Roy B (1997) Hypersymmetry: A Z3-graded generalization of supersymmetry. J. Math. Phys. 38: 1650-1669.
- Ataguema H (2008) Classification et d´eformations des alg`ebres ternaires. Ph.D. thesis. Universit´e de HautenAlsace.
- Ataguema H, Makhlouf A. Notes on cohomologies of ternary algebras of associative type.
- Ataguema H, Makhlouf A, Silvestrov S. Generalization of n-ary Nambu algebras and beyond.
- Bars I, ¨unaydin MG (1979) Construction of Lie algebras and Lie superalgebras from ternary algebras. J. Math. Phys 20:1977-1993.
- Bars I, ¨unaydin MG (1980) Dynamical theory of subconstituents based on ternary algebras. Phys. Rev D22:1403-1413.
- Carlsson R (1976) Cohomology of associative triple systems. Proc. American Math Soc 60: 1-7.
- Kantor IL (1973) Models of exceptional Lie algebras. Sov. Math Dokl 14: 254-258.
- Kerner R (1991) Graduation Z3 et la racine cubique de l’´equation de Dirac. Comptes Rendus Acad Sci. 312:191-196.
- Kerner R (1992) Z3-graded algebras and the cubic root of supersymmetry translations. J. Math. Phys 33:403-411.
- Kerner R (1997) The cubic chessboard. Class. Quantum Grav 14: A203-A225.
- Le Roy B (1996) A Z3-graded generalization of supermatrices. J. Math. Phys 37: 474-483.
- Vainerman L, Kerner R (1996) On special classes of n-algebras. J. Math. Phys 37: 2553-2565.

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

- 7th International Conference on Biostatistics and Bioinformatics

September 26-27, 2018 Chicago, USA - Conference on Biostatistics and Informatics

December 05-06-2018 Dubai, UAE - Mathematics Congress - From Applied to Derivatives

December 5-6, 2018 Dubai, UAE

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

May-2009 - Jan 17, 2018] - Breakdown by view type
- HTML page views :
**8053** - PDF downloads :
**3787**

Peer Reviewed Journals

International Conferences
2018-19