arXiv Science⌕ Search

arXiv · 2610.12481

Quasi-derivations of Block Lie algebras $\mathcal{B}(q)$

Abstract

We compute quasi-derivations of Block Lie algebras $\mathcal{B}(q)$. In particular, we prove that $\mathcal{B}(q)$ has various nontrivial quasi-derivations, i.e., quasi-derivations different from derivations and $δ$-derivations. As corollaries, we obtain a complete description of $δ$-derivations, $δ$-biderivations, and transposed $δ$-Poisson structures on $\mathcal{B}(q)$ for $δ\notin\{0;1\}$. In particular, for $δ\notin\{0;1\}$, $\mathcal{B}(q)$ up to isomorphism admits only one nontrivial transposed $δ$-Poisson structure if $q\in\mathbb Z$, and $\mathcal{B}(q)$ does not admit nontrivial transposed $δ$-Poisson structures if $q\notin\mathbb Z$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ivan Kaygorodov, Abror Khudoyberdiyev, Zarina Shermatova. 2026-10-14. Quasi-derivations of Block Lie algebras $\mathcal{B}(q)$. https://arxiv.org/abs/2610.12481

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Polygraphic resolutions for operated algebras

This paper introduces the structure of operated polygraphs as a categorical model for rewriting in operated algebras, generalizing Gröbner--Shirshov bases with non-monomial termination orders. We show how to construct polygraphic resolutions of free operated algebras from confluent and terminating presentations. We provide a combinatorial description of critical branchings of operated polygraphs using the structure of polyautomata introduced in this paper. Polyautomata are linear polygraphs equipped with an operator structure formalized by a pushdown automaton. Finally, we apply our constructions to several families of operated algebras, including Rota--Baxter algebras, differential algebras, and differential Rota--Baxter algebras.

math.RA↗

Nonassociative algebras of anti-biderivation-type

The main purpose of this paper is to study the class of Jacobi-Jordan-admissible algebras whose product is an anti-biderivation of the related Jacobi-Jordan algebra; we call them $\mathcal A{\rm BD}$-algebras. We give characterizations of $\mathcal A{\rm BD}$-algebras and show that this class includes Jacobi-Jordan algebras, symmetric anti-Leibniz algebras and anti-${\rm LR}$-algebras. The derived algebra of an anti-${\rm LR}$-algebra is associative and commutative, and all identities of its commutator algebra follow from the metabelian identity and one identity of degree $4$. We also study $\mathcal A$flexible ${\mathcal A}{\rm BD}$-algebras and prove that a complex finite-dimensional Jacobi-Jordan algebra admits a non-trivial post-Jacobi-Jordan structure if and only if its dimension is at least $3$. Finally, we give the algebraic classification of complex $3$-dimensional $\mathcal A{\rm BD}$-algebras and show that complex finite-dimensional simple ${\mathcal A}{\rm BD}$-algebras are anticommutative, while perfect ones need not be; the minimal dimension of perfect non-anticommutative ${\mathcal A}{\rm BD}$-algebras is $4$.

math.RA↗

Quasi-projective dimensions of complexes over rings

Quasi-projective dimension of modules over associative rings is generalized in this paper to the one of complexes of modules. Basic properties of this dimension are established, including a comparison result with projective dimension and a derived Auslander-Buchsbaum formula for complexes of finite quasi-projective dimension. Several sufficient conditions are provided for a commutative noetherian local ring to be a complete intersection under the assumption that each finitely generated module has finite quasi-projective dimension. This provides some positive answers to an open question on quasi-projective dimension proposed by Gheibi-Jorgensen-Takahashi. Moreover, the behavior of quasi-projective dimension under taking the quotient of a commutative ring modulo a regular sequence is investigated, and some partial results toward the change-of-rings question on quasi-projective dimension are given.

math.RA↗