Relative Gröbner and involutive bases for ideals in quotient rings (Q2051594)

Let \(P:=k[x_1,\dots,x_n]\) be the polynomial ring over the field \(k\) and \(I\) an ideal of \(P\). The paper considers the extension of Gröbner bases to relative Gröbner bases for modules over \(P/I\) and ideals of \(P/I\), first introduced by \textit{D. Spear} [``A constructive approach to commutative ring theory'', in: Proceedings of 1977 Macsyma Users' Conference, NASA CP-2012. 369--376 (1977)] and \textit{G. Zacharias} [Generalized Gröbner bases in commutative polynomial rings. MIT (Master's thesis) (1978)] and disccussed in much following literature, from an algorithmic point of view. The authors show how to compute relative Gröbner bases via an analogous of Buchberger algorithm and also mirrored the well know criteria to avoid useless S-polynomials and reductions in the computation, for their case. Also a relative definition of involutive division and basis is developed, together with an algorithm for computing them, also in the minimal case. Finally, a relative version of the idea of quasi-stable ideal is given and it is oriented to the computation of finite Pommaret bases in the relative framework.