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
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
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
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 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
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