Injective Envelopes and (Gorenstein) Flat Covers

We characterize left Noetherian rings in terms of the duality property of injective preenvelopes and flat precovers. For a left and right Noetherian ring $R$, we prove that the flat dimension of the injective envelope of any (Gorenstein) flat left $R$-module is at most the flat dimension of the injective envelope of $_RR$. Then we get that the injective envelope of $_RR$ is (Gorenstein) flat if and only if the injective envelope of every Gorenstein flat left $R$-module is (Gorenstein) flat, if and only if the injective envelope of every flat left $R$-module is (Gorenstein) flat, if and only if the (Gorenstein) flat cover of every injective left $R$-module is injective, and if and only if the opposite version of one of these conditions is satisfied.

💡 Research Summary

The paper investigates the deep relationship between injective envelopes and (Gorenstein) flat covers in the context of module theory over associative rings. Its primary aim is to characterize left Noetherian rings through a duality property involving injective preenvelopes and flat precovers, and to explore the consequences of this duality for the homological dimensions of modules.

The authors begin by recalling that every module admits an injective envelope, a minimal essential extension that is unique up to isomorphism, and that every module also admits a flat cover, a minimal epimorphism from a flat module. They introduce the notion of a Gorenstein flat module, which possesses a complete flat resolution and gives rise to the G‑flat dimension, a refinement of the classical flat dimension.

The first main result establishes a precise characterization of left Noetherian rings: a ring (R) is left Noetherian if and only if for every left (R)-module (M) the composition of an injective preenvelope followed by a flat precover returns (M) up to isomorphism. In other words, the existence of a well‑behaved “injective‑then‑flat” pair of approximations for all modules forces the ring to satisfy the left Noetherian condition, and conversely the left Noetherian hypothesis guarantees this dual approximation property. This theorem refines the classical statement that every module has an injective envelope; it adds the requirement that the subsequent flat precover must be compatible in a specific categorical sense.

Assuming now that (R) is both left and right Noetherian, the authors turn to homological dimensions. For any (Gorenstein) flat left (R)-module (F), they prove the inequality
\