Reduction rings are rings in which the Gröbner bases approach is possible, i.e., the Gröbner basis of an ideal in a reduction ring can be computed using Buchberger's algorithm. We show that one can also compute Gröbner bases of modules over reduction rings. Our approach is much more general than oth
Analogs of Gröbner Bases in Polynomial Rings over a Ring
✍ Scribed by LYN J. MILLER
- Publisher
- Elsevier Science
- Year
- 1996
- Tongue
- English
- Weight
- 617 KB
- Volume
- 21
- Category
- Article
- ISSN
- 0747-7171
No coin nor oath required. For personal study only.
✦ Synopsis
In this paper we will define analogs of Gröbner bases for R-subalgebras and their ideals in a polynomial ring R[x 1 , . . . , xn] where R is a noetherian integral domain with multiplicative identity and in which we can determine ideal membership and compute syzygies. The main goal is to present and verify algorithms for constructing these Gröbner basis counterparts. As an application, we will produce a method for computing generators for the first syzygy module of a subset of an R-subalgebra of R[x 1 , . . . , xn] where each coordinate of each syzygy must be an element of the subalgebra.
📜 SIMILAR VOLUMES
We develop a theory of Gröbner bases over Galois rings, following the usual formulation for Gröbner bases over finite fields. Our treatment includes a division algorithm, a characterization of Gröbner bases, and an extension of Buchberger's algorithm. One application is towards the problem of decodi
We study modules over the ring \(\mathcal{D}_{0}\) of differential operators with power series coeffcients. For \(\mathcal{D}_{0}\)-modules, we introduce a new notion of \(F\)-Gröbner basis and present an algorithmic method to compute it. Our method is more algebraic than that of Castro \((1986,1987
It is well-known that for the integral group ring of a polycyclic group several decision problems are decidable, in particular the ideal membership problem. In this paper we define an effective reduction relation for group rings over polycyclic groups. This reduction is based on left multiplication
If K is a field, let the ring R consist of finite sums of homogeneous elements in Then, R contains M, the free semi-group on the countable set of variables {x 1 , x 2 , x 3 , . . .}. In this paper, we generalize the notion of admissible order from finitely generated sub-monoids of M to M itself; as
We present a Gröbner basis for the ideal of relations among the standard generators of the algebra of invariants of the special orthogonal group acting on k-tuples of vectors. The cases of SO 3 and SO 4 are interpreted in terms of the algebras of invariants and semi-invariants of k-tuples of 2 × 2 m