Rings and Modules Characterized by Opposites of FP-injectivity
Bull. Korean Math. Soc.
Published online 2018 Nov 07
Izmir Institute of Technology
Abstract : Let $R$ be a ring with unity. Given modules $M_R$ and $_RN$, $M_R$ is said to be absolutely $_RN$-pure if $M \otimes N \to L \otimes N$ is a monomorphism for every extension $L_R$ of $M_R$. For a module $M_R$, the subpurity domain of $M_R$ is defined to be the collection of all modules $_RN$ such that $M_R$ is absolutely $_RN$-pure. Clearly $M_R$ is absolutely $_RF$-pure for every flat module $_RF$, and that $M_R$ is FP-injective if the subpurity domain of $M$ is the entire class of left modules. As an opposite of FP-injective modules, $M_R$ is said to be a \emph{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. Every ring has a right $t.f.b.s.$ module. $R_R$ is t.f.b.s. and every finitely generated right ideal is finitely presented if and only if $R$ is right semihereditary. A domain $R$ is Pr\"{u}fer if and only if $R$ is t.f.b.s. The rings whose simple right modules are t.f.b.s. or injective are completely characterized. Some necessary conditions for the rings whose right modules are t.f.b.s. or injective are obtained.
Keywords : Injective modules, FP-injective modules, subpurity domain, flat modules
MSC numbers : 16D40; 16D50; 16D60; 16D70; 16E30
Full-Text :


Copyright © Korean Mathematical Society. All Rights Reserved.
The Korea Science Technology Center (Rm. 411), 22, Teheran-ro 7-gil, Gangnam-gu, Seoul 06130, Korea
Tel: 82-2-565-0361  | Fax: 82-2-565-0364  | E-mail: paper@kms.or.kr   | Powered by INFOrang.co., Ltd