“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 16687 |
|
| Abstract: | |
|
We extend the concept of Gröbner bases to relative Gröbner bases for ideals in and modules over quotient rings of a polynomial ring over a field. We develop a ârelativeâ variant of both Buchbergerâs criteria for avoiding reductions to zero and Schreyerâs theorem for a Gröbner basis of the syzygy module. As main contribution, we then introduce the novel notion of relative involutive bases and present an algorithm for their explicit construction. Finally, we define the new notion of relatively quasi-stable ideals and exploit it for the algorithmic determination of coordinates in which finite relative Pommaret bases exist.
Download TeX format |
|
| back to top | |
