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 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.
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…
In this article we define the $c$-nilpotent multiplier of a finite dimensional Lie suepralgebra. We characterize the structure of $2$-nilpotent multiplier of finite dimensional nilpotent Lie superalgebras whose derived subalgebras have dimension at most one. Then we give an upper bound on the dimension of $2$-nilpotent multiplier of any finite dimensional nilpotent Lie superalgebra. Moreover, we discuses the $2$-capability of special as well as odd Heisenberg Lie superalgebras and abelian Lie superalgebras.
In this paper, we introduce the concept of (super-)multiplier-rank for Lie superalgeras and classify all the finite-dimensional nilpotent Lie superalgebras of multiplier-rank $\leq 2$ over an algebraically closed field of characteristic zero. In the process, we also determine the multipliers of Heisenberg superalgebras.
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…
We consider the Schur multipliers of finite dimensional nilpotent Lie algebras. If the algebra has dimension greater than one, then the Schur multiplier is non-zero. We give a direct proof of an upper bound for the dimension of the Schur multiplier as a function of class and the minimum number of generators of the algebra. We then compare this bound with another known bound.
We introduce the notion of c-nilpotent Schur Lie-multiplier of Leibniz algebras. We obtain exact sequences and formulas of the dimensions of the underlying vector spaces relating the c-nilpotent Schur Lie-multiplier of a Leibniz algebra Q and its quotient by a two-sided ideal. These tools are used to characterize Lie-nilpotency and c-Lie-stem covers of Leibniz algebras. We prove the existence of c-Lie-stem covers for finite dimensional Leibniz algebras and the non existence of c-covering on certain Lie-nilpotent Leibniz algebras with non trivial c-nilpotent Schur Lie-multiplier, and we provide…
In this paper, we determine the behavior of the $c$-nilpotent multiplier of Lie algebras with respect to the direct sums. Then we give some results on the $c$-capability of the direct sum of finite dimensional Lie algebras.
Let $ L $ be an $ n $-dimensional non-abelian nilpotent Lie algebra and $ s(L)=\frac{1}{2}(n-1)(n-2)+1-\dim \mathcal{M}(L) $ where $ \mathcal{M}(L) $ is the Schur multiplier of a Lie algebra $ L. $ The structures of nilpotent Lie algebras $ L $ when $ s(L)\in \lbrace 0,1,2,3,4,5\rbrace $ are determined. In this paper, we classify all non-abelian nilpotent Lie algebras $ L $ when $ s(L)=6,7. $
Let $L$ be a nilpotent Lie superalgebra of dimension $(m\mid n)$ and $s(L) = \frac{1}{2}[(m + n - 1)(m + n -2)]+ n+ 1 - \dim \mathcal{M}(L)$, where $\mathcal{M}(L)$ denotes the Schur multiplier of $L$. Here $s(L)\geq 0$ and the structure of all non-abelian nilpotent Lie superalgebras with $s(L)=0$ is known((\cite{Nayak2019}). This paper is devoted to obtain all nilpotent Lie superalgebras when $s(L) \leq 2$. Further, we apply those results to list all non-abelian nilpotent Lie superalgebras $L$ with $ t(L) \leq 4$.
For a finite dimensional Lie algebra $L$, it is known that $s(L)=\f{1}{2}(n-1)(n-2)+1-\mathrm{dim} M(L)$ is non negative. Moreover, the structure of all finite nilpotent Lie algebras is characterized when $s(L)=0,1$ in \cite{ni,ni4}. In this paper, we intend to characterize all nilpotent Lie algebra while $s(L)=2.$
This paper is devoted to the characterization of all finite dimensional nilpotent Lie algebras $L$ with $S^{2}(L)=0,1,2,3$, where we define $dim ~\mathcal{M}^{2}(L) = \dfrac{1}{3}n(n-1)(n-2)+3-S^{2}(L).$
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.
For a nilpotent Lie algebra $L$ of dimension $n$ and dim$(L^2)=m$, we find the upper bound dim$(M(L))\leq {1/2}(n+m-2)(n-m-1)+1$, where $M(L)$ denotes the Schur multiplier of $L$. In case $m=1$ the equality holds if and only if $L\cong H(1)\oplus A$, where $A$ is an abelian Lie algebra of dimension $n-3$ and H(1) is the Heisenberg algebra of dimension 3.
There are some results on nilpotent Lie algebras $ L $ investigate the structure of $ L $ rely on the study of its $2$-nilpotent multiplier. It is showed that the dimension of the $2$-nilpotent multiplier of $ L $ is equal to $ \frac{1}{3} n(n-2)(n-1)+3-s_2(L).$ Characterizing the structure of all nilpotent Lie algebras has been obtained for the case $ s_2(L)=0.$ This paper is devoted to the characterization of all nilpotent Lie algebras when $ 0\leq s_2(L)\leq 6.$ Moreover, we show that which of them are $2$-capable.
In the present context, we investigate to obtain some more results about $2$-nilpotent multiplier $\mathcal{M}^{(2)}(L)$ of a finite dimensional nilpotent Lie algebra $L$. For instance, we characterize the structure of $\mathcal{M}^{(2)}(H)$ when $H$ is a Heisenberg Lie algebra. Moreover, we give some inequalities on $ \mathrm{dim}~ \mathcal{M}^{(2)}(L)$ to reduce a well known upper bound on $2$-nilpotent multiplier as much as possible. Finally, we show that $H(m)$ is 2-capable if and only if m=1.
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…
In this paper, first we prove that all finite dimensional special Heisenberg Lie superalgebras with even center have same dimension, say $(2m+1\mid n)$ for some non-negative integers $m,n$ and are isomorphism with them. Further, for a nilpotent Lie superalgebra $L$ of dimension $(m\mid n)$ and $\dim (L') = (r\mid s)$ with $r+s \geq 1$, we find the upper bound $\dim \mathcal{M}(L)\leq \frac{1}{2}\left[(m + n + r + s - 2)(m + n - r -s -1) \right] + n + 1$, where $\mathcal{M}(L)$ denotes the Schur multiplier of $L$. Moreover, if $(r, s) =(1, 0)\; (\mathrm{respectively}\; (r,s) = (0,1))$, then the…
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 $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 i…
For a non-abelian Lie algebra $L$ of dimension $n$ with the derived subalgebra of dimension $m$ , the first author earlier proved that the dimension of its Schur multiplier is bounded by $\frac{1}{2}(n+m-2)(n-m-1)+1$. In the current work, we give some new inequalities on the exterior square and the Schur multiplier of Lie algebras and then we obtain the class of all nilpotent Lie algebras which attains the above bound. Moreover, we also improve this bound as much as possible.
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.