Armenian Journal of Mathematics, 13(1)
2022; 1–21
Shared with The Gufo

Saturation of finitely-generated submodules of free modules over Prüfer domains

IhsenYengui Yengui*, Faten Ben Amor

Received: 2024-12-07 · Published: 2022-08-28

© 2022 The Author(s) and the original publisher.

CC BY 4.0 This work is licensed under a Creative Commons Attribution 4.0 International License.
Shared article.
Original title
Saturation of finitely-generated submodules of free modules over Prüfer domains
Authors
IhsenYengui Yengui, Faten Ben Amor
Source journal
Armenian Journal of Mathematics, 13(1)
Published
2022-08-28
Licence
Creative Commons Attribution 4.0 International
Original
https://doi.org/10.52737/18291163-2021.13.1-1-21

Abstract

We propose to give an algorithm for computing the RR-saturation of a finitely-generated submodule of a free module EE over a Prüfer domain RR. To do this, we start with the local case, that is, the case where RR is a valuation domain. After that, we consider the global case (RR is a Prüfer domain) using the dynamical method. The proposed algorithm is based on an algorithm given by Ducos, Monceur and Yengui in the case E=R[X]mE=R[X]m which is reformulated here in a more general setting in order to reach a wider audience. The last section is devoted to the case where RR is a Bézout domain. Particular attention is paid to the case where RR is a principal ideal domain (ZZ as the main example).
1 / ? 100% Open in new tab Download Cite

Loading the full text…

Download Follow Updates