Let $K$ be a unital associative and commutative ring and let $K \langle X \rangle$ be the free unital associative $K$-algebra on a non-empty set $X$ of free generators. Define a left-normed commutator $[a_1, a_2, \dots , a_n]$ inductively by $[a_1, a_2] = a_1 a_2 - a_2 a_1$, $[a_1, \dots , a_{n-1}, a_n] = [[a_1, \dots , a_{n-1}], a_n]$ $(n \ge 3)$. For $n \ge 2$, let $T^{(n)}$ be the two-sided ideal in $K \langle X \rangle$ generated by all commutators $[a_1,a_2, \dots , a_n]$ $( a_i \in K \langle X \rangle )$.
It can be easily seen that the ideal $T^{(2)}$ is generated (as a two-sided ideal in $K \langle X \rangle$) by the commutators $[x_1, x_2]$ $(x_i \in X)$. It is well-known that $T^{(3)}$ is generated by the polynomials $[x_1,x_2,x_3]$ and $[x_1,x_2][x_3,x_4] + [x_1,x_3][x_2,x_4]$ $(x_i \in X)$. A similar generating set for $T^{(4)}$ contains 3 types of polynomials in $x_i \in X$ if $\frac{1}{3} \in K$ and 5 types if $\frac{1}{3} \notin K$. In the present article we exhibit a generating set for $T^{(5)}$ that contains 8 types of polynomials in $x_i \in X$.
We classify nilpotent associative algebras of dimensions up to 4 over any field. This is done by constructing the nilpotent associative algebras as central extensions of algebras of smaller dimension, analogous to methods known for nilpotent Lie algebras.
The paper concerns an analogue of the famous Schur multiplier in the context of associative algebras and a measure of how far its dimension is from being maximal. Applying a methodology from Lie theory, we characterize all finite-dimensional nilpotent associative algebras for which this measure is ten or less.
We investigate Lie algebras whose Lie bracket is also an associative or cubic associative multiplication to characterize the class of nilpotent Lie algebras with a nilindex equal to 2 or 3. In particular we study the class of 2-step nilpotent Lie algebras, their deformations and we compute the cohomology which parametrize the deformations in this class.
In this paper we classify filiform associative algebras of degree $k$ over a field of characteristic zero. Moreover, we also classify naturally graded complex filiform and quasi-filiform nilpotent associative algebras which are described by the characteristic sequence $C(\mathcal{A})=(n-2,1,1)$ or $C(\mathcal{A})=(n-2,2)$.
In this paper, we study 4-dimensional nilpotent complex associative algebras. This is a continuation of the study of the moduli space of 4-dimensional algebras. The non-nilpotent algeras were analyzed in an earlier paper. Even though there are only 15 families of nilpotent 4-dimensional algebras, the complexity of their behaviour warrented a separate study, which we give here.
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 $[... [ [r_1, r_{2}], ... ], r_{n-1}], r_{n}]$ are also studied.
This paper is devoted to the complete algebraic and geometric classification of complex $4$-dimensional nilpotent weakly associative, complex $4$-dimensional symmetric Leibniz algebras, and complex $5$-dimensional nilpotent symmetric Leibniz algebras. In particular, we proved that the variety of complex $4$-dimensional symmetric Leibniz algebras has no Vergne--Grunewald--O'Halloran Property (there is an irreducible component formed by only nilpotent algebras), but on the other hand, it has Vergne Property (there are no rigid nilpotent algebras).
In this paper we study the moduli space of 4-dimensional complex associative algebras. We use extensions to compute the moduli space, and then give a decomposition of this moduli space into strata consisting of complex projective orbifolds, glued together through jump deformations. Because the space of 4-dimensional algebras is large, we only classify the non-nilpotent algebras in this paper.
We give a computional method to construct and classify nilpotent Jordan algebras over any arbitrary fields by the second cohomolgy of nilpotent Jordan algebras of low dimension "analogue of Skjelbred-Sund method", we see that every nilpotent Jordan algebras can be constructed by the second cohomolgy of nilpotent Jordan algebras of low dimension. We use this method to classify nilpotent Jordan algebras up to dimension three over any field and nilpotent Jordan algebras of dimension four over an algebraic closed field of characteristic not 2 and over the real field R. Also commutative nilpotent a…
Let A be an associative algebra of arbitrary dimension over a field F and G a finite soluble group of automorphisms of A oforder n, prime to the characteristic of F. We prove that if the fixed-point subalgebra of A under the action of G contains a two-sided nilpotent ideal of nilpotency index d and of finite codimension m in I, then A contains a nilpotent two-sided ideal of nilpotency index bounded by a function of n and d and of finite codimension bounded by a function of m, n and d.
We consider associative algebras over a field. An algebra variety is said to be {\em Lie nilpotent} if it satisfies a polynomial identity of the kind $[x_1, x_2, ..., x_n] = 0$ where $[x_1,x_2] = x_1x_2 - x_2x_1$ and $[x_1, x_2, ..., x_n]$ is defined inductively by $[x_1, x_2, ..., x_n]=[[x_1, x_2, ..., x_{n-1}],x_n]$. By Zorn's Lemma every non-Lie nilpotent variety contains a minimal such variety, called {\em almost Lie nilpotent}, as a subvariety. A description of almost Lie nilpotent varieties for algebras over a field of characteristic 0 was made up by Yu.Mal'cev. We find a list of non-pri…
The paper concerns nilpotent associative dialgebras and their corresponding diassociative Schur multipliers. Using Lie (and group) theory as a guide, we first extend a classic five-term cohomological sequence under alternative conditions in the nilpotent setting. This main result is then applied to obtain a new proof for a previous extension of the same sequence. It also yields a different extension of the sequence that involves terms in the upper central series. Furthermore, we use the main result to obtain a collection of dimension bounds on the multiplier of a nilpotent diassociative algebr…
In this paper we classify the isomorphism classes of four dimensional nilpotent associative algebras over a field F, studying regular subgroups of the affine group AGL_4(F). In particular we provide explicit representatives for such classes when F is a finite field, the real field R or an algebraically closed field.
The word problem is an old and central problem in (computational) group theory. It is well-known that the word problem is undecidable in general, but decidable for specific types of presentations. Consistent polycyclic presentations are an important class of group presentations with solvable word problem. These presentations play a fundamental role in the algorithmic theory of polycyclic groups. Problems analogous to the word problem arise when computing with other algebraic structures. Various aspects of this topic are considered in the literature. The aim of this paper is to provide a genera…
It is established in this work that second Hochshild cohomology group of the associative conformal algebra Cend_{1,x} is zero. As a corollary, this algebra split off in each extension with a nilpotent kernel. Key words: associative conformal algebra, splitting off radical, Hochshild cohomology.
Let $A$ be an associative algebra over a field of characteristic $\neq 2$ that is generated by a finite collection of nilpotent elements. We prove that all Lie derived powers of $A$ are finitely generated Lie algebras.
Let K be a field, then we exhibit two matrices in the full nxn matrix algebra M_{n}(K) which generate M_{n}(K) as a Lie K-algebra with the commutator Lie product. We also study Lie centralizers of a not necessarily commutative unitary algebra and obtain results which we hope will eventually be a step in the direction of, firstly, proving that a Lie-nilpotent K-subspace (or a sub Lie K-algebra) of a finite-dimensional associative algebra over K of index k (say) generates a Lie-nilpotent associative subalgebra of much higher nilpotency index, and secondly, in the light of the sharp upper bound f…
Let Z<X> be the free unitary associative ring freely generated by an infinite countable set X = {x_1, x_2,...}. Define a left-normed commutator [x_1, x_2, ..., x_n] by [a,b] = ab - ba, [a,b,c] = [[a,b],c]. For n \ge 2, let T^(n) be the ideal in Z<X> generated by all commutators [a_1,a_2,..., a_n] (a_i \in Z<X>). It can be easily seen that the additive group of the quotient ring Z<X> /T^(2) is a free abelian group. Recently Bhupatiraju, Etingof, Jordan, Kuszmaul and Li have noted that the additive group of Z<X> /T^(3) is free abelian as well. In the present note we show that this is not the cas…
We give an explicit description of commutative post-Lie algebra structures on some classes of nilpotent Lie algebras. For non-metabelian filiform nilpotent Lie algebras and Lie algebras of strictly upper-triangular matrices we show that all CPA-structures are associative and induce an associated Poisson-admissible algebra.
We study the quotient Q_i(A) of a free algebra A by the ideal M_i(A) generated by relation that the i-th commutator of any elements is zero. In particular, we completely describe such quotient for i=4 (for i<=3 this was done previously by Feigin and Shoikhet). We also study properties of the ideals M_i(A), e.g. when M_i(A)M_j(A) is contained in M_{i+j-1}(A) (by a result of Gupta and Levin, it is always contained in M_{i+j-2}(A)).
Let $F$ be a field and let $F \langle X \rangle$ be the free unital associative algebra over $F$ freely generated by an infinite countable set $X = \{x_1, x_2, \dots \}$. Define a left-normed commutator $[a_1, a_2, \dots, a_n]$ recursively by $[a_1, a_2] = a_1 a_2 - a_2 a_1$, $[a_1, \dots, a_{n-1}, a_n] = [[a_1, \dots, a_{n-1}], a_n]$ $(n \ge 3)$. For $n \ge 2$, let $T^{(n)}$ be the two-sided ideal in $F \langle X \rangle$ generated by all commutators $[a_1, a_2, \dots, a_n]$ ($a_i \in F \langle X \rangle)$. Let $F$ be a field of characteristic $0$. In 2008 Etingof, Kim and Ma conjectured that…
Let $G$ be a group generated by a set $X$. It is well known and easy to check that \[ [g_1, g_2, \dots ,g_n] = 1 \mbox{ for all } g_i \in G \qquad \iff \qquad [x_1, x_2, \dots , x_n] =1 \mbox{ for all } x_i \in X. \] Let $L$ be a Lie algebra generated by a set $X$. Then it is also well known and easy to check that \[ [h_1, h_2, \dots , h_n] = 0 \mbox{ for all } h_i \in L \qquad \iff \qquad [x_1, x_2, \dots ,x_n] = 0 \mbox{ for all } x_i \in X. \] Now let $A$ be a unital associative algebra generated by a set $X$. Then the assertion similar to the above does not hold: for $n > 2$, it is easy to…
Let $\mathbb Z \langle X \rangle$ be the free unital associative ring freely generated by an infinite countable set $X = \{ x_1,x_2, \dots \}$. Define a left-normed commutator $[x_1,x_2, \dots, x_n]$ by $[a,b] = ab - ba$, $[a,b,c] = [[a,b],c]$. For $n \ge 2$, let $T^{(n)}$ be the two-sided ideal in $\mathbb Z \langle X \rangle$ generated by all commutators $[a_1,a_2, \dots, a_n]$ $( a_i \in \mathbb Z \langle X \rangle )$. Let $T^{(3,2)}$ be the two-sided ideal of the ring $\mathbb Z \langle X \rangle$ generated by all elements $[a_1, a_2, a_3, a_4]$ and $[a_1, a_2] [a_3, a_4, a_5]$ $(a_i \in \…
It is shown that any finite-dimensional homomorphic image of an inverse limit of nilpotent not-necessarily-associative algebras over a field is nilpotent. More generally, this is true of algebras over a general commutative ring k, with "finite-dimensional" replaced by "of finite length as a k-module". These results are obtained by considering the multiplication algebra M(A) of an algebra A (the associative algebra of k-linear maps A -> A generated by left and right multiplications by elements of A), and its behavior with respect to nilpotence, inverse limits, and homomorphic images. As a corol…
A non-nilpotent variety of algebras is almost nilpotent if any proper subvariety is nilpotent. Let the base field be of characteristic zero. It has been shown that for associative or Lie algebras only one such variety exists. Here we present infinite families of such varieties. More precisely we shall prove the existence of 1) a countable family of almost nilpotent varieties of at most linear growth and 2) an uncountable family of almost nilpotent varieties of at most quadratic growth.
In this paper, we focus on derivations and centroids of four dimensional associative algebras. Using an existing classification result of low dimensional associative algebras, we describe the derivations and centroids of four dimensional associative algebras. We also identify algebra(s) that belong to the characteristically nilpotent class among the algebras of four dimensional associative algebras.
The paper is devoted to classify nilpotent Jordan algebras of dimension up to five over an algebraically closed field of characteristic not 2. We obtained a list of 35 isolated non-isomorphic 5-dimensional nilpotent non-associative Jordan algebras and 6 families of non-isomorphic 5-dimensional nilpotent non-associative Jordan algebras depending either on one or two parameters over an algebraically closed field of characteristic not 2 or 3. In addition to these algebras we obtained two non-isomorphic 5-dimensional nilpotent non-associative Jordan algebras over an algebraically closed field of c…
By the Golod--Shafarevich Theorem, an associative algebra R given by n generators and d<n^2/3 homogeneous quadratic relations is not 5-step nilpotent. We prove that this estimate is optimal. Namely, we show that for every positive integer n, there is an algebra R given by n generators and n^2/3 homogeneous quadratic relations such that R is 5-step nilpotent.
The Leibniz algebras appeared as a generalization of the Lie algebras. In this work we deal with the classification of nilpotent complex Leibniz algebras of low dimensions. Namely, the classification of nilpotent complex Leibniz algebras dimensions less than 3 is extended to the dimension four. {\it AMS Subject Classifications}: 16D70, 17A30, 17A60, 17B30 {\it Key words:} Leibniz algebra, associative algebra, nilpotence, nulfiliform Leibniz algebra, filiform Leibniz algebra.
Given a pair of nilpotent Lie algebras $A$ and $B$, an extension $0\xrightarrow{} A\xrightarrow{} L\xrightarrow{} B\xrightarrow{} 0$ is not necessarily nilpotent. However, if $L_1$ and $L_2$ are extensions which correspond to lifts of a map $Φ:B\xrightarrow{} \text{Out}(A)$, it has been shown that $L_1$ is nilpotent if and only if $L_2$ is nilpotent. In the present paper, we prove analogues of this result for the algebras of Loday. As an important consequence, we thereby gain its associative analogue as a special case of diassociative algebras.
Using cocycle twists for associative graded algebras, we characterize finite dimensional nilpotent Lie color algebras $L$ graded by arbitrary abelian groups whose enveloping algebras $U(L)$ have the property that the injective hulls of simple right $U(L)$-modules are locally Artinian. We also collect together results on gradings on Lie algebras arising from this characterization.
In this note we establish several basic properties of nilpotent Sabinin algebras. Namely, we show that nilpotent Sabinin algebras (1) can be integrated to produce nilpotent loops, (2) satisfy an analogue of the Ado theorem, (3) have nilpotent Lie envelopes. We also give a new set of axioms for Sabinin algebras. These axioms reflect the fact that a complementary subspace to a Lie subalgebra in a Lie algebra is a Sabinin algebra. Finally, we note that the non-associative version of the Jennings theorem produces a version of Ado theorem for loops whose commutator-associator filtration is of finit…
In commutative algebra, if $δ$ is a locally nilpotent derivation of the polynomial algebra $K[x_1,\ldots,x_d]$ over a field $K$ of characteristic 0 and $w$ is a nonzero element of the kernel of $δ$, then $Δ=wδ$ is also a locally nilpotent derivation with the same kernel as $δ$. In this paper we prove that the locally nilpotent derivation $Δ$ of the free associative algebra $K\langle X,Y\rangle$ is determined up to a multiplicative constant by its kernel. We show also that the kernel of $Δ$ is a free associative algebra and give an explicit set of its free generators.
Let V be a variety of not necessarily associative algebras, and A an inverse limit of nilpotent algebras A_i\in V, such that some finitely generated subalgebra S \subseteq A is dense in A under the inverse limit of the discrete topologies on the A_i. A sufficient condition on V is obtained for all algebra homomorphisms from A to finite-dimensional algebras B to be continuous; in other words, for the kernels of all such homomorphisms to be open ideals. This condition is satisfied, in particular, if V is the variety of associative, Lie, or Jordan algebras. Examples are given showing the need for…
We prove that the only proper right ideal of the universal enveloping algebra of a finite-dimensional central simple Lie triple system over a field of characteristic zero is its augmentation ideal.
The double extension and the T*-extension are classical methods for constructing finite dimensional quadratic Lie algebras. The first one gives an inductive classification in characteristic zero, while the latest produces quadratic non-associative algebras (not only Lie) out of arbitrary ones in characteristic different from 2. The classification of quadratic nilpotent Lie algebras can also be reduced to the study of free nilpotent Lie algebras and their invariant forms. In this work we will establish an equivalent characterization among these three construction methods. This equivalence reduc…
In this paper we study the isomorphism problem for the universal enveloping algebras of nilpotent Lie algebras. We prove that if the characteristic of the underlying field is not~2 or~3, then the isomorphism type of a nilpotent Lie algebra of dimension at most~6 is determined by the isomorphism type of its universal enveloping algebra. Examples show that the restriction on the characteristic is necessary.
We study the universal enveloping associative conformal algebra for the central extension of a current Lie conformal algebra at the locality level $N=3$. A standard basis of defining relations for this algebra is explicitly calculated. As a corollary, we find a linear basis of the free commutative conformal algebra relative to the locality $N=3$ on the generators.
Turin Polytechnic University in Tashkent（塔什干都灵理工大学）；Universiti Teknologi MARA (UiTM)（马来西亚理科大学）；V.I. Romanovsky Institute of Mathematics, Uzbekistan Academy of Sciences（乌兹别克斯坦科学院V.I.罗曼诺夫斯基数学研究所）
Denote by (R,.) the multiplicative semigroup of an associative algebra R over an infinite field, and let (R,*) represent R when viewed as a semigroup via the circle operation x*y=x+y+xy. In this paper we characterize the existence of an identity in these semigroups in terms of the Lie structure of R. Namely, we prove that the following conditions on R are equivalent: the semigroup (R,*) satisfies an identity; the semigroup (R,.) satisfies a reduced identity; and, the associated Lie algebra of R satisfies the Engel condition. When R is finitely generated these conditions are each equivalent to …
The algebraic and geometric classification of commutative post-Lie algebras
Mansoura University（曼苏拉大学）；University of Beira Interior（比拉内陆大学）；Romanovsky Institute of Mathematics, Academy of Sciences of Uzbekistan（乌兹别克斯坦科学院罗曼诺夫斯基数学研究所）
The purpose of this paper is to discuss the universal algebra theory of hom-algebras. This kind of algebra involves a linear map which twists the usual identities. We focus on hom-associative algebras and hom-Lie algebras for which we review the main results. We discuss the envelopment problem, operads, and the Diamond Lemma; the usual tools have to be adapted to this new situation. Moreover we study Hilbert series for the hom-associative operad and free algebra, and describe them up to total degree equal 8 and 9 respectively.
This paper is a contribution to the development of the non associative algebras theory. More precisely, this work deals with the classification of the complex 4-dimensional Leibniz algebras. Note that the classification of 4-dimensional nilpotent complex Leibniz algebras was obtained in [1]. Therefore we will only consider non nilpotent case in this work.
We show that the universal associative enveloping algebra of the simple anti-Jordan triple system of all $n \times n$ matrices $(n \ge 2)$ over an algebraically closed field of characteristic 0 is finite dimensional. We investigate the structure of the universal envelope and focus on the monomial basis, the structure constants, and the center. We explicitly determine the decomposition of the universal envelope into matrix algebras. We classify all finite dimensional irreducible representations of the simple anti-Jordan triple system, and show that the universal envelope is semisimple. We also …
