Let Λ be a left and right noetherian ring and modΛ the category of finitely generated left Λ-modules. In this paper we show the following results: (1) For a positive integer k, the condition that the subcategory of modΛ consisting of i-torsionfree modules coincides with the subcategory of modΛ consisting of i-syzygy modules for any 1 ≤ i ≤ k is left-right symmetric. (2) If Λ is an Auslander rin...

Let be a left and right noetherian ring and mod the category of finitely generated left -modules. In this article, we show the following results. 1 For a positive integer k, the condition that the subcategory of mod consisting of i-torsionfree modules coincides with the subcategory of mod consisting of i-syzygy modules for any 1 ≤ i ≤ k is left-right symmetric. 2 If is an -Gorenstein ring and N...

Let Λ be a left and right noetherian ring and mod Λ the category of finitely generated left Λ-modules. In this paper we show the following statements: (1) For a positive integer k the condition that the subcategory of mod Λ consisting of i-torsionfree modules coincides with the subcategory of mod Λ consisting of i-syzygy modules for any 1 ≤ i ≤ k is left-right symmetric. (2) If Λ is an Auslande...

It is shown that each almost maximal valuation ring R, such that every indecomposable injective R-module is countably generated, satisfies the following condition (C): each fp-injective R-module is locally injective. The converse holds if R is a domain. Moreover, it is proved that a valuation ring R that satisfies this condition (C) is almost maximal. The converse holds if Spec(R) is countable....

It is proved that EJ is injective if E is an injective module over a valuation ring R, for each prime ideal J 6= Z. Moreover, if E or Z is flat, then EZ is injective too. It follows that localizations of injective modules over h-local Prüfer domains are injective too. If S is a multiplicative subset of a noetherian ring R, it is well known that SE is injective for each injective R-module E. The...

It is well-known that a countably injective module is Σ-injective. In Proc. Amer. Math. Soc. 316, 10 (2008), 3461-3466, Beidar, Jain and Srivastava extended it and showed that an injective module M is Σ-injective if and only if each essential extension of M(א0) is a direct sum of injective modules. This paper extends and simplifies this result further and shows that an injective module M is Σ-i...

1.1. Injective resolutions. Let C be an abelian category. An object I ∈ C is injective if the functor Hom(−, I) is exact. An injective resolution of an object A ∈ C is an exact sequence 0→ A→ I → I → . . . where I• are injective. We say C has enough injectives if every object has an injective resolution. It is easy to see that this is equivalent to saying every object can be embedded in an inje...

It is no exaggeration to say that the theory of separably injective spaces is quite different from that of injective spaces. In this chapter we will explain why. Indeed, we will enter now in the main topic of the monograph, namely, separably injective spaces and their “universal” version. After giving the main definitions and taking a look at the first natural examples one encounters, we presen...

We study injective homomorphisms between big mapping class groups of infinite-type surfaces. First, we construct (uncountably many) examples surfaces without boundary whose (pure) are not co-Hopfian; these first such endomorphisms that fail to be surjective. then prove that, subject some topological conditions on the domain surface, any continuous homomorphism (arbitrary) sends Dehn twists is i...