Classification of a subclass of low-dimensional complex filiform Leibniz algebras
|
|
- Harriet Greer
- 5 years ago
- Views:
Transcription
1 Linear Multilinear lgebra ISSN: (Print) (Online) Journal homepage: Classification of a subclass of low-dimensional complex filiform Leibniz algebras I.S. Rakhimov & S.K. Said Husain To cite this article: I.S. Rakhimov & S.K. Said Husain (20) Classification of a subclass of lowdimensional complex filiform Leibniz algebras, Linear Multilinear lgebra, 59:, 9-54, DOI: 0.080/ To link to this article: Published online: 25 Feb 20. Submit your article to this journal rticle views: 84 View related articles Citing articles: 2 View citing articles Full Terms & Conditions of access use can be found at Download by: [The UC Irvine Libraries] Date: 28 September 207, t: :02
2 Linear Multilinear lgebra Vol. 59, No., March 20, 9 54 Classification of a subclass of low-dimensional complex filiform Leibniz algebras I.S. Rakhimov* ab S.K. Said Husain ab a Institute for Mathematical Research (INSPEM), Laboratory of Theoretical Studies, Universiti Putra Malaysia, 4400, Serdang, Selangor Darul Ehsan, Malaysia; b Faculty of Science, Department of Mathematics, Universiti Putra Malaysia, 4400, Serdang, Selangor Darul Ehsan, Malaysia Communicated by S. Kirkl (Received 5 September 2009; final version received November 2009) We give a complete classification of a subclass of complex filiform Leibniz algebras obtained from naturally graded non-lie filiform Leibniz algebras. The isomorphism criteria in terms of invariant functions are given. Keywords: filiform Leibniz algebra; adapted basis; invariant; isomorphism MS Subject Classifications: 72; 7B0(primary); 50(secondary). Introduction Leibniz algebras were introduced by Loday [9]. skew-symmetric Leibniz algebra is a Lie algebra. The main motivation of Loday to introduce this class of algebras was the search of an obstruction to the periodicity in algebraic K-theory. Besides this purely algebraic motivation some relationships with classical geometry, noncommutative geometry physics have been recently discovered. The (co)homology theory, representations related problems of Leibniz algebras were studied by Loday Pirashvili [], Frabetti [6] others. good survey of all these related problems is [0]. The problems related to the group theoretical realizations of Leibniz algebras are studied by Kinyon Weinstein [8] others. Deformation theory of Leibniz algebras related physical applications of it is initiated by Fialowski et al. [5]. This article is devoted to the classification problem of filiform Leibniz algebras. The notion of filiform Leibniz algebra was introduced by yupov Omirov [2]. ccording to yupov Gomez Omirov theorem, the class of all filiform Leibniz algebras is separated in four subclasses which are invariant with respect to the action of the linear group. One of these classes is the class of filiform Lie algebras. In this case there is a classification in small dimensions (Gomez Khakimdjanov) there is a classification of filiform Lie algebras admitting a non-trivial Malcev Torus (Goze Khakimdjanov). Two of the other three classes come out from naturally graded non-lie filiform Leibniz algebras. For this case in [] [4] a method of *Corresponding author. risamiddin@gmail.com ISSN print/issn online ß 20 Taylor & Francis DOI: 0.080/
3 40 I.S. Rakhimov S.K. Said Husain classification based on algebraic invariants was proposed. The paper [] has dealt with the classification of one of these classes in low-dimensions based on results of []. This article is devoted to the classification of the second class in low dimensions. The third class, which comes out from naturally graded filiform Lie algebras, was treated in [2]. Notice that this class contains the class of all filiform Lie algebras. The article is organized as follows. Section 2 is a brief introduction to filiform Leibniz algebras. In Section, the concepts of adapted basis adapted transformation are given. Then we describe an action of the adapted transformations group on a filiform Leibniz algebra [7]. Section 4 contains main results of the article consisting of a complete classification of a subclass of low-dimensional filiform Leibniz algebras. Here, for 5-6-dimensional cases, we give only final results since the proofs in these cases are similar to those in 7-dimensional case (for the last instance we give a complete proof of a generic case in Section 4.. In the discrete orbits cases (Proposition 4.0) we give a base change leading to appropriate canonical representative). 2. Preliminaries Let L be a Leibniz algebra of dimension n. In some basis {e, e 2,..., e n }, the structure of the Leibniz algebra is defined by the structure tensor ¼fij k g, where ½e i, e j Š¼ij ke k: The components ij k satisfy the Leibniz identity: l jk m il l ij m lk þ l ik m lj ¼ 0, i, j, k, m ¼, 2,..., n: When passing to another basis in L, the structure constants are naturally transformed (in accordance with a tensor law). We denote by LB n the set of all possible structure tensors ¼fij k g corresponding to all possible n-dimensional Leibniz algebras (over a fixed field K ). It is clear that LB n can be regarded as an algebraic subset of K n. Consider the natural action of the group GL n (K) onlb n.itis generated by the linear action of GL n (K) on the coordinates with respect to a basis {e, e 2,..., e n } of the Leibniz algebra L. The orbits of the action of GL n (K )onlb n consist of all mutually isomorphic Leibniz algebras. The stationary subgroup of an arbitrary point under this action is naturally identified with the automorphism group ut(l) of the Leibniz algebra L corresponding to this point of the space of Leibniz algebras. The descending central sequence of a Leibniz algebra L is defined as {C i (L)}, i 2 N, where C (L) ¼ L C iþ (L) ¼ [C i (L), L]. Definition 2. Leibniz algebra L is said to be filiform, if dim C i (L) ¼ n i, where n ¼ dim L 2 i n. Let Leib n denote the class of all n-dimensional filiform Leibniz algebras. It is clear that a filiform Leibniz algebra is nilpotent. Let L be a nilpotent Leibniz algebra. Consider L i ¼ C i (L)/C iþ (L), i n, grl ¼ L L 2 L n. Then [L i, L j ] 7 L iþj we obtain the graded algebra grl. Definition 2.2 Leibniz algebra L 0 is said to be naturally graded if L 0 is isomorphic to grl, for some nilpotent Leibniz algebra L.
4 Linear Multilinear lgebra 4 Later on, all algebras are supposed to be over the field of complex numbers C omitted products of basis vectors are supposed to be zero. The following theorem summarizes the results of [2,4]. THEOREM 2. ny complex (n þ )-dimensional naturally graded filiform Leibniz algebra is isomorphic to one of the following pairwise non-isomorphic algebras: NGF ¼ ½e 0, e 0 Š¼e 2, ½e i, e 0 Š¼e iþ, i n, NGF 2 ¼ ½e 0, e 0 Š¼e 2, ½e i, e 0 Š¼e iþ, 2 i n, NGF ¼ ( ½e i, e 0 Š¼ ½e 0, e i Š¼e iþ, i n, ½e i, e n i Š¼ ½e n i, e i Š¼ð Þ iþ e n, i n, 2f0, g for odd n ¼ 0 for even n: It is clear that NGF is a Lie algebra, however neither NGF nor NGF 2 is a Lie algebra. The above theorem means that the natural gradation of a Leibniz algebra may be an algebra from one of NGF i for i ¼, 2,. The following result of [2,7] describes the class of complex filiform Leibniz algebras whose natural gradation is one of NGF i for i ¼, 2,. THEOREM 2.2 ny (n þ )-dimensional complex non-lie filiform Leibniz algebra can be included in one of the following three classes: 8 ½e 0, e 0 Š¼e 2, >< ½e i, e 0 Š¼e iþ, i n, FLeib nþ ¼ ½e 0, e Š¼ e þ 4 e 4 þþ n e n þ e n, >: ½e j, e Š¼ e jþ2 þ 4 e jþ þþ nþ j e n, j n 2,, 4,..., n, 2 C: 8 ½e 0, e 0 Š¼e 2, ½e i, e 0 Š¼e iþ, 2 i n, >< ½e SLeib nþ ¼ 0, e Š¼ e þ 4 e 4 þþ n e n, ½e, e Š¼e n, >: ½e j, e Š¼ e jþ2 þ 4 e jþ þþ nþ j e n, 2 j n 2,, 4,..., n, 2 C: 8 ½e i,e 0 Š¼e iþ, i n, ½e 0,e i Š¼ e iþ, 2 i n, ½e 0,e 0 Š¼b 0,0 e n, ½e 0,e Š¼ e 2 þ b 0, e n, >< ½e,e Š¼b, e n, TLeib nþ ¼ ½e i,e j Š¼a i,j e iþjþ þþa n ðiþjþþ i,j e n þ b i,j e n, i5j n 2, ½e i,e j Š¼ ½e j,e i Š, i5j n, ½e i,e n i Š¼ ½e n i,e i Š¼ð Þ i b i,n i e n, i n, where a k i,j,b i,j 2C, b i,n i ¼ b, whenever i n, >: b2f0,g, for odd n b ¼ 0, for even n: basis, leading to this representation, is said to be adapted.
5 42 I.S. Rakhimov S.K. Said Husain These three classes have no non-trivial intersection they are invariant with respect to the adapted base change. We have denoted the classes as FLeib nþ, SLeib nþ TLeib nþ, respectively. Hence, the classification problem of Leib n has been reduced to the classification problem within each of the subclasses FLeib n, SLeib n TLeib n. Isomorphism criteria, classifications invariants of FLeib n TLeib n have been studied in [,7,2,]. In this article, we focus on the second class of algebras of the above theorem. Elements of SLeib nþ will be denoted by L(, 4,..., n, ), pointing out the dependence of them on parameters, 4,..., n,. The (n þ )-dimensional stard algebra L(0, 0, 0,..., 0) is denoted by G s nþ :. Simplification of base change isomorphism criterion for SLeib ny Here we simplify the action of GL n ( transport of structure ) on SLeib n. ll the results of this section have appeared elsewhere, particularly in [4] [7]. Let L be a Leibniz algebra defined on a vector space V {e 0, e,..., e n }bean adapted basis of L. Definition. basis transformation f 2 GL(V) is said to be adapted for the structure of L, if the basis {f(e 0 ), f(e ),..., f(e n )} is adapted. The closed subgroup of GL(V ), spanned by the adapted transformations, is denoted by GL ad. Definition.2 The following types of basis transformations of SLeib nþ are said to be elementary: 8 f ðe 0 Þ¼e 0 >< f ðe first type ðb, nþ ¼ Þ¼e þ be n, >: f ðe iþ Þ¼½f ðe i Þ, f ðe 0 ÞŠ, 2 i n, f ðe 2 Þ¼½f ðe 0 Þ, f ðe 0 ÞŠ 8 f ðe 0 Þ¼e 0 þ ae k >< f ðe second type ða, kþ ¼ Þ¼e f ðe iþ Þ¼½fðe i Þ, f ðe 0 ÞŠ, 2 i n, 2 k n, >: f ðe 2 Þ¼½fðe 0 Þ, f ðe 0 ÞŠ 8 f ðe 0 Þ¼ae 0 þ be >< third type ða, b, d Þ¼ >: where a, b, d 2 C. PROPOSITION. f ðe Þ¼de bd a e n, ad 6¼ 0 f ðe iþ Þ¼½f ðe i Þ, f ðe 0 ÞŠ, 2 i n, f ðe 2 Þ¼½f ðe 0 Þ, f ðe 0 ÞŠ () n adapted transformation f of SLeib nþ can be represented in the form f ¼ ðb n, nþða n, nþða n, n 2Þða 2,2Þða 0, a, b Þ:
6 Linear Multilinear lgebra 4 (2) The transformations (b, n), (a, n) (a, k), where 2 k n 2, a 2 C preserve the structure constants of algebras from SLeib nþ. Proof The proof is straightforward. g Since a composition of adapted transformations is adapted, the proposition above means that the transformation (b n, n) (a n, n) (a n, n 2) (a 2,2) does not change the structure constants of algebras from SLeib nþ. Thus, the action of GL ad on SLeib nþ can be reduced to the action of elementary transformation of type three. Let R m a ðxþ :¼ ½½...½x, aš, aš,..., aš fflfflfflfflfflfflfflffl{zfflfflfflfflfflfflfflffl} m-times, R 0 aðxþ :¼ x: Now due to Proposition. it is easy to see that for SLeib nþ the adapted base change has the form [7]: e 0 0 ¼ e 0 þ Be, e 0 ¼ De BD e n, e ¼ ð þ BÞe 2 þ Bð e þþ n e n ÞþBð n þ BÞe n,! e 0 k ¼ Xk 2 k i B i R i e ðe k i ÞþB k R k ðe 0 Þ, i¼0 C k i k where k n, D 2 C such that D 6¼ 0. Now, we remind an isomorphism criterion for SLeib nþ. Introduce the following series of functions: tð y; zþ ¼ t ð y; z, z 4,..., z n, z nþ Þ ¼ z t Xt C k 2 k yz tþ2 k þ Ck k y2 k¼ þ C k 4 k y þ C k yk 2 Xt X i 2 i 2 ¼kþ i ¼kþ X t i k ¼2k 2 i k 4 ¼2k 2 Xt i ¼kþ2 e z tþ i z i þ k z tþ i2 z i2 þ i z i k þ X i k z i2 þ i z i þ5 2k þ y k X i 2 i ¼2k 2 X t i k 2 ¼2k i k ¼2k z tþ ik z ik þ i k 4 X i k 2... X i 2 i ¼2k z tþ ik 2! z ik 2 þ i k z i2 þ i z i þ4 2k k ð y; zþ, where t n, nþð y; zþ ¼z nþ : The isomorphism criterion for SLeib nþ, first appeared in [7] later on in [4], it was given in more invariant form as follows. THEOREM. Two algebras L() L( 0 ) from SLeib nþ, where ¼ (, 4,..., n, ), 0 ¼ ( 0, 0 4,..., 0 n, 0 ), are isomorphic, if only if
7 44 I.S. Rakhimov S.K. Said Husain there exist complex numbers, B D, such that D 6¼ 0 the following conditions hold: 0 t ¼ D B t 2 t ;, t n, ðþ 0 n ¼ D B n 2 þ B n ; ð2þ 0 ¼ D 2 n 2 nþ B ; : ðþ Hereinafter, for the simplification purpose in the above case for transition from (n þ )-dimensional filiform Leibniz algebra L() to (n þ )-dimensional filiform Leibniz algebra L( 0 ) we write 0 ¼ %, B, D ; : %, B, D ; where ¼ %, B, D ;, % 2, B, D ; % t ðx, y, u; zþ ¼x t u tþ2 ð y; zþ for t n 2, % n ðx, y, u; zþ ¼x n 5 u 2 nþð y; zþ:,...,% n, B, D ; Here are the main properties of the operator %, used in this article: 0. %(, 0, ; ) is the identity operator. 2 0 :%ð 2, B 2 2, D 2 2 ; %ð, B, D ; ÞÞ ¼ %ð 2, B 2 þb 2 D 2, D D 2 2 ; Þ 0 : If 0 ¼ %ð, B, D ; Þ then ¼ %ð, B D, D ; 0 Þ: From here on, we assume that n 4 since there are complete classifications of complex nilpotent Leibniz algebras in dimensions at most four []. In this article we proceed from the viewpoint of [4]. Let N n st for the adapted number of isomorphism classes in SLeib n. Later on, if no confusion is possible, we write xy for [x, y] as well., 4. Classification For the simplification purpose, we establish the following notations: ¼ , 2 ¼ , 0 ¼ , ¼ :
8 Linear Multilinear lgebra Dimension 5 The class SLeib 5 is represented as a disjoint union of its subsets as follows: SLeib 5 ¼ [6 U i, where i ¼ U ¼fLðÞ2SLeib 5 : 6¼ 0, 2 2 6¼ 0g, U 2 ¼fLðÞ2SLeib 5 : 6¼ 0, 2 2 ¼ 0, 4 6¼ 0g, U ¼fLðÞ2SLeib 5 : ¼ 0, 6¼ 0g, U 4 ¼fLðÞ2SLeib 5 : ¼ 0, ¼ 0, 4 ¼ 0g, U 5 ¼fLðÞ2SLeib 5 : 6¼ 0, 2 2 ¼ 0, 4 ¼ 0g, U 6 ¼fLðÞ2SLeib 5 : ¼ 0, ¼ 0, 4 6¼ 0g: Now we consider the isomorphism problem for each of these subsets separately. PROPOSITION 4. (i) Two algebras L() L( 0 ) from U are isomorphic, if only if 2 ¼ 0 : ð4þ (ii) Orbits in U can be parametrized as L(, 0, ), 2 C n {2}. PROPOSITION 4.2 The subsets U 2, U, U 4, U 5 U 6 are single orbits under the action of G ad with the representatives L(,, 2), L(0, 0, ), L(0,, 0), L(, 0, 2) L(0, 0, 0), respectively. THEOREM 4. Let L be an element of SLeib 5. Then, it is isomorphic to one of the following pairwise non-isomorphic Leibniz algebras: () Lð0, 0, 0Þ ¼G s 5 : e 0e 0 ¼ e 2, e i e 0 ¼ e iþ,2i. (2) L(0,, 0): G s 5, e 0e ¼ e 4 : () L(0, 0, ): G s 5, e e ¼ e 4 : (4) L(,, 2): G s 5, e 0e ¼ e þ e 4, e e ¼ 2e 4, e 2 e ¼ e 4 : (5) L(, 0, ): G s 5, e 0e ¼ e, e e ¼ e 4, e 2 e ¼ e 4, 2 C. Note 4. The orbit U 5 with the representative L(, 0, 2) can be included in the parametric family of orbits L(, 0, ) at ¼ 2. The adapted number of isomorphism classes N 5 ¼ Dimension 6 This section concerns 6-dimensional case. The set SLeib 6 can be represented as a disjoint union of its subsets as follows: SLeib 6 ¼ [9 i ¼ U i,
9 46 I.S. Rakhimov S.K. Said Husain where PROPOSITION 4. U ¼fLðÞ2SLeib 6 : 6¼ 0, 6¼ 0g, U 2 ¼fLðÞ2SLeib 6 : 6¼ 0, ¼ 0, 6¼ 0g, U ¼fLðÞ2SLeib 6 : 6¼ 0, ¼ 0, ¼ 0g, U 4 ¼fLðÞ2SLeib 6 : ¼ 0, 4 6¼ 0, 6¼ 0g, U 5 ¼fLðÞ2SLeib 6 : ¼ 0, 4 6¼ 0, ¼ 0, 5 6¼ 0g, U 6 ¼fLðÞ2SLeib 6 : ¼ 0, 4 6¼ 0, ¼ 0, 5 ¼ 0g, U 7 ¼fLðÞ2SLeib 6 : ¼ 0, 4 ¼ 0, 6¼ 0g, U 8 ¼fLðÞ2SLeib 6 : ¼ 0, 4 ¼ 0, ¼ 0, 5 6¼ 0g, U 9 ¼fLðÞ2SLeib 6 : ¼ 0, 4 ¼ 0, ¼ 0, 5 ¼ 0g: (i) Two algebras L() L( 0 ) from U are isomorphic, if only if 2 4 þ 2 2 ¼ þ 02 0 : ð5þ (ii) Orbits in U can be parametrized as L(, 0,, ), 2 C. PROPOSITION 4.4 The subsets U 2, U, U 4, U 5, U 6, U 7, U 8 U 9 are single orbits under the action of G ad with the representatives L(, 0,, 0), L(, 0, 0, 0), L(0,, 0, ), L(0,,, 0), L(0,, 0, 0), L(0, 0, 0, ), L(0, 0,, 0) L(0, 0, 0, 0), respectively. THEOREM 4.2 Let L be an element of SLeib 6. Then, it is isomorphic to one of the following pairwise non-isomorphic Leibniz algebras: Þ Lð0, 0, 0, 0Þ ¼G s 6 : e 0e 0 ¼ e 2, e i e 0 ¼ e iþ,2i4. 2) L(0, 0,, 0): G s 6, e 0e ¼ e 5 : ) L(0, 0, 0, ): G s 6, e e ¼ e 5 : 4) L(0,, 0, 0): G s 6, e 0e ¼ e 4, e 2 e ¼ e 5 : 5) L(0,,, 0): G s 6, e 0e ¼ e 4 þ e 5, e 2 e ¼ e 5 : 6) L(0,, 0, ): G s 6, e 0e ¼ e 4, e e ¼ e 5, e 2 e ¼ e 5 : 7) L(, 0, 0, 0): G s 6, e 0e ¼ e, e 2 e ¼ e 4, e e ¼ e 5 : 8) L(, 0,, 0): G s 6, e 0e ¼ e þ e 5, e 2 e ¼ e 4, e e ¼ e 5 : 9) L(, 0,, ): G s 6, e 0e ¼ e þ e 5, e e ¼ e 5, e 2 e ¼ e 4, e e ¼ e 5, 2 C: The adapted number of isomorphism classes N 6 ¼ Dimension 7 In this section one considers SLeib 7. The following is a representation of SLeib 7 as a disjoint union of its subsets: SLeib 7 ¼ [8 U i, i ¼
10 Linear Multilinear lgebra 47 where U ¼fLðÞ2SLeib 7 : 6¼ 0, 6¼ 0, 2 4 þ 2 4 6¼ 0g, U 2 ¼fLðÞ2SLeib 7 : 6¼ 0, 6¼ 0, 2 4 þ 2 4 ¼ 0g, U ¼fLðÞ2SLeib 7 : 6¼ 0, ¼ 0, 6¼ 0, 2 þ 2 4 6¼ 0g, U 4 ¼fLðÞ2SLeib 7 : ¼ 0, 4 6¼ 0, 5 6¼ 0g, PROPOSITION 4.5 U 5 ¼fLðÞ2SLeib 7 : ¼ 0, 4 6¼ 0, 5 ¼ 0, 2 4 6¼ 0g, U 6 ¼fLðÞ2SLeib 7 : 6¼ 0, ¼ 0, 6¼ 0, 2 þ 2 4 ¼ 0g, U 7 ¼fLðÞ2SLeib 7 : 6¼ 0, ¼ 0, ¼ 0, 2 6¼ 0g, U 8 ¼fLðÞ2SLeib 7 : 6¼ 0, ¼ 0, ¼ 0, 2 ¼ 0g, U 9 ¼fLðÞ2SLeib 7 : ¼ 0, 4 6¼ 0, 5 ¼ 0, 2 4 ¼ 0, 6 6¼ 0g, U 0 ¼fLðÞ2SLeib 7 : ¼ 0, 4 6¼ 0, 5 ¼ 0, 2 4 ¼ 0, 6 ¼ 0g, U ¼fLðÞ2SLeib 7 : ¼ 0, 4 ¼ 0, 5 6¼ 0, 6 6¼ 0, 6¼ 0g, U 2 ¼fLðÞ2SLeib 7 : ¼ 0, 4 ¼ 0, 5 6¼ 0, 6 6¼ 0, ¼ 0g, U ¼fLðÞ2SLeib 7 : ¼ 0, 4 ¼ 0, 5 6¼ 0, 6 ¼ 0, 6¼ 0g, U 4 ¼fLðÞ2SLeib 7 : ¼ 0, 4 ¼ 0, 5 6¼ 0, 6 ¼ 0, ¼ 0g, U 5 ¼fLðÞ2SLeib 7 : ¼ 0, 4 ¼ 0, 5 ¼ 0, 6 6¼ 0, 6¼ 0g, U 6 ¼fLðÞ2SLeib 7 : ¼ 0, 4 ¼ 0, 5 ¼ 0, 6 6¼ 0, ¼ 0g, U 7 ¼fLðÞ2SLeib 7 : ¼ 0, 4 ¼ 0, 5 ¼ 0, 6 ¼ 0, 6¼ 0g, U 8 ¼fLðÞ2SLeib 7 : ¼ 0, 4 ¼ 0, 5 ¼ 0, 6 ¼ 0, ¼ 0g: (i) Two algebras L() L( 0 ) from U are isomorphic, if only if ð 2 4 þ 2 4 Þ 2 ¼ 0 ð þ Þ 2, ð6þ 2 ð 2 4 þ 2 4 Þ 2 ¼ 0 ð þ Þ 2 : ð7þ (ii) The subset U is a union of orbits with representatives L(, 0,,, 2 ), 2 C, 2 2 C. Proof (i) ): Let L() L( 0 ) be isomorphic. Then, due to Theorem., there are complex numbers, B D:D6¼ 0, such that the action of the adapted group G ad
11 48 I.S. Rakhimov S.K. Said Husain can be expressed by the following system of equalities: 0 ¼ D, ð8þ 0 4 ¼ D B 2, ð9þ 0 5 ¼ D 5 5 B 4 þ 5 B! 2, ð0þ ¼ 4 D B þ 6 6 B 5 þ 2 B B B! 4, ðþ 0 ¼ D 2 4 : ð2þ Then, it is easy to see that 0 ¼ D þ ¼ ð Þ. Now we need just substitute it into 2 4 þ 2 4 D þ to get the required equalities. ð Þ 2 ð þ Þ 2 (: Let the equalities (6) (7) hold. We put 0 ¼ 2 4 þ 2 4, ðþ B 0 ¼ 4ð 2 4 þ 2 4 Þ 2, ð4þ D 0 ¼ ð 2 4 þ 2 4 Þ 2, ð5þ ¼ þ , ð6þ 0 B 0 0 ¼ 0 4 ð þ Þ, 2 0 ð7þ Then, 0 ¼ %ð 0, B 0 Section ), where 0 ¼ L, 0, 0, D 0 D 0 0 ¼ ð þ Þ 2 0 0, Þ 0 0 ¼ %ð 0 0 : ð8þ, B , D0 0, 0 Þ (see the convention in 0 0 ð 2 4 þ 2 4 Þ 2, 2 ð 2 4 þ 2 4 Þ 2,
12 Linear Multilinear lgebra 49! 0 0 ¼ L, 0, 0 ð þ Þ 2, 0 ð þ Þ 2 : Then, the equalities (6) (7) imply that 0 ¼ 0 0. Now we make use of the properties 0 0 of % find the complex numbers, B D: D6¼ 0: ¼ 0 0, ð9þ 0 Thus we get B ¼ 0 ð 2 4 þ 2 4 Þ 2 ð þ Þ 2 B ¼ B 0D 0 0 B0 0 D D0 0 ð20þ D ¼ D 0 D 0 : ð2þ 0 ¼ 0 0 ð 2 4 þ 2 4 Þ ð þ Þ, 4 ð þ Þ ð 2 4 þ 2 4 Þ D ¼ 0 ð 2 4 þ 2 4 Þ 2 2 ð þ Þ 2 : ð24þ n easy computation shows that, for the, B D found above, we get the corresponding system of equalities (8) (2): D D ¼ 0, D B 2 ¼ 0 4, 5 5 B 4 þ 5 B! 2 ¼ 0 5, ð22þ ð2þ D 4 B þ 6 6 B 5 þ 2 B B B 4! ¼ 0 6, D 2 4 ¼ 0, meaning that L() L( 0 ) are isomorphic.
13 50 I.S. Rakhimov S.K. Said Husain (ii) Evidently, for any, 2 2 C: 2 6¼ 0 there exists an algebra L(, 4, 5, 6, ) from U such that ¼ 2 ð 2 4 þ 2 4 Þ 2 2 ¼ ð 2 4 þ 2 4 Þ 2 : The proof is complete. PROPOSITION 4.6 (i) Two algebras L() L( 0 ) from U 2 are isomorphic, if only if g ¼ 0 0 : ð25þ (ii) The subset U 2 is a union of continuous family of orbits with representatives L(, 0,, 0, ), 2 C. PROPOSITION 4.7 (i) Two algebras L() L( 0 ) from U are isomorphic, if only if ð 2 þ 2 4 Þ 2 ¼ 0 ð þ Þ 2 : (ii) U can be represented as a union of orbits the orbits are parametrized as L(, 0, 0,, ), 2 C. PROPOSITION 4.8 (i) Two algebras L() L( 0 ) from U 4 are isomorphic, if only if 2 ¼ 0 : 4 ð27þ 4 (ii) Orbits in U 4 can be parametrized as L(0,,, 0, ), 2 C. PROPOSITION 4.9 (i) Two algebras L() L( 0 ) from U 5 are isomorphic, if only if 2 ¼ 0 : 4 4 ð28þ (ii) Orbits in U 5 can be parametrized as L(0,, 0, 0, ), 2 C n {}. PROPOSITION 4.0 The subsets U 6, U 7, U 8, U 9, U 0, U, U 2, U, U 4, U 5, U 6, U 7, U 8 are single orbits under the action of G ad with the representatives L(, 0, 0, 0, ), L(, 0, 0,, 0), L(, 0, 0, 0, 0), L(0,, 0,, ), L(0,, 0, 0, ), L(0, 0,, 0, ), L(0, 0,,, 0), L(0, 0,,, ), L(0, 0,, 0, 0), L(0, 0, 0, 0, ), L(0, 0, 0,, 0), L(0, 0, 0,, ) L(0, 0, 0, 0, 0), respectively. Proof The subsets U 6,..., U 8 can be represented as orbits with respect to the action of G ad. Below the corresponding actions leading to the canonical ð26þ
14 Linear Multilinear lgebra 5 representatives are indicated: U 6 : For L(, 4, 5, 6, ) 2 U 6 %, B, D ; Lð, 4, 5, 6, Þ ¼ Lð, 0, 0, 0, Þ, qffiffiffi qffiffiffi where ¼ 2, B ¼ D ¼ : U 7 : For L(, 4, 5, 6, ) 2 U 7 %, B, D ; Lð, 4, 5, 6, Þ ¼ Lð, 0, 0,, 0Þ, qffiffiffiffiffi qffiffiffiffiffi qffiffiffiffiffi where ¼ 2, B ¼ D ¼ : U 8 : For L(, 4, 5, 6, ) 2 U 8 %, B, D ; Lð, 4, 5, 6, Þ ¼ Lð, 0, 0, 0, 0Þ, where is a nonzero complex number, B ¼ 4 D ¼ : U 9 : For L(, 4, 5, 6, ) 2 U 9 %, B, D ; Lð, 4, 5, 6, Þ ¼ Lð0,, 0,, Þ, qffiffiffi qffiffiffi where ¼ 6 4, B is any complex number D ¼ U 0 : For L(, 4, 5, 6, ) 2 U 0 %, B, D ; Lð, 4, 5, 6, Þ ¼ Lð0,, 0, 0, Þ, where is a nonzero complex number, B is any complex number D ¼ 4. U : For L(, 4, 5, 6, ) 2 U %, B, D ; Lð, 4, 5, 6, Þ ¼ Lð0, 0,, 0, Þ, where ¼ p 5 ffiffi, B ¼ 6 D ¼ 5. 2 U 2 : For L(, 4, 5, 6, ) 2 U 2 %, B, D ; Lð, 4, 5, 6, Þ ¼ Lð0, 0,,, 0Þ, ð29þ ð0þ ðþ ð2þ ðþ ð4þ ð5þ where ¼ 6 5, B is any complex number D ¼ U : For L(, 4, 5, 6, ) 2 U %, B, D ; Lð, 4, 5, 6, Þ ¼ Lð0, 0,,, Þ, where, B ¼ D are nonzero complex numbers. U 4 : For L(, 4, 5, 6, ) 2 U 4 %, B, D ; Lð, 4, 5, 6, Þ ¼ Lð0, 0,, 0, 0Þ, ð6þ ð7þ where is any nonzero complex number, D ¼ 5 4, B is any complex number.
15 52 I.S. Rakhimov S.K. Said Husain U 5 : For L(, 4, 5, 6, ) 2 U 5 %, B, D ; Lð, 4, 5, 6, Þ ¼ Lð0, 0, 0, 0, Þ, qffiffiffiffi where is any nonzero complex number, B ¼ 6 D ¼ 6. U 6 : For L(, 4, 5, 6, ) 2 U 6 %, B, D ; Lð, 4, 5, 6, Þ ¼ Lð0, 0, 0,, 0Þ, ð8þ ð9þ where is any nonzero complex number, D ¼ 5 6 B 2 C. U 7 : For L(, 4, 5, 6, ) 2 U 7 %, B, D ; Lð, 4, 5, 6, Þ ¼ Lð0, 0, 0,, Þ, where, B ¼ D are any nonzero complex numbers. U 8 : For L(, 4, 5, 6, ) 2 U 8 %, B, D ; Lð, 4, 5, 6, Þ ¼ Lð0, 0, 0, 0, 0Þ, where, D are any nonzero complex numbers B 2 C. g Note that in the basis changing of the subsets U 6, U 7, U 9, U U 5 above, the value of the roots can be taken an arbitrary. We summarize the previous results in the following classification theorem. THEOREM 4. Let L be an element of SLeib 7. Then, it is isomorphic to one of the following pairwise non-isomorphic Leibniz algebras: ðþ Lð0, 0, 0, 0, 0Þ ¼G s 7 : e 0e 0 ¼ e 2, e i e 0 ¼ e iþ,2 i 5. (2) L(0, 0, 0,,): G s 7, e 0e ¼ e 6, e e ¼ e 6 : () L(0, 0, 0,, 0): G s 7, e 0e ¼ e 6 : (4) L(0, 0, 0, 0, ): G s 7, e e ¼ e 6 : (5) L(0, 0,, 0, 0): G s 7, e 0e ¼ e 5, e 2 e ¼ e 6 : (6) L(0, 0,,, ): G s 7, e 0e ¼ e 5 þ e 6, e e ¼ e 6, e 2 e ¼ e 6 : (7) L(0, 0,,, 0): G s 7, e 0e ¼ e 5 þ e 6, e 2 e ¼ e 6 : (8) L(0, 0,, 0, ): G s 7, e 0e ¼ e 5, e e ¼ e 6, e 2 e ¼ e 6 : (9) L(0,, 0,, ): G s 7, e 0e ¼ e 4 þ e 6, e e ¼ e 6, e 2 e ¼ e 5, e e ¼ e 6 : (0) L(, 0, 0,, 0): G s 7, e 0e ¼ e þ e 4, e 2 e ¼ e 4, e e ¼ e 6, e 4 e ¼ e 6 : () L(0,, 0, 0, ): G s 7, e 0e ¼ e 4 þ e 5 þ e 6, e e ¼ e 6, e 2 e ¼ e 5 þ e 6, e e ¼ e 6, 2 C: (2) L(0,,, 0, ): G s 7, e 0e ¼ e 4 þ e 5, e e ¼ e 6, e 2 e ¼ e 5 þ e 6, e e ¼ e 6, 2 C: () L(, 0, 0,, ): G s 7, e 0e ¼ e þ e 6, e e ¼ e 6, e 2 e ¼ e 4, e e ¼ e 5, e 4 e ¼ e 6, 2 C. (4) L(, 0,, 0, ): G s 7, e 0e ¼ e þ e 5, e e ¼ e 6, e 2 e ¼ e 4 þ e 6, e e ¼ e 5, e 4 e ¼ e 6, 2 C: ð40þ ð4þ
16 Linear Multilinear lgebra 5 (5) L(, 0,,, 2 ): G s 7, e 0e ¼ e þ e 5 þ e 6, e e ¼ 2 e 6, e 2 e ¼ e 4 þ e 6, e e ¼ e 5, e 4 e ¼e 6,, 2 2 C. The adapted number of isomorphism classes N 7 ¼ 5. Note 4.2 The orbits U 6, U 8 U 0 can be included in parametric family of orbits with the representatives L(, 0,,, 2 ), L(, 0, 0,, ), L(0,, 0, 0, ) at the value of parameters { ¼ 0, 2 ¼ }, ¼ 0 ¼, respectively. 5. Conclusion To classify SLeib n, we split it into its subsets then classify algebras from each of these subsets. In this procedure, some of the subsets turn out to be a union of infinitely many orbits other to be just a single orbit. In each case, we indicate the corresponding canonical representatives of the orbits. We expect the formula N n ¼ n 2 7n þ 5 in dimension n for the number of isomorphism classes. The formula has been confirmed up to n ¼ 9. cknowledgements The authors acknowledge MOSTI (Malaysia) for the financial support. They are also grateful to Profs B.. Omirov U.D. Bekbaev for helpful discussions. The authors express gratitude to the referee for valuable suggestions comments in the original version of this article. References [] S. lbeverio, B.. Omirov, I.S. Rakhimov, Varieties of nilpotent complex Leibniz algebras of dimension less than five, Commun. lgebra (2005), pp [2] Sh.. yupov B.. Omirov, On some classes of nilpotent Leibniz algebras, Sib. Math. J. 42 (200), pp [] U.D. Bekbaev I.S. Rakhimov, On classification of finite dimensional complex filiform Leibniz algebras (part ) (2006). vailable at arxiv;math. R/ [4] U.D. Bekbaev I.S. Rakhimov, On classification of finite dimensional complex filiform Leibniz algebras (part 2) (2007). vaiable at arxiv; v [math.r]. [5]. Fialowski,. Mal, G. Mukherjee, Versal deformations of Leibniz algebras (2007). vailable at arxiv, math.q. [6]. Frabetti, Leibniz homology of dialgebras of matrices, J. Pure ppl. lgebra 29 (998), pp [7] J.R. Gomez B.. Omirov, On classification of complex filiform Leibniz algebras (2006). vailable at arxiv;math/06275 v [math.r..]. [8] M.K. Kinyon. Weinstein, Leibniz algebras, Courant algebroids, multiplications on reductive homogeneous spaces, mer. J. Math. 2 (200), pp [9] J.-L. Loday, Une version non commutative des alge bres de Lie: Les alge bres de Leibniz, L Ens. Math. 9 (99), pp [0] J.-L. Loday,. Frabetti, F. Chapoton, F. Goichot, Dialgebras related operads, Lecture Notes Math. IV (200), p. 76.
17 54 I.S. Rakhimov S.K. Said Husain [] J.-L. Loday T. Pirashvili, Universal enveloping algebras of Leibniz algebras (co)homology, Math. nn. 296 (99), pp [2] B.. Omirov I.S. Rakhimov, On Lie-like complex filiform Leibniz algebras, Bull. ust. Math. Soc. 79 (2009), pp [] I.S Rakhimov S.K. Said Husain, On isomorphism classes invariants of low dimensional complex filiform Leibniz algebras, Linear Multilinear lgebra 59 (20), pp [4] M. Vergne, Cohomologie des alge`bres de Lie nilpotentes. pplication a` l e tude de la varie te des alge`bres de Lie nilpotentes, Bull. Soc. Math. France 98 (970), pp. 8 6.
On isomorphism classes and invariants of a subclass of low-dimensional complex filiform Leibniz algebras
Linear and Multilinear lgebra ISSN: 008-1087 (Print) 16-19 (Online) Journal homepage: http://www.tandfonline.com/loi/glma20 On isomorphism classes and invariants of a subclass of low-dimensional complex
More informationOn Invariants of Complex Filiform Leibniz Algebras ABSTRACT INTRODUCTION
Malaysian Journal of Mathematical Sciences (): 47-59 (009) Isamiddin S.Rakhimov Department of Mathematics Faculty of Science and Institute for Mathematical Research Universiti Putra Malaysia 4400 UPM Serdang
More informationLeibniz Algebras Associated to Extensions of sl 2
Communications in Algebra ISSN: 0092-7872 (Print) 1532-4125 (Online) Journal homepage: http://www.tandfonline.com/loi/lagb20 Leibniz Algebras Associated to Extensions of sl 2 L. M. Camacho, S. Gómez-Vidal
More informationTHE CLASSIFICATION OF 4-DIMENSIONAL P -ADIC FILIFORM LEIBNIZ ALGEBRAS
TWMS J. Pure Appl. Math. V.1, N.2, 2010, pp. 155-162 THE CLASSIFICATION OF 4-DIMENSIONAL P -ADIC FILIFORM LEIBNIZ ALGEBRAS SH.A. AYUPOV 1, T.K. KURBANBAEV 1 Abstract. In this paper Leibniz algebras over
More information204 H. Almutari, A.G. Ahmad
International Journal of Pure and Applied Mathematics Volume 113 No. 2 2017, 203-217 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: 10.12732/ijpam.v113i2.2
More informationOn Central Extensions of Associative Dialgebras
Journal of Physics: Conference Series PAPER OPEN ACCESS On Central Extensions of Associative Dialgebras To cite this article: Isamiddin S. Rakhimov 2016 J. Phys.: Conf. Ser. 697 012009 View the article
More information(α, β, γ) Derivations of Diassociative Algebras
Malaysian Journal of Mathematical Sciences 10(S) August: 101 126 (2016) Special Issue: The 7 th International Conference on Research and Education in Mathematics (ICREM7) MALAYSIAN JOURNAL OF MATHEMATICAL
More informationLIE ALGEBRA PREDERIVATIONS AND STRONGLY NILPOTENT LIE ALGEBRAS
LIE ALGEBRA PREDERIVATIONS AND STRONGLY NILPOTENT LIE ALGEBRAS DIETRICH BURDE Abstract. We study Lie algebra prederivations. A Lie algebra admitting a non-singular prederivation is nilpotent. We classify
More informationPLEASE SCROLL DOWN FOR ARTICLE
This article was downloaded by: [University of Santiago de Compostela] On: 6 June 2009 Access details: Access Details: [subscription number 908626806] Publisher Taylor & Francis Informa Ltd Registered
More informationPossible numbers of ones in 0 1 matrices with a given rank
Linear and Multilinear Algebra, Vol, No, 00, Possible numbers of ones in 0 1 matrices with a given rank QI HU, YAQIN LI and XINGZHI ZHAN* Department of Mathematics, East China Normal University, Shanghai
More informationON k-abelian p-filiform LIE ALGEBRAS I. 1. Generalities
Acta Math. Univ. Comenianae Vol. LXXI, 1(2002), pp. 51 68 51 ON k-abelian p-filiform LIE ALGEBRAS I O. R. CAMPOAMOR STURSBERG Abstract. We classify the (n 5)-filiform Lie algebras which have the additional
More informationON THE BETTI NUMBERS OF FILIFORM LIE ALGEBRAS OVER FIELDS OF CHARACTERISTIC TWO
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 58, No. 1, 2017, Pages 95 106 Published online: February 9, 2017 ON THE BETTI NUMBERS OF FILIFORM LIE ALGEBRAS OVER FIELDS OF CHARACTERISTIC TWO IOANNIS TSARTSAFLIS
More informationA Leibniz Algebra Structure on the Second Tensor Power
Journal of Lie Theory Volume 12 (2002) 583 596 c 2002 Heldermann Verlag A Leibniz Algebra Structure on the Second Tensor Power R. Kurdiani and T. Pirashvili Communicated by K.-H. Neeb Abstract. For any
More informationCentral extensions of null-filiform and naturally graded filiform non-lie Leibniz algebras
Journal of Algebra 479 (207) 46 486 Contents lists available at ScienceDirect Journal of Algebra www.elsevier.com/locate/jalgebra Central extensions of null-filiform and naturally graded filiform non-lie
More informationCentroids Of Dendriform Algebras
Volume 9 No. 5 208, 427-435 ISSN 34-3395 (on-line version) url http//www.acadpubl.eu/hub/ http//www.acadpubl.eu/hub/ Centroids Of Dendriform Algebras Mohammed Abdul Daim Zoba College of Engineering\ Al-Musayab,
More informationDerivations and Centroids of Four Dimensional Associative Algebras
arxiv:1606.03119v1 [math.ra] 9 Jun 2016 Derivations and Centroids of Four Dimensional Associative Algebras A.O. Abdulkareem 1, M.A. Fiidow 2 and I.S. Rakhimov 2,3 1 Department of Mathematics, College of
More informationSome remarks on Leibniz algebras whose semisimple part related with $sl_2$
See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/258083926 Some remarks on Leibniz algebras whose semisimple part related with $sl_2$ Article
More informationAn introduction to Leibniz algebras (from calculus to algebra)
An introduction to Leibniz algebras (from calculus to algebra) Math 199A Fall 2017 Independent Studies University of California, Irvine Bernard Russo Bernard Russo (UCI) An introduction to Leibniz algebras
More informationON SOME STRUCTURES OF LEIBNIZ ALGEBRAS
Contemporary Mathematics ON SOME STRUCTURES OF LEIBNIZ ALGEBRAS Ismail Demir, Kailash C. Misra and Ernie Stitzinger Abstract. Leibniz algebras are certain generalization of Lie algebras. In this paper
More informationDERIVATIONS An introduction to non associative algebra (or, Playing havoc with the product rule)
DERIVATIONS An introduction to non associative algebra (or, Playing havoc with the product rule) Series 2 Part 7 An introduction to Leibniz algebras (from calculus to algebra) Colloquium Fullerton College
More informationHow do our representations change if we select another basis?
CHAPTER 6 Linear Mappings and Matrices 99 THEOREM 6.: For any linear operators F; G AðV Þ, 6. Change of Basis mðg FÞ ¼ mðgþmðfþ or ½G FŠ ¼ ½GŠ½FŠ (Here G F denotes the composition of the maps G and F.)
More informationClifford Algebras and Spin Groups
Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of
More informationLIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM
Proceedings of the Edinburgh Mathematical Society Submitted Paper Paper 14 June 2011 LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM MICHAEL C. CRABB AND PEDRO L. Q. PERGHER Institute of Mathematics,
More informationLinear Algebra and its Applications
Linear Algebra and its Applications 439 (2013) 273 288 Contents lists available at SciVerse ScienceDirect Linear Algebra and its Applications journal homepage: www.elsevier.com/locate/laa The classification
More informationarxiv: v1 [math.ra] 11 Dec 2017
NARROW POSITIVELY GRADED LIE ALGEBRAS arxiv:1712.03718v1 [math.ra] 11 Dec 2017 DMITRY V. MILLIONSHCHIKOV Abstract. We classify real and complex infinite-dimensional positively graded Lie algebras g = +
More informationRealization of locally extended affine Lie algebras of type A 1
Volume 5, Number 1, July 2016, 153-162 Realization of locally extended affine Lie algebras of type A 1 G. Behboodi Abstract. Locally extended affine Lie algebras were introduced by Morita and Yoshii as
More informationOn the variety of two dimensional real associative algebras
Int. J. Contemp. Math. Sciences, Vol. 2, 2007, no. 26, 1293-1305 On the variety of two dimensional real associative algebras José María Ancochea Bermúdez 1 Dpto. Geometría y Topología. Facultad de Matemáticas
More informationGroups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
More informationOn the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem
On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013
More informationBoolean Inner-Product Spaces and Boolean Matrices
Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationClassification of Filiform Lie Algebras up to dimension 7 Over Finite Fields
DOI: 10.1515/auom-2016-0036 An. Şt. Univ. Ovidius Constanţa Vol. 24(2),2016, 185 204 Classification of Filiform Lie Algebras up to dimension 7 Over Finite Fields Óscar J. Falcón, Raúl M. Falcón, Juan Núñez,
More informationSELF-DUAL HOPF QUIVERS
Communications in Algebra, 33: 4505 4514, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500274846 SELF-DUAL HOPF QUIVERS Hua-Lin Huang Department of
More informationOperads and triangulation of Loday s diagram on Leibniz algebras
Afr. Mat. (2017) 28:109 118 DOI 10.1007/s13370-016-0431-2 Operads and triangulation of Loday s diagram on Leibniz algebras Allahtan Victor Gnedbaye 1 Received: 27 September 2014 / Accepted: 22 April 2016
More informationA note on orthogonal similitude groups
Linear and Multilinear Algebra, Vol. 54, No. 6, December 2006, 391 396 A note on orthogonal similitude groups C. RYAN VINROOT* Department of Mathematics, Tata Institute of Fundamental Research, Homi Bhabha
More informationDEFORMATION OF LEIBNIZ ALGEBRA MORPHISMS
Homology, Homotopy and Applications, vol. 9(1), 2007, pp.439 450 DEFORMATION OF LEIBNIZ ALGEBRA MORPHISMS ASHIS MANDAL (communicated by Jean-Louis Loday) Abstract We study formal deformations of Leibniz
More informationMaximal non-commuting subsets of groups
Maximal non-commuting subsets of groups Umut Işık March 29, 2005 Abstract Given a finite group G, we consider the problem of finding the maximal size nc(g) of subsets of G that have the property that no
More informationOn zero product determined algebras
Linear and Multilinear Algebra ISSN: 0308-1087 (Print) 1563-5139 (Online) Journal homepage: http://www.tandfonline.com/loi/glma20 On zero product determined algebras Daniel Brice & Huajun Huang To cite
More informationLinear Algebra and its Applications
Linear Algebra and its Applications 435 (2011) 2889 2895 Contents lists available at ScienceDirect Linear Algebra and its Applications journal homepage: www.elsevier.com/locate/laa Idempotent elements
More informationarxiv: v2 [math.ra] 22 Sep 2014
SOLVALE LEINIZ ALGERAS WIT EISENERG NILRADICAL LINDSEY OSKO-DUNAR, JONATAN D. DUNAR, J.T. IRD, AND KRISTEN STAGG arxiv:1307.8447v2 [math.ra] 22 Sep 2014 Abstract. All solvable Lie algebras with eisenberg
More informationRestricted One-dimensional Central Extensions of the Restricted Filiform Lie Algebras m λ 0(p)
arxiv:1801.08178v3 [math.rt] 22 Aug 2018 Restricted One-dimensional Central Extensions of the Restricted Filiform Lie Algebras m λ 0(p) Tyler J. Evans Department of Mathematics Humboldt State University
More informationarxiv: v4 [math.gr] 17 Jun 2015
On finite groups all of whose cubic Cayley graphs are integral arxiv:1409.4939v4 [math.gr] 17 Jun 2015 Xuanlong Ma and Kaishun Wang Sch. Math. Sci. & Lab. Math. Com. Sys., Beijing Normal University, 100875,
More informationConvergence of a linear recursive sequence
int. j. math. educ. sci. technol., 2004 vol. 35, no. 1, 51 63 Convergence of a linear recursive sequence E. G. TAY*, T. L. TOH, F. M. DONG and T. Y. LEE Mathematics and Mathematics Education, National
More informationSOME DESIGNS AND CODES FROM L 2 (q) Communicated by Alireza Abdollahi
Transactions on Combinatorics ISSN (print): 2251-8657, ISSN (on-line): 2251-8665 Vol. 3 No. 1 (2014), pp. 15-28. c 2014 University of Isfahan www.combinatorics.ir www.ui.ac.ir SOME DESIGNS AND CODES FROM
More informationBott Periodicity and Clifford Algebras
Bott Periodicity and Clifford Algebras Kyler Siegel November 27, 2012 Contents 1 Introduction 1 2 Clifford Algebras 3 3 Vector Fields on Spheres 6 4 Division Algebras 7 1 Introduction Recall for that a
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationQuadraticity and Koszulity for Graded Twisted Tensor Products
Quadraticity and Koszulity for Graded Twisted Tensor Products Peter Goetz Humboldt State University Arcata, CA 95521 September 9, 2017 Outline Outline I. Preliminaries II. Quadraticity III. Koszulity
More informationTHE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES
Horiguchi, T. Osaka J. Math. 52 (2015), 1051 1062 THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES TATSUYA HORIGUCHI (Received January 6, 2014, revised July 14, 2014) Abstract The main
More informationn WEAK AMENABILITY FOR LAU PRODUCT OF BANACH ALGEBRAS
U.P.B. Sci. Bull., Series A, Vol. 77, Iss. 4, 2015 ISSN 1223-7027 n WEAK AMENABILITY FOR LAU PRODUCT OF BANACH ALGEBRAS H. R. Ebrahimi Vishki 1 and A. R. Khoddami 2 Given Banach algebras A and B, let θ
More informationClassification of solvable Lie algebras - new approaches and developments
Classification of solvable Lie algebras - new approaches and developments Libor Šnobl, in collaboration with P. Winternitz and D. Karásek Department of Physics Faculty of Nuclear Sciences and Physical
More informationarxiv: v1 [math.co] 25 Jun 2014
THE NON-PURE VERSION OF THE SIMPLEX AND THE BOUNDARY OF THE SIMPLEX NICOLÁS A. CAPITELLI arxiv:1406.6434v1 [math.co] 25 Jun 2014 Abstract. We introduce the non-pure versions of simplicial balls and spheres
More informationarxiv: v1 [math.gr] 8 Nov 2008
SUBSPACES OF 7 7 SKEW-SYMMETRIC MATRICES RELATED TO THE GROUP G 2 arxiv:0811.1298v1 [math.gr] 8 Nov 2008 ROD GOW Abstract. Let K be a field of characteristic different from 2 and let C be an octonion algebra
More informationA manifestation of the Grothendieck-Teichmueller group in geometry
A manifestation of the Grothendieck-Teichmueller group in geometry Vasily Dolgushev Temple University Vasily Dolgushev (Temple University) GRT in geometry 1 / 14 Kontsevich s conjecture on the action of
More informationPolynomials of small degree evaluated on matrices
Polynomials of small degree evaluated on matrices Zachary Mesyan January 1, 2013 Abstract A celebrated theorem of Shoda states that over any field K (of characteristic 0), every matrix with trace 0 can
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationCommutative nilpotent rings and Hopf Galois structures
Commutative nilpotent rings and Hopf Galois structures Lindsay Childs Exeter, June, 2015 Lindsay Childs Commutative nilpotent rings and Hopf Galois structures Exeter, June, 2015 1 / 1 Hopf Galois structures
More informationELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS
ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need
More informationne varieties (continued)
Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we
More informationGroup Gradings on Finite Dimensional Lie Algebras
Algebra Colloquium 20 : 4 (2013) 573 578 Algebra Colloquium c 2013 AMSS CAS & SUZHOU UNIV Group Gradings on Finite Dimensional Lie Algebras Dušan Pagon Faculty of Natural Sciences and Mathematics, University
More informationBasic Concepts of Group Theory
Chapter 1 Basic Concepts of Group Theory The theory of groups and vector spaces has many important applications in a number of branches of modern theoretical physics. These include the formal theory of
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More informationDISTRIBUTIVE PRODUCTS AND THEIR HOMOLOGY
DISTRIBUTIVE PRODUCTS AND THEIR HOMOLOGY Abstract. We develop a theory of sets with distributive products (called shelves and multi-shelves) and of their homology. We relate the shelf homology to the rack
More informationNotes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers
Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1
More informationAtiyah classes and homotopy algebras
Atiyah classes and homotopy algebras Mathieu Stiénon Workshop on Lie groupoids and Lie algebroids Kolkata, December 2012 Atiyah (1957): obstruction to existence of holomorphic connections Rozansky-Witten
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationAlgorithm for Testing the Leibniz Algebra Structure
Algorithm for Testing the Leibniz Algebra Structure José Manuel Casas 1, Manuel A. Insua 2, Manuel Ladra 2, and Susana Ladra 3 1 Universidad de Vigo, 36005 Pontevedra, Spain jmcasas@uvigo.es 2 Universidad
More informationIN AN ALGEBRA OF OPERATORS
Bull. Korean Math. Soc. 54 (2017), No. 2, pp. 443 454 https://doi.org/10.4134/bkms.b160011 pissn: 1015-8634 / eissn: 2234-3016 q-frequent HYPERCYCLICITY IN AN ALGEBRA OF OPERATORS Jaeseong Heo, Eunsang
More informationApplication of Statistical Techniques for Comparing Lie Algebra Algorithms
Int. J. Open Problems Comput. Math., Vol. 5, No. 1, March, 2012 ISSN 2074-2827; Copyright c ICSRS Publication, 2012 www.i-csrs.org Application of Statistical Techniques for Comparing Lie Algebra Algorithms
More informationPrimitive arcs in P G(2, q)
Primitive arcs in P G(2, q) L. Storme H. Van Maldeghem December 14, 2010 Abstract We show that a complete arc K in the projective plane P G(2, q) admitting a transitive primitive group of projective transformations
More informationBackground on Chevalley Groups Constructed from a Root System
Background on Chevalley Groups Constructed from a Root System Paul Tokorcheck Department of Mathematics University of California, Santa Cruz 10 October 2011 Abstract In 1955, Claude Chevalley described
More informationNon-separable AF-algebras
Non-separable AF-algebras Takeshi Katsura Department of Mathematics, Hokkaido University, Kita 1, Nishi 8, Kita-Ku, Sapporo, 6-81, JAPAN katsura@math.sci.hokudai.ac.jp Summary. We give two pathological
More informationRigid monomial ideals
Rigid monomial ideals Timothy B.P. Clark and Sonja Mapes February 10, 011 Abstract In this paper we investigate the class of rigid monomial ideals. We give a characterization of the minimal free resolutions
More informationThe Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras
The Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras Klaus Pommerening July 1979 english version April 2012 The Morozov-Jacobson theorem says that every nilpotent element of a semisimple
More informationLECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)
LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups
More informationLax Embeddings of Generalized Quadrangles in Finite Projective Spaces
Lax Embeddings of Generalized Quadrangles in Finite Projective Spaces J. A. Thas H. Van Maldeghem 1 Introduction Definition 1.1 A (finite) generalized quadrangle (GQ) S = (P, B, I) is a point-line incidence
More informationL(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that
ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive
More informationarxiv: v1 [math.rt] 14 Nov 2007
arxiv:0711.2128v1 [math.rt] 14 Nov 2007 SUPPORT VARIETIES OF NON-RESTRICTED MODULES OVER LIE ALGEBRAS OF REDUCTIVE GROUPS: CORRIGENDA AND ADDENDA ALEXANDER PREMET J. C. Jantzen informed me that the proof
More informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More informationReducibility of generic unipotent standard modules
Journal of Lie Theory Volume?? (??)???? c?? Heldermann Verlag 1 Version of March 10, 011 Reducibility of generic unipotent standard modules Dan Barbasch and Dan Ciubotaru Abstract. Using Lusztig s geometric
More information(K + L)(c x) = K(c x) + L(c x) (def of K + L) = K( x) + K( y) + L( x) + L( y) (K, L are linear) = (K L)( x) + (K L)( y).
Exercise 71 We have L( x) = x 1 L( v 1 ) + x 2 L( v 2 ) + + x n L( v n ) n = x i (a 1i w 1 + a 2i w 2 + + a mi w m ) i=1 ( n ) ( n ) ( n ) = x i a 1i w 1 + x i a 2i w 2 + + x i a mi w m i=1 Therefore y
More informationInvertible Matrices over Idempotent Semirings
Chamchuri Journal of Mathematics Volume 1(2009) Number 2, 55 61 http://www.math.sc.chula.ac.th/cjm Invertible Matrices over Idempotent Semirings W. Mora, A. Wasanawichit and Y. Kemprasit Received 28 Sep
More informationThe Variety of 7-Dimensional 2-Step Nilpotent Lie Algebras
S S symmetry Article The Variety of 7-Dimensional 2-Step Nilpotent Lie Algebras María Alejandra Alvarez Departamento de Matemáticas, Universidad de Antofagasta, Antofagasta 1240000, Chile; maria.alvarez@uantof.cl
More informationDERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine
DERIVATIONS Introduction to non-associative algebra OR Playing havoc with the product rule? PART VI COHOMOLOGY OF LIE ALGEBRAS BERNARD RUSSO University of California, Irvine FULLERTON COLLEGE DEPARTMENT
More informationThe L 3 (4) near octagon
The L 3 (4) near octagon A. Bishnoi and B. De Bruyn October 8, 206 Abstract In recent work we constructed two new near octagons, one related to the finite simple group G 2 (4) and another one as a sub-near-octagon
More informationCONTINUITY. 1. Continuity 1.1. Preserving limits and colimits. Suppose that F : J C and R: C D are functors. Consider the limit diagrams.
CONTINUITY Abstract. Continuity, tensor products, complete lattices, the Tarski Fixed Point Theorem, existence of adjoints, Freyd s Adjoint Functor Theorem 1. Continuity 1.1. Preserving limits and colimits.
More informationDeterminants and polynomial root structure
International Journal of Mathematical Education in Science and Technology, Vol 36, No 5, 2005, 469 481 Determinants and polynomial root structure L G DE PILLIS Department of Mathematics, Harvey Mudd College,
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationSTABILITY OF INVARIANT SUBSPACES OF COMMUTING MATRICES We obtain some further results for pairs of commuting matrices. We show that a pair of commutin
On the stability of invariant subspaces of commuting matrices Tomaz Kosir and Bor Plestenjak September 18, 001 Abstract We study the stability of (joint) invariant subspaces of a nite set of commuting
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationINDECOMPOSABLE LIE ALGEBRAS WITH NONTRIVIAL LEVI DECOMPOSITION CANNOT HAVE FILIFORM RADICAL
International Mathematical Forum, 1, 2006, no. 7, 309-316 INDECOMPOSABLE LIE ALGEBRAS WITH NONTRIVIAL LEVI DECOMPOSITION CANNOT HAVE FILIFORM RADICAL J. M. Ancochea Bermúdez Dpto. Geometría y Topología
More informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationarxiv: v1 [math-ph] 1 Mar 2013
VOGAN DIAGRAMS OF AFFINE TWISTED LIE SUPERALGEBRAS BISWAJIT RANSINGH arxiv:303.0092v [math-ph] Mar 203 Department of Mathematics National Institute of Technology Rourkela (India) email- bransingh@gmail.com
More informationFree Subgroups of the Fundamental Group of the Hawaiian Earring
Journal of Algebra 219, 598 605 (1999) Article ID jabr.1999.7912, available online at http://www.idealibrary.com on Free Subgroups of the Fundamental Group of the Hawaiian Earring Katsuya Eda School of
More informationCollected trivialities on algebra derivations
Collected trivialities on algebra derivations Darij Grinberg December 4, 2017 Contents 1. Derivations in general 1 1.1. Definitions and conventions....................... 1 1.2. Basic properties..............................
More informationThe cycle polynomial of a permutation group
The cycle polynomial of a permutation group Peter J. Cameron School of Mathematics and Statistics University of St Andrews North Haugh St Andrews, Fife, U.K. pjc0@st-andrews.ac.uk Jason Semeraro Department
More informationSERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank
More informationEigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups
Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups Shrawan Kumar Talk given at AMS Sectional meeting held at Davidson College, March 2007 1 Hermitian eigenvalue
More information1 Smooth manifolds and Lie groups
An undergraduate approach to Lie theory Slide 1 Andrew Baker, Glasgow Glasgow, 12/11/1999 1 Smooth manifolds and Lie groups A continuous g : V 1 V 2 with V k R m k open is called smooth if it is infinitely
More informationREPRESENTATIONS OF S n AND GL(n, C)
REPRESENTATIONS OF S n AND GL(n, C) SEAN MCAFEE 1 outline For a given finite group G, we have that the number of irreducible representations of G is equal to the number of conjugacy classes of G Although
More informationGalois Correspondence Theorem for Picard-Vessiot Extensions
Arnold Math J. (2016) 2:21 27 DOI 10.1007/s40598-015-0029-z RESEARCH CONTRIBUTION Galois Correspondence Theorem for Picard-Vessiot Extensions Teresa Crespo 1 Zbigniew Hajto 2 Elżbieta Sowa-Adamus 3 Received:
More information