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.
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.
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.
We study certain (two-sided) nil ideals and nilpotent ideals in a Lie nilpotent ring R. Our results lead us to showing that the prime radical rad(R) of R comprises the nilpotent elements of R, and that if L is a left ideal of R, then L+rad(R) is a two-sided ideal of R. This in turn leads to a Lie nilpotent version of Cohen's theorem, namely if R is a Lie nilpotent ring and every prime (two-sided) ideal of R is finitely generated as a left ideal, then every left ideal of R containing the prime radical of R is finitely generated (as a left ideal). For an arbitrary ring R with identity we also co…
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…
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 $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…
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 proved that if a left brace $A$ has the operation $\ast$ associative, then $A$ is a two-sided brace. Consequently, $A$ is a Jacobson radical ring. This answers a question of Cedó, Gateva-Ivanova and Smoktunowicz.
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…
Let $A$ be a finite dimensional associative algebra over a perfect field and let $R$ be the radical of $A$. We show that for every one-sided ideal $I$ of $A$ there exists a semisimple subalgebra $S$ of $A$ such that $I=I_{S}\oplus I_{R}$ where $I_{S}=I\cap S$. and $I_{R}=I\cap R$.
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 study relations between the additive and the multiplicative groups of a two-sided skew brace. In particular, we prove that if the additive group of a two-sided skew brace is finite solvable (respectively, finitely generated nilpotent, finitely generated residually nilpotent, finitely generated residually finite), then the multiplicative group of this skew brace is solvable (respectively, solvable, residually solvable, residually finite). Also, we prove that if the multiplicative group of a two-sided skew brace is nilpotent of nilpotency class $k$, then the additive group of this skew brace …
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…
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 …
Let R be an associative ring with unity and let [R] and U(R) denote the associated Lie ring (with [a,b]=ab-ba) and the group of units of R, respectively. In 1983 Gupta and Levin proved that if [R] is a nilpotent Lie ring of class c then U(R) is a nilpotent group of class at most c. The aim of the present note is to show that, in general, a similar statement does not hold if [R] is n-Engel. We construct an algebra R over a field of characteristic different from 2 and 3 such that the Lie algebra [R] is 5-Engel but U(R) is not a 5-Engel group.
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…
We obtain the functions that bound the dimensions of finite dimensional nilpotent associative or Lie algebras of class 2 over an algebraically closed field in terms of the dimensions of their commutative subalgebras. As a result, we also compute a similar function for complex nilpotent Lie groups of class 2.
Let $F$ be a field of characteristic $\ne 2,3$ and let $A$ be a unital associative $F$-algebra. Define a left-normed commutator $[a_1, a_2, \dots , a_n]$ $(a_i \in A)$ 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)} (A)$ be the two-sided ideal in $A$ generated by all commutators $[a_1, a_2, \dots , a_n]$ ($a_i \in A )$. Define $T^{(1)} (A) = A$. Let $k, \ell$ be integers such that $k > 0$, $0 \le \ell \le k$. Let $m_1, \dots , m_k$ be positive integers such that $\ell$ of them are odd and $k…
Let $R$ be the associative $k$-algebra generated by two elements $x$ and $y$ with defining relation $yx=1$. A complete description of simple modules over $R$ is obtained by using the results of Irving and Gerritzen. We examine the short exact sequence $0\rightarrow U\rightarrow E \rightarrow V\rightarrow 0$, where $U$ and $V$ are simple $R$-modules. It shows that nonsplit extension only occurs when both $U$ and $V$ are one-dimensional, or, under certain condition, $U$ is infinite-dimensional and $V$ is one-dimensional.
The Hilbert Basis Theorem for Non-Associative Skew Power Series Rings and Non-Associative Skew Laurent Series Rings over a Non-Associative Coefficient Ring
Mindanao State University-Iligan Institute of Technology（棉兰老州立大学伊利甘理工学院）；Blekinge Institute of Technology（布莱金厄理工学院）
In this paper we introduce an algebra embedding $ι:K< X >\to S$ from the free associative algebra $K< X >$ generated by a finite or countable set $X$ into the skew monoid ring $S = P * Σ$ defined by the commutative polynomial ring $P = K[X\times N^*]$ and by the monoid $Σ= < σ>$ generated by a suitable endomorphism $σ:P\to P$. If $P = K[X]$ is any ring of polynomials in a countable set of commuting variables, we present also a general Gröbner bases theory for graded two-sided ideals of the graded algebra $S = \bigoplus_i S_i$ with $S_i = P σ^i$ and $σ:P \to P$ an abstract endomorphism satisfyi…
Let $\mathfrak{R}$ be an associative ring graded by left cancellative monoid $\mathsf{S}$, and $e$ the neutral element of $\mathsf{S}$. We study the following problem: if $\mathfrak{R}_e$ is nil, then is $\mathfrak{R}$ nil/nilpotent? We have proved that if $\mathfrak{R}_e$ is nil (of bounded index) and $\mathsf{f}$- commutative, then $\mathfrak{R}$ is nil (of bounded index). Later, we have shown that $\mathfrak{R}_e$ being nilpotent implies $\mathfrak{R}$ is nilpotent. Consequently, we have exhibited a generalization of Dubnov-Ivanov-Nagata-Higman Theorem for the graded algebras case. Furtherm…
The zero-divisor graph $Γ(R)$ of an associative ring $R$ is the graph whose vertices are all nonzero zero-divisors (one-sided and two-sided) of $R$, and two distinct vertices $x$ and $y$ are joined by an edge iff either $xy=0$ or $yx=0$. In the present paper, we give a full description of ring varieties where every finite ring is uniquely determined by its zero-divisor graph.
