Related papers: Gr\"obner--Shirshov bases for commutative dialgebr…

We extend the theorem of Liouville on integration in finite terms to include dilogarithmic integrals. The results provide a necessary and sufficient condition for an element of the base field to have an antiderivative in a field extension…

We show that cellular bases of generalized $q$-Schur algebras can be constructed by gluing arbitrary bases of the cell modules and their dual basis (with respect to the anti-involution giving the cell structure) along defining idempotents.…

Let $G$ be a finite abelian group and $s$ be a positive integer. A subset $A$ of $G$ is called a {\em perfect $s$-basis of $G$} if each element of $G$ can be written uniquely as the sum of at most $s$ (not-necessarily-distinct) elements of…

A subgroup $H$ of a group $G$ is $commensurated$ in $G$ if for each $g\in G$, $gHg^{-1}\cap H$ has finite index in both $H$ and $gHg^{-1}$. If there is a sequence of subgroups $H=Q_0\prec Q_1\prec ...\prec Q_{k}\prec Q_{k+1}=G$ where $Q_i$…

We describe a basis for free Lie superalgebras which uses the theory of basic commutators. The only description for bases for free Lie superalgebras that I have found in the literature is in the book "Infinite dimensional Lie superalgebras"…

The theory of "subalgebra basis" analogous to standard basis (the generalization of Gr\"{o}bner bases to monomial ordering which are not necessarily well ordering \cite{GP1}.) for ideals in polynomial rings over a field is developed. We…

Given a finite alphabet X and an ordering on the letters, the map \sigma sends each monomial on X to the word that is the ordered product of the letter powers in the monomial. Motivated by a question on Groebner bases, we characterize…

Blockwise determinantal ideals are those generated by the union of all the minors of specified sizes in certain blocks of a generic matrix, and they are the natural generalization of many existing determinantal ideals like the Schubert and…

We provide necessary and sufficient conditions for simplicial complexes whose determinantal facet ideals admit reduced Grobner bases under diagonal term orders. Building on and extending foundational results for binomial edge ideals and…

We construct a Gr\"obner-Shirshov basis of the Temperley-Lieb algebra $\mathfrak{T}(d,n)$ of the complex reflection group $G(d,1,n)$, inducing the standard monomials expressed by the generators $\{E_i\}$ of $\mathfrak{T}(d,n)$. This result…

Let $\mathbb{K}$ be a field, $\mathcal{X}$ be an infinite set (of indeterminates), and $\mathcal{G}$ be a group acting on $\mathcal{X}$. An ideal in the polynomial ring $\mathbb{K}[\mathcal{X}]$ is called equivariant if it is invariant…

Developed by Buchberger for commutative polynomial rings, Groebner Bases are frequently applied to solve algorithmic problems, such as the congruence problem for ideals. Until now, these ideas have been transmitted to different in part…

We present algorithms for computing the reduced Gr\"{o}bner basis of the vanishing ideal of a finite set of points in a frame of ideal interpolation. Ideal interpolation is defined by a linear projector whose kernel is a polynomial ideal.…

By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate…

The notion of initial ideal for an ideal of a polynomial ring appears in the theory of Gr\"obner basis. Similarly to the initial ideals, we can define the initial algebra for a subalgebra of a polynomial ring, or more generally of a Laurent…

Let (X,\sigma) be a symplectic space admitting a complex structure and let R(X,\sigma) be the corresponding resolvent algebra, i.e. the C*-algebra generated by the resolvents of selfadjoint operators satisfying canonical commutation…

In the field of algebraic systems biology, the number of minimal polynomial models constructed using discretized data from an underlying system is related to the number of distinct reduced Gr\"obner bases for the ideal of the data points.…

In this paper we describe the equations defining the multi-Rees algebra $k[x_1,\dots,x_n][I_1^{a_1}t_1,\dots,I_r^{a_r}t_r]$, where the ideals are generated by subsets of $x_1,\dots,x_n$. We also show that a family of binomials whose leading…

We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint logics, where they played a central…

We introduce the class of graded Lie-Rinehart algebras as a natural generalization of the one of graded Lie algebras. For $G$ an abelian group, we show that if $L$ is a tight $G$-graded Lie-Rinehart algebra over an associative and…