کران بالایی برای کلاس پوچ توانی جبرهای لایبنیتز

در این مقاله ،کلاس پوچ توانی جبر های لایبنیتز با تولید متناهی را با کلاس پوچ توانی زیرجبر های آنها مقایسه می کنیم و کران بالایی برای آن ارائه می دهیم. به عنوان نتیجه اصلی نشان می دهیم که اگر a یک جبر لایبنیتز پوچ توان با تولید متناهی و d > 1 تعداد مولد های کمین آن باشد و c ماکزیمم کلاس پوچ توانی زیرجبرهای بیشین a باشد، آن گاه a  پوچ توان از کلاس حداکثر ⌊cd/(d-1) ⌋ است که در آن ⌊ ⌋  تابع جزء صحیح می باشد. همچنین با ارائه ساختار یک خانواده از جبر های لایبنیتز نشان می دهیم که در حالت d = 1، کلاس پوچ توانی یک جبر لایبنیتز، بیشترین مقدار خود را اختیار می کند که در واقع بعد آن جبر لایبنیتز است. 

an upper bound for the nilpotency class of leibniz algebras

introduction the notion of leibniz algebras is introduced by blokh in 1965 as a noncommutative version of lie algebras and rediscovered by loday in 1993. a leibniz algebra is a vector space a over a field f together with a bilinear map  [ , ] : a × a           a usually called the leibniz bracket of a, satisfying the leibniz identity:                                       [x,[y,z]] = [[x,y],z] – [[x,z],y] ,  x,y,z ∈ a.           the classification of nilpotent leibniz algebras is one of the most important subject in the study of leibniz algebras. in the present paper, we obtain an upper bound for the nilpotency class of a finitely generated nilpotent leibniz algebra a in terms of the maximum of the nilpotency classes of maximal subalgebras of a and the minimal number of generators of a.  main resultsthroughout the paper, any leibniz algebra a is considered over a fixed field f, c denotes the maximum of the nilpotency classes of maximal subalgebras of a, d is the minimal number of generators of a and ⌊ ⌋ denotes the integral part. moreover, we inductively define: a1=a and an = [an-1,a], for n ≥ 2.lemma 1. let a be a nilpotent leibniz algebra and m be a maximal subalgebra of a. then m is a two-sided ideal of a.lemma 2. let i be a two-sided ideal of a leibniz algebra a and {x1,x2, … ,xk} be a subset of a which contains at least n elements of i (n ≤ k). then  [[[x1,x2],x3], … ,xk] ∈ in.    theorem 3. let a be a finitely generated nilpotent leibniz algebra such that    d > 1. then a is nilpotent of class at most ⌊cd/(d-1)⌋.corollary 4. let a be a finitely generated nilpotent leibniz algebra and {x1,x2, … ,xd} be a minimal generating set of a with d > 1. thencl(a)≤max1≤i≤d⌊clmi dd-1⌋,where mi is the two-sided ideal generated by the set { x1 , …, xi-1 , xi+1 , … ,xd} and cl denotes the nilpotency class.corollary 5. let a be a finitely generated nilpotent leibniz algebra of class       k with d > 1. then c ≤ k ≤ 2c.corollary 6. let a be a finitely generated nilpotent leibniz algebra such that  d > c+1. then a is nilpotent of class c.corollary 7. let a be a finitely generated nilpotent leibniz algebra of class     2c such that d > 1. then d=2.proposition 8. there is not any non-lie leibniz algebra with at least two generators, whose maximal subalgebras are all abelian.