Related papers: Isomorphisms between injective modules
Let R be a commutative ring with identity. A prime submodule P of an R-module M is called coprimely structured if, whenever P is coprime to each element of an arbitrary family of submodules of M, the intersection of the family is not…
In a previous article (J. Algebra 367 (2012), 142-165) we established axiomatic parametrised Cohen-Macaulay approximation which in particular was applied to pairs consisting of a finite type flat family of Cohen-Macaulay rings and modules.…
Based upon properties of ordinal length, we introduce a new class of modules, the binary modules, and study their endomorphism ring. The nilpotent endomorphisms form a two-sided ideal, and after factoring this out, we get a commutative…
For oriented graphs $G$ and $H$, a homomorphism $f: G \rightarrow H$ is locally-injective if, for every $v \in V(G)$, it is injective when restricted to some combination of the in-neighbourhood and out-neighbourhood of $v$. Two of the…
In this paper, we classify additive closed symmetric monoidal structures on the category of left R-modules by using Watts' theorem. An additive closed symmetric monoidal structure is equivalent to an R-module Lambda_{A,B} equipped with two…
Let $R$ be a commutative ring with identity, and let $S$ be a multiplicative subset of $R$. In this paper, we introduce the notion of $S$-injective modules as a weak version of injective modules. Among other results, we provide an…
This paper develops a representation-theoretic approach to the isogeny category $\underline{\mathcal{C}}$ of commutative group schemes of finite type over a field $k$, studied in arXiv:1602:00222. We construct a ring $R$ such that…
We find all possible isomorphisms and 3-birational maps (i.e., birational maps which induce an isomorphism between open subsets whose respective complements have codimension at least 3) between moduli spaces of parabolic vector bundles with…
In this short note, we argue that directed homotopy can be given the structure of generalized modules, over particular monoids. This is part of a general attempt for refoundation of directed topology.
Let $R$ be a semilocal Dedekind domain with fraction field $F$. We show that two hereditary $R$-orders in central simple $F$-algebras which become isomorphic after tensoring with $F$ and with some faithfully flat \'etale $R$-algebra are…
Let $R$ be a regular domain containing a field $K$ of characteristic zero and let $D$ be the ring of $K$-linear differential operators on $R$. Let $E$ be an injective left $D$-module. We ask the question, when is $E$ injective as a…
It is proved that localizations of injective $R$-modules of finite Goldie dimension are injective if $R$ is an arithmetical ring satisfying the following condition: for every maximal ideal $P$, $R_P$ is either coherent or not semicoherent.…
It is proved that localizations of injective $R$-modules of finite Goldie dimension are injective if $R$ is an arithmetical ring satisfying the following condition: for every maximal ideal $P$, $R_P$ is either coherent or not semicoherent.…
Recently, Cochran and Harvey defined torsion-free derived series of groups and proved an injectivity theorem on the associated torsion-free quotients. We show that there is a universal construction which extends such an injectivity theorem…
This paper builds on work of Hochster and Yao that provides nice embeddings for finitely generated modules of finite G-dimension, finite projective dimension, or locally finite injective dimension. We extend these results by providing…
We construct the moduli stack of torsors over the formal punctured disk in characteristic p > 0 for a finite group isomorphic to the semidirect product of a p-group and a tame cyclic group. We prove that the stack is a limit of separated…
One of the open problems in Gorenstein homological algebra is: when is the class of Gorenstein injective modules closed under arbitrary direct limits? It is known that if the class of Gorenstein injective modules, $\mathcal{GI}$, is closed…
Let $R$ be a right and left Ore ring, $S$ its set of regular elements and $Q = R[S^{-1}] = [S^{-1}] R$ the classical ring of quotients of $R$. We prove that if F.dim$(Q_Q) = 0$, then the following conditions are equivalent: $(i)$ Flat right…
Let $M$ be a left $R-$module and $\pazocal{A}=\{A\}_{A\in\pazocal{A}}$ be a family of some submodules of $M$. It is introduced the classes of (strongly) $M-\pazocal{A}-\mathrm{injective}$ and (strongly) $M-\pazocal{A}-\mathrm{flat}$ modules…
Let $A$, $B$ be two rings and $T=\left(\begin{smallmatrix} A & M \\ 0 & B \\\end{smallmatrix}\right)$ with $M$ an $A$-$B$-bimodule. We first construct a semi-complete duality pair $\mathcal{D}_{T}$ of $T$-modules using duality pairs in…