𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


Gröbner Bases of Modules over Reduction
✍ S. Stifter 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 374 KB

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

Gröbner Bases over Galois Rings with an
✍ Eimear Byrne; Patrick Fitzpatrick 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 346 KB

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

A Gröbner Basis Method for Modules over
✍ Toshinori Oaku; Takeshi Shimoyama 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 683 KB

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

A Generalization of Gröbner Basis Algori
✍ Klaus Madlener; Birgit Reinert 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 656 KB

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

Gröbner Bases and Normal Forms in a Subr
✍ J. Snellman 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 511 KB

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

Gröbner Bases for the Rings of Special O
✍ M Domokos; V Drensky 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 110 KB

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