Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings
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)].
- scientific article; zbMATH DE number 2079561
- On the finiteness of Gröbner bases computation in quotients of the free algebra.
- Some applications of Gröbner bases in homological algebra
- scientific article; zbMATH DE number 4196114
- Buchberger-Weispfenning theory for effective associative rings
- scientific article; zbMATH DE number 1241630
- Canonical bases for subalgebras of factor algebras.
- Gröbner bases and syzygies on bimodules over PBW algebras
- Skew Poincaré-Birkhoff-Witt extensions over weak zip rings
- Solving polynomial equation systems. Vol. IV. Buchberger theory and beyond
- A standard basis approach to syzygies of canonical curves.
- Buchberger-Weispfenning theory for effective associative rings
- Buchberger-Zacharias theory of multivariate Ore extensions
- Computational ideal theory in finitely generated extension rings
- Graded algebras of global dimension 3
- scientific article; zbMATH DE number 2123131 (Why is no real title available?)
- scientific article; zbMATH DE number 3649988 (Why is no real title available?)
- scientific article; zbMATH DE number 3941661 (Why is no real title available?)
- scientific article; zbMATH DE number 1241630 (Why is no real title available?)
- scientific article; zbMATH DE number 1263376 (Why is no real title available?)
- Non-commutative Gröbner bases in algebras of solvable type
- On the construction of Gröbner bases using syzygies
- Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra.
- Solving polynomial equation systems. Vol. IV. Buchberger theory and beyond
- The ideal membership problem in non-commutative polynomial rings
- Buchberger-Zacharias theory of multivariate Ore extensions
- Toward involutive bases over effective rings
- Why you cannot even hope to use Ore algebras in cryptography
- Zacharias representation of effective associative rings
- Buchberger-Weispfenning theory for effective associative rings
- Right Buchberger algorithm over bijective skew \textit{PBW} extensions
- scientific article; zbMATH DE number 7660840 (Why is no real title available?)
- Signature Gröbner bases in free algebras over rings
- De Nugis Groebnerialium 7: Janet, Gerdt, Tamari
- Gröbnerian and Gröbner free techniques on non-associative algebras
- Why you cannot even hope to use Gröbner bases in cryptography: an eternal golden braid of failures
This page was built for publication: Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2284965)
