𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Transitivity for Weak and Strong Gröbner Bases

✍ Scribed by W.W. Adams; A. Boyle; P. Loustaunau


Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
563 KB
Volume
15
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis


Let (R) be a Noetherian integral domain which is graded by an ordered group (\Gamma) and let (\mathbf{x}) be a set of (n) variables with a term order. It is shown that a finite subset (F) of (R[\mathbf{x}]) is a weak (respectively strong) Gröbner basis in (R[\mathbf{x}]) graded by (\Gamma \times \mathbf{Z}^{n}) if and only if (F) is a weak Gröbner basis in (R[\mathbf{x}]) graded by ({0} \times \mathbf{Z}^{n}) and certain subsets of the set of leading coefficients of the elements of (F) form weak (respectively strong) Gröbner bases in (R) : It is further shown that any (\Gamma)-graded ring (R) for which every ideal has a strong Gröbner basis is isomorphic to (k\left[x_{1}, \ldots, x_{n}\right]), where (k) is a PID.


📜 SIMILAR VOLUMES


Multiplicative Bases, Gröbner Bases, and
✍ Edward L. Green 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 314 KB

In this paper, we study conditions on algebras with multiplicative bases so that there is a Gröbner basis theory. We introduce right Gröbner bases for a class of modules. We give an elimination theory and intersection theory for right submodules of projective modules in path algebras. Solutions to h

Counting and Gröbner Bases
✍ K. Kalorkoti 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 239 KB

We show how the complexity of counting relates to the well known phenomenon that computing Gröbner bases under a lexicographic order is generally harder than total degree orders. We give simple examples of polynomials for which it is very easy to compute their Gröbner basis using a total degree orde

Finite Lattices and Lexicographic Gröbne
✍ Annetta Aramova; Jürgen Herzog; Takayuki Hibi 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 129 KB

By means of combinatorics on finite distributive lattices, lexicographic quadratic Gröbner bases of certain kinds of subrings of an affine semigroup ring arising from a finite distributive lattice will be studied.

Taylor and Lyubeznik Resolutions via Grö
✍ Werner M. Seiler 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 286 KB

Taylor presented an explicit resolution for arbitrary monomial ideals. Later, Lyubeznik found that a subcomplex already defines a resolution. We show that the Taylor resolution may be obtained by repeated application of the Schreyer Theorem from the theory of Gröbner bases, whereas the Lyubeznik res

Gröbner Bases in Clifford and Grassmann
✍ David Hartley; Philip Tuckey 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 287 KB

We give an account of the theory of Gröbner bases for Clifford and Grassmann algebras, both important in physical applications. We describe a characterization criterion tailored to these algebras which is significantly simpler than those given earlier or for more general non-commuting algebras. Our