Hindawi Publishing Corporation ISRN Algebra Volume 2014, Article ID 738154, 5 pages http://dx.doi.org/10.1155/2014/738154
Research Article Introduction to ππ-Triple Systems Guy Roger Biyogmam Department of Mathematics, Southwestern Oklahoma State University, 100 Campus Drive, Weatherford, OK 73096, USA Correspondence should be addressed to Guy Roger Biyogmam;
[email protected] Received 10 January 2014; Accepted 3 February 2014; Published 13 March 2014 Academic Editors: D. Herbera and H. Li Copyright Β© 2014 Guy Roger Biyogmam. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. This paper introduces the category of ππ-triple systems and studies some of their algebraic properties. Also provided is a functor from this category to the category of Leibniz algebras.
1. Introduction A Triple system is a vector space g over a field K together with a K-trilinear map π : gβ3 β g. Among the many examples known in the literature, one may mention 3-Lie algebras [1] and Lie triple systems [2] which are the generalizations of Lie algebras to ternary algebras, Jordan triple systems [2] which are the generalizations of Jordan algebras, and Leibniz 3-algebras [3] and Leibniz triple systems [4] which are generalizations of Leibniz algebras [5]. In this paper we enrich the family of triple systems by introducing the concept of ππtriple systems, presented as another generalization of Leibniz algebras with the particularity that, for all π, π β g, the map π : g β g, defined by ππ,π (π₯) = π(π, π₯, π), is a derivation of g, a property of great importance in Nambu Mechanics. We investigate some of their algebraic properties and provide a functorial connection with Leibniz algebras and Lie algebras. For the remaining of this paper, we assume that K is a field of characteristic different to 2 and all tensor products are taken over K. Definition 1. A ππ-triple system is a K-vector space g equipped with a trilinear operation [β, β, β]g : gβ3 σ³¨β g satisfying the identity
(1)
[π₯, π¦, [π, π, π]g ]g = [π, [π₯, π¦, π]g , π] β [[π, π₯, π]g , π¦, π]g g
β [π₯, [π, π¦, π]g , π] . g
(2)
Example 2. Let g be an π-dimensional vector space with basis {π1 , π2 , . . . , ππ }. Define on gβ3 the bracket [β, β, β] by if π = π, π = π, π =ΜΈ π, π π , { { π [ππ , ππ , ππ ]g = {βππ , if π = π, π = π, π =ΜΈ π, π { else {0,
(3)
for fixed π =ΜΈ π β {1, 2, . . . , π}. It is easy to check that the identity (2) is satisfied. So g is a ππ-triple system when endowed with the operation [β, β, β]g . Because of the resemblance between the identity (2) and the generalized Leibniz identity [3], it is worth mentioning that, in general, Leibniz 3-algebras do not coincide with ππtriple systems. The following example provides a Leibniz 3algebra that is not a ππ-triple system. Example 3. The two-dimensional complex Leibniz 3-algebra Ε (see [6, Theorem 2.14]) with basis {π1 , π2 }, dim([Ε, Ε, Ε]Ε ) = 1, and brackets π, { { 1 [ππ , ππ , ππ ]g = {πΌπ1 , { {0,
if π = 1, π, π = 2 if π, π, π = 2 else,
(4)
with πΌ =ΜΈ 0, is not a ππ-triple system. It is easy to check that its bracket does not satisfy the identity (2).
2
ISRN Algebra
Definition 4. Let g, gσΈ be ππ-triple systems. A function πΌ : g β gσΈ is said to be a homomorphism of ππ-triple systems if πΌ ([π₯, π¦, π§]g ) = [πΌ (π₯) , πΌ (π¦) , πΌ (π§)]gσΈ
βπ₯, π¦, π§ β g.
(5)
We may thus form the category ππ-TS of ππ-triple systems and ππ-triple system homomorphisms.
Lemma 10. For a ππ-triple system g, π(g) and [g, g, g] are ideals of g. Proof. Clearly, [g, π(g), g]g = 0. So π(g) is an ideal of g. That [g, g, g]g is an ideal follows from the fact that g is closed under the operation [β, β, β]g .
Recall that if g is a vector space endowed with a trilinear operation π : g Γ g Γ g β g, then a map π· : g β g is called a derivation with respect to π if
The following theorem classifies a subfamily of twodimensional complex ππ-triple systems. This result was obtained by Camacho et al. in [6] for Leibniz 3-algebras.
π· (π (π, π, π)) = π (π· (π) , π, π) + π (π, π· (π) , π)
Theorem 11. Up to isomorphism, there are seven twodimensional complex ππ-triple systems with one-dimensional derived algebra.
(6)
+ π (π, π, π· (π)) .
Lemma 5. Let g be a ππ-triple system and π, β β g. Then the map π·πβ defined on g by π·πβ (π₯) = [π, π₯, β]g
(7)
is a derivation with respect to the bracket [β, β, β]g of g.
Proof. The proof is similar to [6, Theorem 2.14]. Let g be a ππ-triple system with basis {π1 , π2 }, and assume that dim([g, g, g)]g ) = 1. Then write [ππ , ππ , ππ ]g = πΌπππ π1 , π, π, π = 1, 2. Then, using the identity (2), the only possible nonzero coefficients yield to the system of equations
Proof. By setting π = [β, β, β]g and using the identity (2), we have π (π₯, π¦, π·πβ (π)) = [π₯, π¦, [π, π, β]g ]
πΌ221 (πΌ122 + πΌ212 + πΌ221 ) = 0, πΌ122 (πΌ122 + πΌ212 + πΌ221 ) = 0,
g
= [π, [π₯, π¦, π]g , β] β [[π, π₯, β]g , π¦, π] g
β [π₯, [π, π¦, β]g , π]
πΌ222 (πΌ122 + πΌ221 ) = 0, g
g
for which the solution provides the following ππ-triple systems with bracket operations: πΌπ , g1 : [ππ , ππ , ππ ]g = { 1 0,
= π·πβ (π (π₯, π¦, π)) β π (π·πβ (π₯) , π¦, π) β π (π₯, π·πβ (π¦) , π) . (8)
Definition 6. A subspace πΌ of a ππ-triple system g is a subalgebra of g if πΌ is a ππ-triple system when endowed with the trilinear operation of g. Definition 7. A subalgebra πΌ of a ππ-triple system g is called ideal (resp., left ideal, resp., right ideal) of g if it satisfies the condition [g, πΌ, g]g β πΌ (resp., [g, g, πΌ]g β πΌ, resp., [πΌ, g, g]g β πΌ). If πΌ satisfies the three conditions, then πΌ is called a 3-sided ideal. Note that none of these three conditions implies the others as in the case of Lie triple systems. Example 8. In Example 2, the subspace I1 with basis {ππ , ππ } is an ideal of g. However the subspace I2 with basis {ππ } is not an ideal of g, since, for π =ΜΈ π, π, we have [ππ , ππ , ππ ] = ππ β I2 . Definition 9. Given a ππ-triple system g, one defines the center of g and the derived algebra of g, respectively, by π (g) = {π₯ β g : [g, π₯, g]g = 0} , [g, g, g] = {[π1 , π2 , π3 ]g , π1 , π2 , π3 β g} .
(10)
(9)
if π, π = 2, π = 1 else,
πΌπ , if π, π, π = 2 g2 : [ππ , ππ , ππ ]g = { 1 0, else, π, { { 1 g3 : [ππ , ππ , ππ ]g = {βπ1 , { {0,
if π = 1, π, π = 2 if π, π = 2, π = 1 else,
π, { { 1 g4 : [ππ , ππ , ππ ]g = {βπ1 , { {0,
if π, π = 2, π = 1 if π, π = 2, π = 1 else,
if π, π = 2, π = 1 π, { { 1 g5 : [ππ , ππ , ππ ]g = {πΌπ1 , if π, π, π = 2 { else, {0, π, { { 1 g6 : [ππ , ππ , ππ ]g = {βπ1 , { {πΌπ1 ,
if π = 1, π, π = 2 if π, π = 2, π = 1 if π, π, π = 2,
β (1 + πΌ) π1 , if π = 1, π, π = 2 { { g7 : [ππ , ππ , ππ ]g = {π1 , if π, π = 2, π = 1 { if π, π = 2, π = 1, {πΌπ1 , with πΌ =ΜΈ 0.
(11)
ISRN Algebra
3
Definition 12. Given a ππ-triple system g, one defines the left center and the right center of g, respectively, by
Lemma 17. Let π be a subalgebra of a ππ-triple system g. Then Nπg (π) and Nπg (π) are also subalgebras of g.
ππΏ (g) = {π₯ β g : [π₯, g, g]g = 0} ,
Proof. To show that Nπg (π) is a subalgebra of g, let π₯, π¦, π§ β Nπg (π), π’ β π, and π β g. Then, by the identity (2), we have
(12)
ππ
(g) = {π₯ β g : [g, g, π₯]g = 0} .
Lemma 13. The left center ππΏ (g) and the right center ππ
(g) are 3-sided ideals of g. σΈ
Proof. To show that ππΏ (g) is an ideal of g, let π, π β g and let π₯ β ππΏ (g). Then, for every π’, V β g, we have, by the identity (2), [[π, π₯, πσΈ ]g , π’, V] = [π, [π₯, π’, V]g , πσΈ ] β [π₯, [π, π’, πσΈ ] , V]g βββββββββββββββ βββββββββββββββββββββββββββββββ g 0 [ ]g 0 β [π₯, π’, [π, V, πσΈ ]g ] = 0. βββββββββββββββββββββββββββββββββg 0
(13) So [g, ππΏ (g), g]g β ππΏ (g). The proof that ππΏ (g) is both left ideal and right ideal is similar, so is the case for ππ
(g). Definition 14. Given a ππ-triple system g, we define left and right centralizers of a subalgebra π in g by πΆgπ (π) = {π₯ β g : [π₯, π, g]g = 0} ,
(14)
πΆgπ (π) = {π₯ β g : [g, π, π₯]g = 0} ,
(15)
Lemma 15. Let π be an ideal of a ππ-triple system g. Then πΆgπ (π) and πΆgπ (π) are also ideals of g. Proof. To show that πΆgπ (π) is an ideal of g, let π₯ β πΆgπ (π), π’ β π, and π, π, π β g. Then, by the identity (2), [π, π’, π₯], π] β [[π, π, π]g , π’, π₯] [π, π’, [π, π₯, π]g ]g = [π, βββββββββββββ βββββββββββββββββββββββββββββββg 0
0
(16)
Definition 16. For a ππ-triple system g and a subalgebra π of g, we define the left normalizer of π in g by (17)
and the right normalizer of π in g by Nπg (π) := {π₯ β g : [g, π, π₯] β π} .
So [Nπg (π), Nπg (π), Nπg (π)]g β Nπg (π). The proof for Nπg (π) is similar. Remark 18. If π is an ideal, then Nπg (π) = g = Nπg (π).
2. From ππ-Triple Systems to Leibniz Algebras Recall that a Leibniz algebra (sometimes called Loday algebra, named after Jean-Louis Loday) is a K vector space with a bilinear product [β, β] satisfying the Leibniz identity (20)
Proposition 19. Let g be a ππ-triple system. Define on gβ2 the bracket operation [β, β] by [π1 β π2 , π1 β π2 ] = [π1 , π1 , π2 ]g β π2 + π1 β [π1 , π2 , π2 ]g . (21) Then [β, β] satisfies the Leibniz identity.
[π1 β π2 , [π1 β π2 , π1 β π2 ]] = [π1 β π2 , [π1 , π1 , π2 ]g β π2 ] + [π1 β π2 , π1 β [π1 , π2 , π2 ]g ]
So [g, πΆgπ (π), g]g β πΆgπ (π). The proof for πΆgπ (π) is similar.
(π) := {π₯ β g : [π₯, π, g] β π} ,
(19)
Proof. On one hand, we have
π’, π]g , π₯] = 0. β [π, [π, βββββββββββββββ βπ [ ]g βββββββββββββββββββββββββββββββββ
Nπg
β [π, [π₯, π’, π§]g , π¦] β π. βββββββββββββββ βπ [ ]g
[π₯, [π¦, π§]] = [[π₯, π¦] π§] + [π¦, [π₯, π§]] .
respectively.
0
[π, π’, [π₯, π¦, π§]g ] = [π₯, βββββββββββββββ [π, π’, π¦]g , π§] β [[π₯, π, π§]g , π’, π¦] g g βπ [ ]g
= [π1 , [π1 , π1 , π2 ]g , π2 ] β π2 g
+ [π1 , π1 , π2 ]g β [π1 , π2 , π2 ]g + [π1 , π1 , π2 ]g β [π1 , π2 , π2 ]g + π1 β [π1 , [π1 , π2 , π2 ]g , π2 ] . g
(18)
(22)
4
ISRN Algebra Definition 22. Let g be a ππ-triple system and Ε a Leibniz algebra. The action of Ε on g is a map π΄ : gβΕ β g satisfying
Also, [[π1 β π2 , π1 β π2 ] , π1 β π2 ] = [[π1 , π1 , π2 ]g β π2 , π1 β π2 ] + [π1 β [π1 , π2 , π2 ]g , π1 β π2 ]
(1) π΄ ([π1 , π2 , π3 ]g β π₯) = [π΄ (π1 β π₯) , π2 , π3 ]g + [π1 , π΄ (π2 β π₯) , π3 ]g
= [[π1 , π1 , π2 ]g , π1 , π2 ] β π2 g
(27)
+ [π1 , π2 , π΄ (π3 β π₯)]g ,
+ π1 β [[π1 , π1 , π2 ]g , π2 , π2 ]
g
+ [π1 , π1 , [π1 , π2 , π2 ]g ] β π2
(2) π΄ (π β [π₯, π¦]) = π΄ (π΄ (π β π¦) β π₯) β π΄ (π΄ (π β π₯) β π¦) (28)
g
+ π1 β [π1 , π2 , [π1 , π2 , π2 ]g ] . g
(23) On the other hand,
for all π1 , π2 , π3 β g and π₯, π¦ β Ε. Proposition 23. Let g be a ππ-triple system; then the Leibniz algebra gβ2 acts on g via the map π΄ : g β gβ2 β g defined by π΄(π§ β π1 β π2 ) = [π1 , π§, π2 ]g . Proof. The first condition of Definition 22 follows by (2). To show (28), we have
[π1 β π2 , [π1 β π2 , π1 β π2 ]] = [π1 β π2 , [π1 , π1 , π2 ]g β π2 ] + [π1 β π2 , π1 β [π1 , π2 , π2 ]g ] = [π1 , [π1 , π1 , π2 ]g , π2 ] β π2
π΄ (π΄ (π§ β π1 β π2 ) β π1 β π2 ) β π΄ (π΄ (π§ β π1 β π2 ) β π1 β π2 ) = [π1 , [π1 , π§, π2 ]g , π2 ] β [π1 , [π1 , π§, π2 ]g , π2 ]
g
g
+ [π1 , π1 , π2 ]g β [π1 , π2 , π2 ]g + [π1 , π1 , π2 ]g β [π1 , π2 , π2 ]g + π1 β [π1 , [π1 , π2 , π2 ]g , π2 ] . g
(24) One checks using the identity (2) that the equality
g
= [[π1 , π1 , π2 ]g , π§, π2 ] + [π1 , π§, [π1 , π2 , π2 ]]g g
by (2)
= π΄ (π§ β [π1 , π1 , π2 ]g β π2 ) + π΄ (π§ β π1 β [π1 , π2 , π2 ]g ) = π΄ (π§ β ([π1 , π1 , π2 ]g β π2 + π1 β [π1 , π2 , π2 ]g )) = π΄ (π§ β [π1 β π2 , π1 β π2 ])
by (21) . (29)
[π1 β π2 , [π1 β π2 , π1 β π2 ]] = [[π1 β π2 , π1 β π2 ] , π1 β π2 ] + [π1 β π2 , [π1 β π2 , π1 β π2 ]] (25) holds.
Now let π1 , π2 β g and consider the map π΄ π1 βπ2 : g β g defined by π΄ π1 βπ2 (π§) = [π1 , π§, π2 ]g , π§ β g. Clearly, this map is a derivation of g as it is induced by the action (Proposition 23) defined above.
Corollary 20. Let g be a ππ-triple system; then gβ2 endowed with the bilinear map [β, β] has a Leibniz algebra structure.
Proposition 24. For a ππ-triple system g, the subspace A(g) = {π΄ π1 βπ2 | π1 , π2 β g} is a Lie algebra with respect to the product
Proof. This is a consequence of Proposition 19. Similarly, we have the following. Corollary 21. Let g be a ππ-triple system; then gβ§2 has a Leibniz algebra structure, when endowed with the bilinear map defined by [π1 β§ π2 , π1 β§ π2 ] = [π1 , π1 , π2 ]g β§ π2 + π1 β§ [π1 , π2 , π2 ]g . (26) These determine two functors from the category ππ-TS of ππ-triple systems to the category Lb of Leibniz algebras.
[π΄ π1 βπ2 , π΄ π1 βπ2 ] = π΄ π1 βπ2 β π΄ π1 βπ2 β π΄ π1 βπ2 β π΄ π1 βπ2 .
(30)
More precisely, it is an ideal of the Lie algebra Der(g) of derivations of g. Proof. To show that A(g) is a Lie subalgebra of Der(g), let π1 , π2 , π1 , π2 β g. Then, for all π§ β g, [π΄ π1 βπ2 , π΄ π1 βπ2 ]Der(g) (π§) = π΄ π1 βπ2 β π΄ π1 βπ2 (π§) β π΄ π1 βπ2 β π΄ π1 βπ2 (π§) = [π1 , [π1 , π§, π2 ]g , π2 ] β [π1 , [π1 , π§, π2 ]g , π2 ] g
g
ISRN Algebra
5
= π΄ (π΄ (π§ β π1 β π2 ) β π1 β π2 ) β π΄ (π΄ (π§ β π1 β π2 ) β π1 β π2 ) = π΄ (π§ β [π1 β π2 , π1 β π2 ])
by Proposition 23
= π΄ [π1 βπ2 ,π1 βπ2 ] (π§) . (31) So A(g) is closed under the bracket of Der(g). Also, for any derivation β Der(g), we have, for all π§ β g, [π, π΄ π1 βπ2 ]Der(g) (π§) = (π β π΄ π1 βπ2 ) (π§) β (π΄ π1 βπ2 β π) (π§) = π (π΄ π1 βπ2 (π§)) β π΄ π1 βπ2 (π (π§)) = π ([π1 , π§, π2 ]g ) β [π1 , π (π§) , π2 ]g = [π (π1 ) , π§, π2 ]g + [π1 , π§, π (π2 )]g
by (6)
= π΄ π(π1 )βπ2 (π§) + π΄ π1 βπ(π2 ) (π§) .
(32)
Hence [π, π΄ π1 βπ2 ]Der(g) = π΄ π(π1 )βπ2 + π΄ π1 βπ(π2 ) β A(g).
Conflict of Interests The author declares that there is no conflict of interests regarding the publication of this paper.
References [1] V. T. Filippov, βπ-Lie algebras,β SibirskiΛΔ± MatematicheskiΛΔ± Zhurnal, vol. 26, no. 6, pp. 126β140, 1985. [2] N. Jacobson, βLie and Jordan triple systems,β American Journal of Mathematics, vol. 71, pp. 149β170, 1949. [3] J. M. Casas, J.-L. Loday, and T. Pirashvili, βLeibniz π-algebras,β Forum Mathematicum, vol. 14, no. 2, pp. 189β207, 2002. [4] M. R. Bremner and J. SΒ΄anchez-Ortega, βLeibniz triple systems,β Communications in Contemporary Mathematics, vol. 14, pp. 189β207, 2013. [5] J.-L. Loday, βUne version non commutative des alg`ebres de Lie: les alg`ebres de Leibniz,β LβEnseignement MathΒ΄ematique, vol. 39, no. 3-4, pp. 269β293, 1993. [6] L. M. Camacho, J. M. Casas, J. R. GΒ΄omez, M. Ladra, and B. A. Omirov, βOn nilpotent Leibniz π-algebras,β Journal of Algebra and its Applications, vol. 11, no. 3, Article ID 1250062, 17 pages, 2012.
Advances in
Operations Research Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Journal of
Applied Mathematics
Algebra
Hindawi Publishing Corporation http://www.hindawi.com
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Journal of
Probability and Statistics Volume 2014
The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at http://www.hindawi.com International Journal of
Advances in
Combinatorics Hindawi Publishing Corporation http://www.hindawi.com
Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
International Journal of Mathematics and Mathematical Sciences
Mathematical Problems in Engineering
Journal of
Mathematics Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Volume 2014
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation http://www.hindawi.com
Discrete Dynamics in Nature and Society
Journal of
Function Spaces Hindawi Publishing Corporation http://www.hindawi.com
Abstract and Applied Analysis
Volume 2014
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
International Journal of
Journal of
Stochastic Analysis
Optimization
Hindawi Publishing Corporation http://www.hindawi.com
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Volume 2014