Related papers: Unital Grobner Bases over Arbitrary Ground Rings

Let $R$ be a commutative ring with identity and ${\rm Nil}(R)$ be the set of nilpotent elements of $R$. The nil-graph of ideals of $R$ is defined as the graph $\mathbb{AG}_N(R)$ whose vertex set is $\{I:\ (0)\neq I\lhd R$ and there exists a…

We give Gr\"obner-Shirshov bases for Drinfeld-Kohno Lie algebra $\textbf{L}_{n}$ in \cite{[Et]} and Kukin Lie algebra $A_P$ in \cite{Kukin}, where $P$ is a semigroup. As applications, we show that as $\mathbb{Z}$-module $\textbf{L}_{n}$ is…

We study whether a unital associative algebra $ A $ over a field admits a decomposition of the form $A = Z(A) + [A,A]$ where $ Z(A) $ is the center of $ A $ and $ [A,A] $ denotes the additive subgroup of $A$ generated by all additive…

Let $R$ be a commutative Noetherian ring of dimension $d$ and $M$ a commutative cancellative torsion-free seminormal monoid. Then (1) Let $A$ be a ring of type $R[d,m,n]$ and $P$ be a projective $A[M]$-module of rank $r \geq max\{2,d+1\}$.…

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.

Necessary and sufficient conditions are given for a $G$-graded simple module over a unital associative algebra, graded by an abelian group $G$, to be isomorphic to a loop module of a simple module, as well as for two such loop modules to be…

We improve certain degree bounds for Grobner bases of polynomial ideals in generic position. We work exclusively in deterministically verifiable and achievable generic positions of a combinatorial nature, namely either strongly stable…

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…

Let $C \subset {\bf N}^d$ be an affine semigroup, and $R=K[C]$ its semigroup ring. This paper is a collection of various results on "$C$-graded" $R$-modules, especially, monomial ideals. For example, we show the following: If $R$ is normal…

The universal Gr\"{o}bner basis of $I$, is a Gr\"{o}bner basis for $I$ with respect to all term orders simultaneously. Let $I_G$ be the toric ideal of a graph $G$. We characterize in graph theoretical terms the elements of the universal…

We show how to use Groebner bases for operads to prove various freeness theorems: freeness of certain operads as nonsymmetric operads, freeness of an operad Q as a P-module for an inclusion P into Q, freeness of a suboperad. This gives new…

Let n be a positive integer, and let A be a strongly commutative differential graded (DG) algebra over a commutative ring R. Assume that (a) B=A[X_1,...,X_n] is a polynomial extension of A, where X_1,...,X_n are variables of positive…

We consider the class $\mathfrak M$ of $\bf R$--modules where $\bf R$ is an associative ring. Let $A$ be a module over a group ring $\bf R$$G$ where $G$ is a group and let $\mathfrak L(G)$ be a set of all proper subgroups of $G$ such that…

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 show that there exists a stably free module over a polynomial ring which is not extended from the ground ring. This provides a counterexample to the Hermite ring conjecture.

Extending earlier work by Sommers and Tymoczko, in 2016 Abe, Barakat, Cuntz, Hoge, and Terao established that each arrangement of ideal type $\mathcal{A}_\mathcal{I}$ stemming from an ideal $\mathcal{I}$ in the set of positive roots of a…

Let $R=\oplus_{\Gamma\in\Gamma}R_{\gamma}$ be a $\Gamma$-graded $K$-algebra over a field $K$, where $\Gamma$ is a totally ordered semigroup, and let $I$ be an ideal of $R$. Considering the $\Gamma$-grading filtration $FR$ of $R$ and the…

Given an ample Hausdorff groupoid $G$, a unital commutative ring $R$, and a discrete twist $(\Sigma,i,q)$, we establish a generalised uniqueness theorem for the twisted Steinberg algebra $A_R(G;\Sigma)$. By applying this theorem when $G$ is…

Let $R$ be a commutative Noetherian ring. It is shown that $R$ is Artinian if and only if every $R$-module is good, if and only if every $R$-module is representable. As a result, it follows that every nonzero submodule of any representable…

Let $R$ be a Noetherian ring of dimension $d$ and $A$ be a graded $R$-subalgebra of $R[X,1/X]$. Let $P$ be a projective module over $A$ of rank $r \geq \max\{d+1,2\}$ and $\v=(a,p)$ be a unimodular element of $A \oplus P$. We find an…