Related papers: Composition-Diamond Lemma for Modules

In this paper we prove the theorem on freedom for relatively free Lie algebras with a single relation (analogous with the well-known result of Shirshov) and a generalized Freiheitssatz for relatively free Lie algebras (analogous with the…

We completely determine the minimal polynomial of an arbitrary simple highest weight module $L(\lambda)$ over a complex classical Lie algebra $\mathfrak{g}\subseteq\mathfrak{gl}_N$ relative to its defining module $\pi=\mathbb{C}^{N}$. These…

Fix any Borcherds-Kac-Moody $\mathbb{C}$-Lie algebra (BKM LA) $\mathfrak{g}=\mathfrak{g}(A)$ of BKM-Cartan matrix $A$, and Cartan subalgebra $\mathfrak{h}\subset \mathfrak{g}$. In this paper, we obtain explicit weight formulas of any…

We investigate the question of when free structures of infinite rank (in a variety) possess model-theoretic properties like categoricity in higher power, saturation, or universality. Concentrating on left $R$-modules we show, among other…

In this survey, we outline two recent constructions of free commutative integro-differential algebras. They are based on the construction of free commutative Rota-Baxter algebras by mixable shuffles. The first is by evaluations. The second…

Modules over affine Lie superalgebras ${\cal G}$ are studied, in particular, for ${\cal G}=\hat{OSP(1,2)}$. It is shown that on studying Verma modules, much of the results in Kac-Moody algebra can be generalized to the super case. Of most…

We construct an explicit Gr\"obner--Shirshov basis for free associative Rota--Baxter algebras of weight zero with nilpotent operator $R^n=0$, where $n\ge 2$. First, we define a monomial order on the standard linear basis $RS(X)$ of the free…

We give an explicit formulation of the weight part of Serre's conjecture for GL_2 using Kummer theory. This avoids any reference to p-adic Hodge theory. The key inputs are a description of the reduction modulo p of crystalline extensions in…

Let $\mathcal{W}(b)$ be a class of free Lie conformal algebras of rank $2$ with $\mathbb{C}[\partial]$-basis ${L,H}$ and relations \begin{eqnarray*} [L_\lambda L]=(\partial+2\lambda)L,\ \ [L_\lambda H]=\big(\partial+(1-b)\lambda\big)H, \ \…

Let $\mathbb{F}$ be a field of characteristic 0, $G$ an additive subgroup of $\mathbb{F}$, $\alpha\in \mathbb{F}$ satisfying $\alpha\notin G, 2\alpha\in G$. We define a class of infinite-dimensional Lie algebras which are called generalized…

We introduce an embedding of the free magma on a set A into the direct product of the free magma on a singleton set and the free semigroup on A. This embedding is then used to prove several theorems related to algebraic independence of…

This paper is a continuation of arXiv:1405.1707. We present certain new applications and generalizations of the free field realization of the twisted Heisenberg-Virasoro algebra ${\mathcal H}$ at level zero. We find explicit formulas for…

The celebrated Diamond Lemma of Bergman gives an effectively verifiable criterion of uniqueness of normal forms for term rewriting in associative algebras. We present a new way to interpret and prove this result from the viewpoint of…

We describe the structure of a Verma module with a generic highest weight at the critical level over a symmetrizable affine Lie superalgebra not of the type A(2k,2l)^{(4)}. We obtain the character formula for a simple module with a generic…

In this short note we announce three formulas for the set of weights of various classes of highest weight modules $\V$ with highest weight \lambda, over a complex semisimple Lie algebra $\lie{g}$ with Cartan subalgebra $\lie{h}$. These…

We first introduce the notion of $CM$-$\tau$-tilting free algebras as the generalization of $CM$-free algebras and show the homological properties of $CM$-$\tau$-tilting free algebras. Then we give a bijection between Gorenstein projective…

In this paper, we study the action of diamond operators on Hilbert modular forms with coefficients in a general commutative ring. In particular, we generalize a result of Chai on the surjectivity of the constant term map for Hilbert modular…

Let $\mathfrak g(G,\lambda)$ denote the deformed generalized Heisenberg-Virasoro algebra related to a complex parameter $\lambda\neq-1$ and an additive subgroup $G$ of $\mathbb C$. For a total order on $G$ that is compatible with addition,…

In this paper, we give a Gr\"obner-Shirshov basis for the finitely presented semigroup algebra $\mathbf{k}[S_n(Sym_n)]$ defined by permutation relations of symmetric type. As an application, by the Composition-Diamond Lemma, we obtain…

Let H be a Hopf algebra and A an H-simple right H-comodule algebra. It is shown that under certain hypotheses every (H,A)-Hopf module is either projective or free as an A-module and A is either a quasi-Frobenius or a semisimple ring. As an…