Related papers: Isomorphisms between injective modules

Let $(K,M)$ be a pair satisfying some mild condition, where $K$ is a class of $R$-modules and $M$ is a class of $R$-homomorphisms. We show that if $f:A\rightarrow B$ and $g:B\rightarrow A$ are $M$-embeddings and $A,B$ are $K_M$-injective,…

Let $R$ be a commutative ring with identity and $D$ an $R$-module. It is shown that if $D$ is pure injective, then $D$ is isomorphic to a direct summand of the direct product of a family of finitely embedded modules. As a result, it follows…

We study classes of modules closed under direct sums, $\mathcal{M}$-submodules and $\mathcal{M}$-epimorphic images where $\mathcal{M}$ is either the class of embeddings, $RD$-embeddings or pure embeddings. We show that the…

The structure of cyclically pure injective modules over a commutative ring $R$ is investigated and several characterizations for them are presented. In particular, we prove that a module $D$ is cyclically pure injective if and only if $D$…

Let R be a regular ring essentially of finite type over a perfect field k. An R-module M is called a unit R[F]-module if it comes equipped with an isomorphism F*M-->M where F denotes the Frobenius map on Spec R, and F* is the associated…

It is shown that any left module A over a ring R can be written as the intersection of a downward directed system of injective submodules of an injective module; equivalently, as an inverse limit of one-to-one homomorphisms of injectives.…

It is proved that, for a left hereditary ring, an arbitrary left module has a representation in the form of the direct sum of a stable left module and indecomposable projective left modules (if and only if an arbitrary left module has a…

Let $R$ be an arbitrary ring and $(-)^+=\Hom_{\mathbb{Z}}(-, \mathbb{Q}/\mathbb{Z})$ where $\mathbb{Z}$ is the ring of integers and $\mathbb{Q}$ is the ring of rational numbers, and let $\mathcal{C}$ be a subcategory of left $R$-modules and…

Let R be a commutative ring and S be an R-algebra. It is well-known that if N is an injective R-module, then Hom(S,N) is an injective S-module. The converse is not true, not even if R is a commutative noetherian local ring and S is its…

Let $R$ be an associative ring with identity. This paper investigates the structure of the monomorphism category of large $R$-modules and establishes connections with the category of contravariant functors defined on finitely presented…

A module is called coneat injective if it is injective with respect to all coneat exact sequences. The class of such modues is enveloping and falls properly between injectives and pure injectives. Generalizations of coneat injectivity, like…

It is proved that a module M over a commutative noetherian ring R is injective if Ext^i((R/p)_p,M)=0 holds for every i\ge 1 and every prime ideal p in R. This leads to the following characterization of injective modules: If F is faithfully…

We consider $\,R-$modules as functors in the following way: if $\,M\,$ is a (left) $R$-module, let $\,\mathcal M\,$ be the functor of $\,\mathcal R-$modules defined by $\,\mathcal M(S) := S \otimes_R M\,$ for every $\,R-$algebra $\,S$. With…

We use the type theory for rings of operators due to Kaplansky to describe the structure of modules that are invariant under automorphisms of their injective envelopes. Also, we highlight the importance of Boolean rings in the study of such…

Given a small category C, a C-module M is a functor from C to the category of finite-dimensional vector spaces over a field k. Associated to M is its local structure, given as a functor from C to the category of bi-closed multi-flags over…

This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…

It is proved, among other results, that a prime right nonsingular ring (in particular, a simple ring) $R$ is right self-injective if $R_R$ is invariant under automorphisms of its injective hull. This answers two questions raised by Singh…

We prove that if $f:R \rightarrow S$ is a local homomorphism of noetherian local rings, and $M$ is a non-zero finitely generated or artinian $S$-module whose injective dimension over $R$ is bounded by the difference of the embedding…

Let $R$ be a finite ring and let $M, N$ be two finite left $R$-modules. We present two distinct deterministic algorithms that decide in polynomial time whether or not $M$ and $N$ are isomorphic, and if they are, exhibit an isomorphism. As…

In this paper we develop a general theory of modules which are invariant under automorphisms of their covers and envelopes. When applied to specific cases like injective envelopes, pure-injective envelopes, cotorsion envelopes, projective…