Rings and modules characterized by opposites of FP-injectivity
Bull. Korean Math. Soc. 2019 Vol. 56, No. 2, 439-450
https://doi.org/10.4134/BKMS.b180325
Published online March 1, 2019
Engin B\"{u}y\"{u}ka\c{s}{\i}k, Gizem Kafkas-Demirci
Izmir Institute of Technology; 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