Gröbner bases of modules over reduction rings
By a reduction ring the author means a ring satisfying some axioms in order to be able to compute Gröbner bases with the Buchberger algorithm. The notion, already considered by several authors, is quite general and allows the definition of Gröbner bases in a large class of rings. In the paper it is showed that, if \(R\) is a reduction ring, then the ring \(R^ n\) (where addition and multiplication are defined componentwise) is also a reduction ring (except for one of the axioms which, however, does not compromise the application of Buchberger algorithm). Successively, it is proved that if \(F \subseteq R^ n\) is any finite subset, then a Gröbner basis of the \(R\)-module generated by \(F\) can be computed from the Buchberger algorithm applied considering \(F\) as a set of elements of the reduction ring \(R^ n\). This allows to define Gröbner bases of modules over a reduction ring, using only the notion of Gröbner bases for ideals.
- A new notion of reduction: Generating universal Gröbner bases of ideals in \(K[x,y]\)
- Gröbner bases in orders of algebraic number fields.
- Relative reduction and Buchberger's algorithm in filtered free modules
- A general framework for Noetherian well ordered polynomial reductions
- Reduced Gröbner bases and Macaulay-Buchberger basis theorem over Noetherian rings
- Gröbner bases in function rings -- a guide for introducing reduction relations to algebraic structures
- Semi-ring based Gröbner-Shirshov bases over a Noetherian valuation ring
- Gröbner bases for the modules over noetherian polynomial commutative rings
- Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I
- scientific article; zbMATH DE number 1163436 (Why is no real title available?)
- scientific article; zbMATH DE number 5938055 (Why is no real title available?)
- Good bases for G-modules
- Dynamical Gröbner bases over Dedekind rings
This page was built for publication: Gröbner bases of modules over reduction rings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q687617)