An Axiomatic Approach to Gröbner Basis Theory by Examining Several Reduction Principles

Günter Landsmann; Christoph Fürst

doi:doi:10.11648/j.ajam.20210904.14

| Peer-Reviewed

An Axiomatic Approach to Gröbner Basis Theory by Examining Several Reduction Principles

Günter Landsmann, Christoph Fürst

Published in American Journal of Applied Mathematics (Volume 9, Issue 4)

Received: 28 May 2021 Accepted: 26 June 2021 Published: 2 August 2021

Views: Downloads:

Download PDF

Share This Article

Twitter
Linked In
Facebook

Abstract

Several variants of the classical theory of Gröbner bases can be found in the literature. They come, depending on the structure they operate on, with their own specific peculiarity. Setting up an expedient reduction concept depends on the arithmetic equipment that is provided by the structure in question. Often it is necessary to introduce a term order that can be used for determining the orientation of the reduction, the choice of which might be a delicate task. But there are other situations where a different type of structure might give the appropriate basis for formulating adequate rewrite rules. In this paper we have tried to find a unified concept for dealing with such situations. We develop a global theory of Gröbner bases for modules over a large class of rings. The method is axiomatic in that we demand properties that should be satisfied by a reduction process. Reduction concepts obeying the principles formulated in the axioms are then guaranteed to terminate. The class of rings we consider is large enough to subsume interesting candidates. Among others this class contains rings of differential operators, Ore-algebras and rings of difference-differential operators. The theory is general enough to embrace the well-known classical Gröbner basis concepts of commutative algebra as well as several modern approaches for modules over relevant noncommutative rings. We start with introducing the appropriate axioms step by step, derive consequences from them and end up with the Buchberger Algorithm, that makes it possible to compute a Gröbner basis. At the end of the paper we provide a few examples to illustrate the abstract concepts in concrete situations.

Published in	American Journal of Applied Mathematics (Volume 9, Issue 4)
DOI	10.11648/j.ajam.20210904.14
Page(s)	123-140
Creative Commons	This is an Open Access article, distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution and reproduction in any medium or format, provided the original work is properly cited.
Copyright	Copyright © The Author(s), 2021. Published by Science Publishing Group

Keywords

Gröbner Bases, Reduction Relations, Rings of Differential Operators, Differential Algebra

References

[1]	Adams, W. and Loustaunau, P (1994). An Introduction to Gröbner Bases. Graduate Series in Mathematics, 3. American Mathematical Society.
[2]	Becker, T., Weispfenning, V. and Kredel, H. (1993). Gröbner bases: a computational approach to commutative algebra. Graduate texts in mathematics, Springer-Verlag.
[3]	Bergman, G., M. (1978). The diamond lemma for ring theory. Advances in Mathematics, 29: 178–218.
[4]	Bossaller, D. P. and Lopez-Permouth, S. R. (2019). Algebras having bases that consist solely of strongly regular elements. Journal of Pure and Applied Algebra 223: 3485–3498.
[5]	Buchberger, B. (2006). An algorithm for finding the basis blements in the residue class ring modulo a zero dimensional polynomial ideal. English translation in Jornal of Symbolic Computation, Special Issue on Logic, Mathematics and Computer Science: Interactions, 41, (3–4): 475–511. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. PhD thesis, Mathematical Institute, University of Innsbruck, Austria, 1965.
[6]	Coutinho, S.C. (1995). A primer of algebraic D-modules. London Mathematical Society Student Texts. Cambridge University Press.
[7]	Cox, D., Little, J. and O’Shea, D. (1997). Ideals, varieties and algorithms - an introduction to computational algebraic geometry and commutative algebra. (2. ed.), Undergraduate texts in mathematics. Springer.
[8]	Cox, D., Little, J. and O’Shea, D. (1998). Using algebraic geometry. Graduate Texts in Mathematics. Springer.
[9]	Donga, R. and Dongming Wang (2021). Computing strong regular characteristic pairs with Gröbner bases. Journal of Symbolic Computation, 104: 312–327.
[10]	Dotsenko, V. and Khoroshkin, A. (2010). Gröbner bases for operads. Duke Mathematical Journal 153 (2): 363– 396. https://doi.org/10.1215/00127094-2010-026
[11]	Dönch, C. and Levin, A. (2012). Computation of bivariate characteristic polynomials of finitely generated modules over Weyl algebras. ArXiv e-prints:1212.1833.
[12]	Dönch, D. (2013). Characterization of relative Gröbner bases. Journal of Symbolic Computation, 55: 19–29.
[13]	Dotsenko, V. and Khoroshkin, A. (2010). Gröbner bases for operads. Duke Mathematical Journal, 153 (2): 363– 396. https://doi.org/10.1215/00127094-2010-026
[14]	Eisenbud, D. (1995). Commutative algebra with a view toward algebraic geometry. Graduate Texts in Mathematics. Springer.
[15]	Fürst, C. and Landsmann, G. (2015). Computation of dimension in filtered free modules by Gröbner reduction. In Proceedings of the International Symposium for SymbolicandAlgebraicComputation, ISSAC ’15. ACM.
[16]	Fürst, C. and Landsmann, G. (2015). Three examples of Gröbner reduction over noncommutative rings. RISC Report Series 15–16, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria.
[17]	Gao, X., Guo, L. and Rosenkranz, M. (2015). Free integro-differential algebras and Gröbner-Shrishov bases. Journal Algebra, 442: 354–396.
[18]	Huang, G. and Zhou, M. (2015). Termination of algorithm for computing relative Gröbner bases and difference differential dimension polynomials. Frontiers of Mathematics in China, 10 (3).
[19]	Sungsoon Kim and Dong-il Lee (2018). Gröbner- Shirshov bases for Temperley-Lieb algebras. Palestine Journal of Mathematics, 7 (Special Issue I): 11–17.
[20]	Kolchin, E. R. (1964). The notion of dimension in the theory of algebraic differential equationes. Bull. Amer. Math. Soc. 70: 570–573.
[21]	Kolchin, E. R. (1973). Differential algebra and algebraic groups. Academic Press Inc.
[22]	Kreuzer, M. and Kriegl, M. (2014). Gröbner bases for syzygy modules of border bases. Journal of Algebra and Its Applications, 13 (6).
[23]	Maletzky, A. (2021). A generic and executable formalization of signature-based Gröbner basis algorithms. Journal of Symbolic Computation 106: 23– 47.
[24]	Mikhalev, A. V., Levin, A., Pankratiev, E. V. and Kondratieva, M. V. (1998). Differential and difference dimension polynomials. Mathematics and its applications. Springer.
[25]	Levin, A. (2007). Gröbner bases with respect to several term orderings and multivariate dimension polynomials. In Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC ’07, New York: 251–260.
[26]	Levin, A. (2007). Gröbner bases with respect to several orderings and multivariable dimension polynomials. Journal of Symbolic Computation, 42 (5): 561–578.
[27]	Levin, A. (2012). Multivariate difference-differential dimension polynomials. ArXiv e-prints:1207.4757.
[28]	Levin, A. (2013). Multivariate difference-differential dimension polynomials and new invariants of difference- differential field extensions. ArXiv e-prints, Feb. 2013.
[29]	McConnell, J. C. and Robson, J. C. (1987). Noncommutative Noetherian rings. Wiley series in pure and applied mathematics. Wiley.
[30]	Pauer, F. (2007). Gröbner bases with coefficients in rings. Journal of symbolic computation, 42: 1003–1011.
[31]	Donga, R. and Wang, D. (2021). Computing strong regular characteristic pairs with Gröbner bases. Journal of Symbolic Computation, 104: 312–327.
[32]	Rolnicka, D. and Spencer, G. (2019). On the robust hardness of Gröbner basis computation. Journal of Pure and Applied Algebra, 223: 2080–2100.
[33]	Shibuta, T. (2011). Gröbner bases of contraction ideals. Journal of Algebraic Combinatorics, 36 (1).
[34]	Winkler, F. (1996). Polynomial Algorithms in Computer Algebra. Texts and Monographs in Symbolic Computation Springer.
[35]	Zhou, M. and Winkler, F. (2006). Gröbner bases in difference-differential modules. In Proceedings of the 2006 international symposium on Symbolic and algebraic computation, ISSAC ’06: 353–360, New York, ACM.
[36]	Zhou, M. and Winkler, F. (2007). Computing difference- differential Groebner Bases and difference-differential dimension polynomials. RISC Report Series 07–01, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria.
[37]	Zhou, M. and Winkler, F. (2008). Computing difference- differential dimension polynomials by relative Gröbner bases in difference-differential modules. Journal of Symbolic Computation, 43 (10): 726–745.
[38]	Yunnan Li and Li Guo (2021). Construction of free differential algebras by extending Gröbner-Shirshov bases. Journal of Symbolic Computation, 107: 167–189.
[39]	Zihao Qi, Yufei Qin, Kai Wang and Guodong Zhou (2021). Free objects and Gröbner-Shirshov bases in operated contexts. Journal of Algebra, 584: 89–124.

Cite This Article

Plain Text BibTeX RIS

APA Style

Günter Landsmann, Christoph Fürst. (2021). An Axiomatic Approach to Gröbner Basis Theory by Examining Several Reduction Principles. American Journal of Applied Mathematics, 9(4), 123-140. https://doi.org/10.11648/j.ajam.20210904.14

Copy | Download

ACS Style

Günter Landsmann; Christoph Fürst. An Axiomatic Approach to Gröbner Basis Theory by Examining Several Reduction Principles. Am. J. Appl. Math. 2021, 9(4), 123-140. doi: 10.11648/j.ajam.20210904.14

Copy | Download

AMA Style

Günter Landsmann, Christoph Fürst. An Axiomatic Approach to Gröbner Basis Theory by Examining Several Reduction Principles. Am J Appl Math. 2021;9(4):123-140. doi: 10.11648/j.ajam.20210904.14

Copy | Download

@article{10.11648/j.ajam.20210904.14,
  author = {Günter Landsmann and Christoph Fürst},
  title = {An Axiomatic Approach to Gröbner Basis Theory by Examining Several Reduction Principles},
  journal = {American Journal of Applied Mathematics},
  volume = {9},
  number = {4},
  pages = {123-140},
  doi = {10.11648/j.ajam.20210904.14},
  url = {https://doi.org/10.11648/j.ajam.20210904.14},
  eprint = {https://article.sciencepublishinggroup.com/pdf/10.11648.j.ajam.20210904.14},
  abstract = {Several variants of the classical theory of Gröbner bases can be found in the literature. They come, depending on the structure they operate on, with their own specific peculiarity. Setting up an expedient reduction concept depends on the arithmetic equipment that is provided by the structure in question. Often it is necessary to introduce a term order that can be used for determining the orientation of the reduction, the choice of which might be a delicate task. But there are other situations where a different type of structure might give the appropriate basis for formulating adequate rewrite rules. In this paper we have tried to find a unified concept for dealing with such situations. We develop a global theory of Gröbner bases for modules over a large class of rings. The method is axiomatic in that we demand properties that should be satisfied by a reduction process. Reduction concepts obeying the principles formulated in the axioms are then guaranteed to terminate. The class of rings we consider is large enough to subsume interesting candidates. Among others this class contains rings of differential operators, Ore-algebras and rings of difference-differential operators. The theory is general enough to embrace the well-known classical Gröbner basis concepts of commutative algebra as well as several modern approaches for modules over relevant noncommutative rings. We start with introducing the appropriate axioms step by step, derive consequences from them and end up with the Buchberger Algorithm, that makes it possible to compute a Gröbner basis. At the end of the paper we provide a few examples to illustrate the abstract concepts in concrete situations.},
 year = {2021}
}

Copy | Download

TY  - JOUR
T1  - An Axiomatic Approach to Gröbner Basis Theory by Examining Several Reduction Principles
AU  - Günter Landsmann
AU  - Christoph Fürst
Y1  - 2021/08/02
PY  - 2021
N1  - https://doi.org/10.11648/j.ajam.20210904.14
DO  - 10.11648/j.ajam.20210904.14
T2  - American Journal of Applied Mathematics
JF  - American Journal of Applied Mathematics
JO  - American Journal of Applied Mathematics
SP  - 123
EP  - 140
PB  - Science Publishing Group
SN  - 2330-006X
UR  - https://doi.org/10.11648/j.ajam.20210904.14
AB  - Several variants of the classical theory of Gröbner bases can be found in the literature. They come, depending on the structure they operate on, with their own specific peculiarity. Setting up an expedient reduction concept depends on the arithmetic equipment that is provided by the structure in question. Often it is necessary to introduce a term order that can be used for determining the orientation of the reduction, the choice of which might be a delicate task. But there are other situations where a different type of structure might give the appropriate basis for formulating adequate rewrite rules. In this paper we have tried to find a unified concept for dealing with such situations. We develop a global theory of Gröbner bases for modules over a large class of rings. The method is axiomatic in that we demand properties that should be satisfied by a reduction process. Reduction concepts obeying the principles formulated in the axioms are then guaranteed to terminate. The class of rings we consider is large enough to subsume interesting candidates. Among others this class contains rings of differential operators, Ore-algebras and rings of difference-differential operators. The theory is general enough to embrace the well-known classical Gröbner basis concepts of commutative algebra as well as several modern approaches for modules over relevant noncommutative rings. We start with introducing the appropriate axioms step by step, derive consequences from them and end up with the Buchberger Algorithm, that makes it possible to compute a Gröbner basis. At the end of the paper we provide a few examples to illustrate the abstract concepts in concrete situations.
VL  - 9
IS  - 4
ER  -

Copy | Download

Author Information

Günter Landsmann

Research Institute for Symbolic Computation – RISC Linz, Johannes Kepler University, Linz, Austria
Christoph Fürst

Research Institute for Symbolic Computation – RISC Linz, Johannes Kepler University, Linz, Austria

Download PDF

Sections

Plain Text BibTeX RIS

APA Style

Günter Landsmann, Christoph Fürst. (2021). An Axiomatic Approach to Gröbner Basis Theory by Examining Several Reduction Principles. American Journal of Applied Mathematics, 9(4), 123-140. https://doi.org/10.11648/j.ajam.20210904.14

Copy | Download

ACS Style

Günter Landsmann; Christoph Fürst. An Axiomatic Approach to Gröbner Basis Theory by Examining Several Reduction Principles. Am. J. Appl. Math. 2021, 9(4), 123-140. doi: 10.11648/j.ajam.20210904.14

Copy | Download

AMA Style

Günter Landsmann, Christoph Fürst. An Axiomatic Approach to Gröbner Basis Theory by Examining Several Reduction Principles. Am J Appl Math. 2021;9(4):123-140. doi: 10.11648/j.ajam.20210904.14

Copy | Download

@article{10.11648/j.ajam.20210904.14,
  author = {Günter Landsmann and Christoph Fürst},
  title = {An Axiomatic Approach to Gröbner Basis Theory by Examining Several Reduction Principles},
  journal = {American Journal of Applied Mathematics},
  volume = {9},
  number = {4},
  pages = {123-140},
  doi = {10.11648/j.ajam.20210904.14},
  url = {https://doi.org/10.11648/j.ajam.20210904.14},
  eprint = {https://article.sciencepublishinggroup.com/pdf/10.11648.j.ajam.20210904.14},
  abstract = {Several variants of the classical theory of Gröbner bases can be found in the literature. They come, depending on the structure they operate on, with their own specific peculiarity. Setting up an expedient reduction concept depends on the arithmetic equipment that is provided by the structure in question. Often it is necessary to introduce a term order that can be used for determining the orientation of the reduction, the choice of which might be a delicate task. But there are other situations where a different type of structure might give the appropriate basis for formulating adequate rewrite rules. In this paper we have tried to find a unified concept for dealing with such situations. We develop a global theory of Gröbner bases for modules over a large class of rings. The method is axiomatic in that we demand properties that should be satisfied by a reduction process. Reduction concepts obeying the principles formulated in the axioms are then guaranteed to terminate. The class of rings we consider is large enough to subsume interesting candidates. Among others this class contains rings of differential operators, Ore-algebras and rings of difference-differential operators. The theory is general enough to embrace the well-known classical Gröbner basis concepts of commutative algebra as well as several modern approaches for modules over relevant noncommutative rings. We start with introducing the appropriate axioms step by step, derive consequences from them and end up with the Buchberger Algorithm, that makes it possible to compute a Gröbner basis. At the end of the paper we provide a few examples to illustrate the abstract concepts in concrete situations.},
 year = {2021}
}

Copy | Download

TY  - JOUR
T1  - An Axiomatic Approach to Gröbner Basis Theory by Examining Several Reduction Principles
AU  - Günter Landsmann
AU  - Christoph Fürst
Y1  - 2021/08/02
PY  - 2021
N1  - https://doi.org/10.11648/j.ajam.20210904.14
DO  - 10.11648/j.ajam.20210904.14
T2  - American Journal of Applied Mathematics
JF  - American Journal of Applied Mathematics
JO  - American Journal of Applied Mathematics
SP  - 123
EP  - 140
PB  - Science Publishing Group
SN  - 2330-006X
UR  - https://doi.org/10.11648/j.ajam.20210904.14
AB  - Several variants of the classical theory of Gröbner bases can be found in the literature. They come, depending on the structure they operate on, with their own specific peculiarity. Setting up an expedient reduction concept depends on the arithmetic equipment that is provided by the structure in question. Often it is necessary to introduce a term order that can be used for determining the orientation of the reduction, the choice of which might be a delicate task. But there are other situations where a different type of structure might give the appropriate basis for formulating adequate rewrite rules. In this paper we have tried to find a unified concept for dealing with such situations. We develop a global theory of Gröbner bases for modules over a large class of rings. The method is axiomatic in that we demand properties that should be satisfied by a reduction process. Reduction concepts obeying the principles formulated in the axioms are then guaranteed to terminate. The class of rings we consider is large enough to subsume interesting candidates. Among others this class contains rings of differential operators, Ore-algebras and rings of difference-differential operators. The theory is general enough to embrace the well-known classical Gröbner basis concepts of commutative algebra as well as several modern approaches for modules over relevant noncommutative rings. We start with introducing the appropriate axioms step by step, derive consequences from them and end up with the Buchberger Algorithm, that makes it possible to compute a Gröbner basis. At the end of the paper we provide a few examples to illustrate the abstract concepts in concrete situations.
VL  - 9
IS  - 4
ER  -

Copy | Download