Related papers: Gr\"obner-Shirshov bases and their calculation
The notion of Lie algebroids over a topological ringed space provides a unified framework to study various geometric structures. This geometric concept is intimately connected with well-known algebraic structures, including Gerstenhaber…
We use the theory of Gr\"obner-Shirshov bases for ideals to construct linear bases for graded local Weyl modules for the (hyper) current and the truncated current algebras associated to the finite-dimensional complex simple Lie algebra…
For sigma-PWB extensions, we extend to modules the theory of Gr\"obner bases of left ideals presented in [5]. As an application, if A is a bijective quasi-commutative sigma-PWB extension, we compute the module of syzygies of a submodule of…
We develop a Gr\"obner basis theory for a class of algebras that generalizes both PBW-algebras and rings of differential algebras on smooth varieties. Emphasis lies on methods to compute filtrations and graded structures defined by weight…
We study the skew-symmetric prolongation of a Lie subalgebra $\g \subseteq \mathfrak{so}(n)$, in other words the intersection $\Lambda^3 \cap (\Lambda^1 \otimes \g)$.We compute this space in full generality. Applications include uniqueness…
We develop the Lie theory of Lie-admissible algebras whose product is enriched with higher operations modeled on directed graphs with a view to apply it to the deformation theories controlled by this kind of Lie algebras. We produce…
We present here a new approach for computing Gr\"obner bases for bilateral modules over an effective ring. Our method is based on Weispfenning notion of restricted Gr\"obner bases and related multiplication.
We develop an algebraic language theory based on the notion of an Eilenberg--Moore algebra. In comparison to previous such frameworks the main contribution is the support for algebras with infinitely many sorts and the connection to logic…
The aim of this article is to obtain variations on the classical theorems of Schur and Baer on finiteness of commutator subgroups, valid in the contexts of Lie algebras and Leibniz algebras over a field. Using non-abelian tensor products…
We define a new cohomology for associative algebras which we compute for algebras with units.
We construct an explicit example of a generalized Lie 3-algebra from the octonions. In combination with the result of arXiv:0807.0808, this gives rise to a three-dimensional N=2 Chern-Simons-matter theory with exceptional gauge group G_2…
An application of the Gordan-Hilbert finite algebraic basis theorem is suggested.
In this paper, we mainly study the generalized Heisenberg-Virasoro algebra. Some structural properties of the Lie algebra are studied.
This paper shows that every Plactic algebra of finite rank admits a finite Gr\"obner--Shirshov basis. The result is proved by using the combinatorial properties of Young tableaux to construct a finite complete rewriting system for the…
Many rings and algebras arising in quantum mechanics can be interpreted as skew PBW (Poincar\'e-Birkhoff-Witt) extensions. Indeed, Weyl algebras, enveloping algebras of finite-dimensional Lie algebras (and its quantization), Artamonov…
In this paper we will define analogs of Gr\"obner bases for $R$-subalgebras and their ideals in a polynomial ring $R[x_1,\ldots,x_n]$ where $R$ is a noetherian integral domain with multiplicative identity and in which we can determine ideal…
We develop a version of the Bass-Serre theory for Lie algebras (over a field $k$) via a homological approach. We define the notion of fundamental Lie algebra of a graph of Lie algebras and show that this construction yields Mayer-Vietoris…
The so called generalized down-up algebras are revisited from a viewpoint of Gr\"obner basis theory. Particularly it is shown explicitly that generalized down-up algebras are solvable polynomial algebras (provided $\lambda\omega\ne 0$), and…
We begin by defining Temperley-Lieb algebra, in two different ways: as a presented algebra or as a diagrammatic algebra. Next, we look for a basis algorithmically, using rewriting theory. Finally, we introduce a generalization of the…
This paper introduces the structure of operated polygraphs as a categorical model for rewriting in operated algebras, generalizing Gr\"obner-Shirshov bases with non-monomial termination orders. We provide a combinatorial description of…