On the structure of modules defined by opposites of FP injectivity

Abstract

Let R be a ring with unity and let MR and RN be right and left modules,respectively. The module MR is said to be absolutely RN-pure if M circle times NL circle times N is amonomorphism for every extension LR of MR. For a module MR, the subpurity domain of MR is defined to be the collection of all modules RN, such that MR is absolutely RN-pure. Clearly, MR is absolutely RF-pure for every flat module RF and that MR is FP-injective if the subpurity domain of M is the entire class of left modules. As an opposite of FP-injective modules, MR is said to be a test for flatness by subpurity (or t.f.b.s. for short) if its subpurity domain is as small as possible, namely, consisting of exactly the flat left modules. We characterize the structure of t.f.b.s. modules over commutative hereditary Noetherian rings. We prove that a module M is t.f.b.s. over a commutative hereditary Noetherian ring if and only if M/Z(M) is t.f.b.s. if and only if Hom(M/Z(M),S)0 for each singular simple module S. Prufer domains are characterized as those domains all of whose nonzero finitely generated ideals are t.f.b.s.