Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings (Q2284965): Difference between revisions

In this paper, the authors deal with the complete development of Buchberger-Zacharias-Weispfenning theory, for the case of bimodules over skew polynomial extensions \(\mathbb{A}\) of a coefficient algebra \(\mathbf{R}\) (\(\mathbf{R}\) is a coefficient \(R\)-algebra, with a commutative ring \(R\) of coefficients), namely a left \(\mathbf{R}\)-module generated by an order submodule of terms and such that the maximal term function gives a natural pseudovaluation, imposing on \(\mathbb{A}\) a specific coherence property. Such a property is essentially related to the effectiveness in making two operations: \begin{itemize} \item membership testing; \item syzygies computation. \end{itemize} In particular, a Noetherian coherent ring is what is commonly called Zacharias ring [\textit{T. Mora}, J. Symb. Comput. 99, 147--188 (2020; Zbl 1445.16044); [\textit{T. Mora}, Solving polynomial equation systems. I: The Kronecker-Duval philosophy. Cambridge: Cambridge University Press (2003; Zbl 1059.12001)]. The paper, then, extends coherence and the Gröbner properties to skew polynomial ring extensions \(\mathbb{A}\) and considers two sub-extensions \(\mathbb{B}, \mathbb{B'}\) of \(\mathbb{A}\). Such sub-extensions are given by \(R\)-subalgebras of \(\mathbb{A}\), over two coefficient subrings of \(\mathbf{R}\) and with specific terms' sets. Then \(\mathbb{B}-\mathbb{B'}\) bimodules are defined (they are called subbilateral \(\mathbb{A}\)-modules under specific conditions on the terms) and Buchberger theory extended to them. Also the notion of Noetherian is studied in this context [\textit{K. R. Goodearl} and \textit{R. B. Warfield jun.}, An introduction to noncommutative Noetherian rings. 2nd ed. Cambridge: Cambridge University Press (2004; Zbl 1101.16001)], with the study of subbilateral Noetherianity for skew polynomial extensions. While studying Buchberger theory extended to subbilateral modules [\textit{T. Mora}, Solving polynomial equation systems. I: The Kronecker-Duval philosophy. Cambridge: Cambridge University Press (2003; Zbl 1059.12001)], the paper provides a class of extensions that satisfy coherence and subbilaterality, such that subbilateral Gröbner bases are computed in a finite number of steps. Such a class includes multivariate Ore extensions and generalized Weispfenning-like extensions. Then membership test and syzygies are computed for iterative skew polynomial rings. Finally, subbiratelad Gröbner bases are completed, à la Kandri-Rody-Weispfenning [\textit{A. Kandri-Rody} and \textit{V. Weispfenning}, J. Symb. Comput. 9, No. 1, 1--26 (1990; Zbl 0715.16010); \textit{V. Weispfenning}, in: International symposium on Symbolic and algebraic computation 92. ISSAC 92. Berkeley, CA, USA, July 27--29, 1992. Baltimore, MD: ACM Press. 329--334 (1992; Zbl 0925.16018)] to finite bilateral Gröbner bases. In conclusion, this is the paper describing the most extended framework for which it is possible to develop Gröbner bases Theory. The theory developed in this paper subsumes also that in [\textit{M. Ceria} and \textit{T. Mora}, J. Pure Appl. Algebra 221, No. 12, 2974--3026 (2017; Zbl 1379.16025); \textit{M. Ceria} and \textit{T. Mora}, J. Symb. Comput. 83, 112--146 (2017; Zbl 1371.68331)].