Rings which have flat injective modules
Rings which have flat injective modules
复制标题
DOI:
10.1016/0021-8693(75)90049-6
复制
发表时间:
1975-06
影响因子:
0.9
通讯作者:
R. Colby
中科院分区:
文献类型:
--
作者:
R. Colby
We shall call a ring R a left IF ring if every injective left R-module is flat. The purpose of this paper is to characterize left and two-sided IF rings in several ways and to give some examples of classes of rings which have this property. Since a quasi-Frobenius ring is characterized by the condition that every injective left R-module is projective [S], the left perfect left IF rings are precisely the quasi-Frobenius rings. Furthermore, any regular ring is an IF ring [lo]. IF rings are mentioned briefly in [16]. Section 2 contains the main theorems. In order to characterize left IF rings we introduce two conditions weaker than coherence which we call T-coherence and H-coherence(see below for definitions). We obtain the equivalence of the following statements:(a) R is left IF;(b) Every finitely presented left R-module is a submodule of a free module;(c) The character module of R, is a flat left R-module and R is right T-coherent;(d) Every homomorphism of a finitely generated right ideal of R into R can be extended to R and R is right H-coherent. Since a ring R is quasi-Frobenius if and only if R, is injective and R is right Noetherian, we obtain immediately that a right Noetherian left IF ring is quasi-Frobenius. The second main result is that (two-sided) IF rings are characterized by each of the following properties:(a) R is left and right coherent and every homomorphism of a finitely generated one-sided ideal of R into R can be extended to R; and (b) R is left and right coherent and can be embedded in a ring S such that $5’and S, are faithfully flat and injective. An example shows that the IF property is not left-right symmetric. In Section 3, we show that if R is a left IF ring then every left module which has finite injective dimension is flat and that if the weak global dimension of R is finite then R is regular. We also show that a Bezout domain modulo a nonzero principal ideal is an IF ring and give an example of an IF ring which is not regular modulo its radical. 239