JP Journal of Algebra, Number Theory and Applications
Volume 39, Issue 5, Pages 661 - 670
(October 2017) http://dx.doi.org/10.17654/NT039050661 |
|
COMPUTING SYZYGIES OVER R A VALUATION RING
Sami Barhoumi
|
Abstract: In this paper, we give an algorithm that computes syzygies over Laurent polynomials ring: with Ris a valuation ring (Ra valuation domain of any Krull dimension) which neither relies on Noetherianity nor on Krull dimension. The idea is based on the isomorphism and the syzygy computation over the polynomials ring At the end of this paper, we prove that this algorithm is also valid for Prüfer domain. |
Keywords and phrases: Laurent polynomial rings, syzygies, valuation ring, constructive mathematics, Prüfer ring, computer algebra. |
|
Number of Downloads: 446 | Number of Views: 1631 |
|