“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 quasistable ideals and exploit it for the algorithmic determination of coordinates in which finite relative Pommaret bases exist.
Download TeX format 

back to top 