Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings. (July 2020)

• Record Type: Journal Article
• Authors: Nguefack, Bertrand; Pola, Emmanuel
• Is Part Of: Journal of symbolic computation. Volume 99(2020)
• Page Start: 50
• Page End: 107
• Publication Date: 2020-07
• Subjects: 13P10 -- 13P15 -- 16S36; Effective Buchberger theory -- Skew polynomial extensions -- Subbilateral Gröbner bases -- Coherence; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2019.03.003
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: This work's primary objective is to investigate an effective Buchberger-Zacharias-Weispfenning theory of bimodules over skew polynomial extensions of a coefficient ring satisfying the appropriate notion of coherence. The original contribution of our approach establishes the subbilateral coherence together with the effective computation of subbilateral Gröbner bases for a sufficiently large class of skew polynomial extensions, over term-ordered monoids, of subbilateral Noetherian coherent coefficient rings. The strategy to produce finite bilateral Gröbner bases from subbilateral ones generalizes Kandri-Rody and Weispfenning completion from left Gröbner bases to bilateral ones over a subclass of solvable polynomial rings, as well as Weispfenning completion from Weispfenning restricted modules to bilateral ones over the bivariate Weispfenning extensions of skew fields. It equally results that the class of rings that are both left Noetherian and left coherent (or resp., right Noetherian and right coherent) is closed under iterative skew polynomial extension with bijective conjugation maps.