Author's: Verónica Cifuentes and Oswaldo Lezama
Pages: [289] - [306]
Received Date: June 15, 2010
Submitted by:
In this paper, we present some matrix and constructive results that
check freeness for a given finitely generated projective
S-module M of constant rank, where S is a Hermite
commutative ring. In particular, we give a matrix characterization of
PF rings (a commutative ring S is PF is every f.g
projective S-module is free). In addition, following the ideas
in [3], we will exhibit an easy procedure for computing the module
where S is an arbitrary Noetherian
commutative ring with some natural computational conditions.
free modules, syzygies, Hermite rings, commutative Noetherian rings, constructive algebra.