Let g be a complex simple Lie algebra. Fix a Borel subalgebra b and a Cartan subalgebra t ⊂ b. The nilpotent radical of b is denoted by u. The corresponding set of positive (resp. simple) roots is ∆ (resp. Π). An ideal of b is called ad-nilpotent, if it is contained in [b, b]. The theory of ad-nilpotent ideals has attracted much recent attention in the work of Kostant, Cellini-Papi, Sommers, an...

In this paper, first we introduce the notions of k-nilpotent (solvable) ideals and BCK-algebras. Specially, show that every commutative ideal is 1-nilpotent (solvable). Second, state an equivalent condition to k-nilpotency (solvablity) BCK-algebra. Finally, study n-fold 2-nilpotent BCK-algebras as a generalization BCK-algebras, relation between these two concepts. Basically, compare solvable (B...

A 4x4 bit multiplier is demonstrated based on the Chinese abacus. As comparing the simulation result of this work with the speed and power consumption of the 4x4 bits Braun array multiplier, the delays of the 4-bit abacus multiplier are 19.7% and 10.6% less than that of Braun array multiplier with 0.35μm and 0.18μm technologies, respectively. Meanwhile, the power consumption of the 4-bit abacus...

A 4x4 and 8x8 bit multiplier is demonstrated based on the Chinese abacus. As comparing the simulation result of this work with the speed of the 4x4 and 8x8 bits Braun array multiplier, the delays of the 8-bit abacus multiplier are 14% and 7.5% less than that of Braun array multiplier with 0.35μm and 0.18μm technologies, respectively. Meanwhile, the power consumption of the 8-bit abacus multipli...

A problem of reducing intuitionistic fuzzy matrices is examined and some useful properties are obtained with respect to nilpotent intutionistic fuzzy matrices. First, reduction of irreflexive and transitive intuitionistic fuzzy matrices are considered, and then the properties are applied to nilpotent intutionistic fuzzy matrices. Nilpotent intuitionistic fuzzy matrices are intuitionistic fuzzy ...

The isomorphism problem for centrally nilpotent loops can be tackled by methods of cohomology. We develop tools based on cohomology and linear algebra that either lend themselves to direct count of the isomorphism classes (notably in the case of nilpotent loops of order 2q, q a prime), or lead to efficient classification computer programs. This allows us to enumerate all nilpotent loops of orde...

We prove that a Lie nilpotent one-sided ideal of an associative ring R is contained in a Lie solvable two-sided ideal of R. An estimation of derived length of such Lie solvable ideal is obtained depending on the class of Lie nilpotency of the Lie nilpotent one-sided ideal of R. One-sided Lie nilpotent ideals contained in ideals generated by commutators of the form [. . . [[r1, r2], . . .], rn−1...

Let L be a Lie algebra with universal enveloping algebra U(L). We prove that if H is another Lie algebra with the property that U(L) ∼= U(H) then certain invariants of L are inherited by H. For example, we prove that if L is nilpotent then H is nilpotent with the same class as L. We also prove that if L is nilpotent of class at most two then L is isomorphic to H.