Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

For questions about injective modules over a ring and injective objects in related categories.

3
votes
1answer
191 views

Looking for example of quotient of group algebra by ideal of group ring which fails to be injective

I am looking for an example of a group ring $\mathbb{Z}[G]$ of a finite group $G$ along with a lattice $I$ (in the case at hand the word 'lattice' means: a $\mathbb{Z}[G]$-submodule which is ...
2
votes
1answer
50 views

A generating set for injective envelope

Let $m$ be a maximal ideal of a commutative ring $R$ with $1$. Can we construct a generating set $\{x_i\}_{i\in I}$ for the injective envelope $E(R/m) $ of $R/m$ such that $R/m\not\subseteq\langle x_i\...
2
votes
0answers
96 views

Decomposition of injective modules over Noetherian rings

Let $A=\mathbb{C}[x_1,\ldots,x_n]$ be a polynomial algebra over the complex numbers. I am interested in injective modules over $A$. Since $A$ is projective over itself, the $\mathbb{C}$-dual module $...
0
votes
0answers
101 views

Some Problem About Flat Module

For finitely generated modules over a Noetherian local ring, flatness and projectivity are equivalent. Question 1: Let (R,m) be a Noetherian local ring, A be an Artinian R-module. So if A is flat ...
3
votes
1answer
198 views

Why does there exist a non-split sequence with the condition that $\mathrm{pd} M=\infty$?

Why does there exist a non-split sequence with the condition that $\mathrm{pd} M = \infty$? Remarks. I am reading Andrzej Skowroński, Sverre O.Smalø, Dan Zacharia: On the Finiteness of the Global ...
3
votes
1answer
83 views

Direct sum of K-injectives over a noetherian ring

Let $A$ be a noetherian ring, and let $\{I_i \mid i \in J\}$ be a collection of K-injective complexes over $A$. Is the direct sum $$ \bigoplus_{i \in J} I_i $$ also a K-injective complex over $A$? ...
2
votes
0answers
151 views

Could we prove the flat base change theorem for cohomology via injective resolution?

Let $X$ be a quasi-separated scheme over a base ring $A$ and $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_X$-module. Let $A\to B$ be a flat morphism and $X^{\prime}:=X\times_{\text{spec}(A)}\text{...
5
votes
1answer
129 views

On some sense of representing an endofunctor of the category of modules over polynomial rings

If $R$ is commutative ring, $n\in\mathbb{N}$, $\mathsf{M}$ the category of $R[x_1,\dotsc,x_n]$-modules,and $F\colon\mathsf{M}\to\mathsf{M}$ an endofunctor of $\mathsf{M}$ which preserves all finite ...
0
votes
0answers
105 views

Fiberwise injective resolution of coherent sheaf

Let $k$ be an algebraically closed field (of characteristic zero) and $X, Y$ be projective $k$-varieties. Let $F$ be a coherent sheaf on $X \times_k Y$, flat over $Y$. Does there exists a coherent $\...
4
votes
1answer
183 views

Is $Hom_R(S_X^{-1}R, E)$ the minimal injective cogenerator of $S_X^{-1}R$?

Assume that $R$ is a commutative Noetherian ring with minimal injective cogenerator $E$. For a finite set of maximal ideals $X$ of $R$, define the multiplicative set $$S_X=R-\bigcup_{\mathfrak{m}\in X}...
5
votes
1answer
142 views

When is every injective module $\Sigma$-injective?

I have been looking for a couple of days for the answer to this question to no avail. Let me define what $\Sigma$-injective is. Let $R$ be a unital, not necessarily commutative ring. A left $R$-...
0
votes
1answer
484 views

injective modules and divisible modules

The following result is basic ( P.J.Hilton, U.Stammabach, a course in homological algebra ). Let $A$ be a principal ideal domain. Then a $A$ module is injective iff it is divisible. Now if the ...
2
votes
1answer
253 views

When is the pullback of an injective sheaf injective?

Let $X$ be a Gorenstein (not necessarily smooth) projective $\mathbb{C}$-scheme and $S$ another $k$-scheme. Let $I$ be an injective sheaf on $X$. Denote by $p:X \times_k S \to X$ the natural ...
4
votes
1answer
340 views

locally noetherian categories and the category of quasi-coherent sheaves over a noetherian scheme

It is known that a ring $R$ is noetherian if and only if direct sums of injective $R$-modules are injective if and only if every injective $R$-module is a direct sum of indecomposable injective $R$-...
1
vote
1answer
201 views

Graded version of Baer's Criterion

Baer's Criterion for injectiveness of modules says: "An $R$-module $E$ is injective iff for all ideals $I$ of $R$, every homomorphism $f\colon I \to E$ can be extended to $R$." I wonder if there is a ...
5
votes
1answer
384 views

Is $\mathcal{K}(H)$ injective $\mathcal{B}(H)$-module?

Does anyone know if the right Banach $\mathcal{B}(H)$-module $\mathcal{K}(H)$ is injective? The same question for $\ell_\infty$-module $c_0$. Both these modules are not dual, so standard arguments ...
5
votes
1answer
328 views

Injective flat module

Let $R$ be a (right noetherian) ring. Is there always a right $R$-module which is both flat and injective? If $R$ is an integral domain, then the answer is indeed yes, as the quotient field is such. ...
4
votes
0answers
102 views

Are injective modules flabby on basic open sets?

In order to give a simple proof of a basic fact about quasi-coherent modules (see below), I'm interested in knowing whether the following statement holds: Statement: If $A$ is a commutative ring and $...
2
votes
1answer
141 views

Injective modules over noncommutative noetherian rings

Let $R$ be a left noetherian ring, then it is well known that Matlis proved that any injective $R$-module decomposes into a sum of indecomposable injectives, each of form $E(R/I)$ for some irreducible ...
4
votes
2answers
645 views

How to characterize flasque sheaves in more functorial way?

The motivation to ask this question is some proposition of flasque sheaves. Let's recall the definition of flasque sheaf:A sheaf $F$ on a topological space $X$ is flasque if for every inclusion $V\...
1
vote
1answer
414 views

cofree modules and dual

1, Why do people pay special attention to Q/Z in the definition of cofree modules instead of ordinary abelian groups? 2, Over a PID, is every injective module cofree? Just like the relationship ...
5
votes
0answers
484 views

Localisation of injectives

When working with injective modules, one bad thing is that they do not necessarily behave well with respect to localisation. Consider a commutative ring $R$ and have a look at the following properties:...
3
votes
0answers
280 views

Rejects and injectives

Let $A$ be any ring and consider modules on the left. For $M$ $A$-module, the trace $Tr(M,A)$ is a two-sided ideal of $A$. If $A$ is a unitary ring then: $Tr(P,A)P=P$, for $P$ projective; $Tr(P,A)^2=...
2
votes
1answer
270 views

Is there an $A$ such that $B$ injective iff 1st Ext functor vanishes?

In the category of $\mathbb{Z}$-modules, there exists a module $A$---for instance $\bigoplus_{k=2}^\infty \mathbb{Z}/k\mathbb{Z}$---such that a $\mathbb{Z}$-module $B$ is injective iff $\operatorname{...
8
votes
1answer
441 views

Injective objects in Mor(Ab)

Consider the abelian (Grothendieck) category $\mathcal{C} := \mathrm{Fun}(\{0<1\},\mathrm{Ab}) = \mathrm{Mor}(\mathrm{Ab})$. Objects are morphisms $(A \to B)$ of abelian groups, morphisms are ...
7
votes
1answer
2k views

the direct sum of injective modules need not be injective

The Bass-Papp Theorem asserts that a commutative ring $R$ is Noetherian iff every direct sum of injective $R$-modules is injective. Thus every non-Noetherian ring carries a counterexample. If $$ I_1 ...
1
vote
0answers
379 views

Ring such that any submodule of an injective module is flat?

Does anyone know examples of rings $R$ with the property that any submodule of an injective (right) $R$-module is flat? If I'm not missing something, this class of rings includes the (Von Neumann) ...
2
votes
1answer
291 views

Simple Question on Injective Hulls

Let $R$ be a noetherian local ring with maximal ideal $\mathcal m$ and denote by $E$ the injective hull of the residue field $k$. Then, as an $R-$module, what is the support of $E$?
4
votes
1answer
387 views

Self-injective basic algebras

Do you know of any self-injective basic algebra $A$ over a field $k$ such that its enveloping algebra $A^{\mathrm{op}}\otimes_k A$ is not self-injective? The algebra $A$ cannot be finite-dimensional, ...
4
votes
2answers
738 views

About injective hull

Let $M$ be an $A$-module. Is its injective hull affected by whether I regard $M$ as an $A$-module or $A/\mbox{Ann}(M)$-module ?
8
votes
1answer
856 views

Direct sum of injective modules over non-Noetherian rings

Hi. I know, by the Bass-Papp theorem, that if every direct sum of injective $R$-modules is injective then $R$ is Noetherian. I would like to know if there exists a direct sum of injective $R$-modules ...
3
votes
0answers
350 views

Finite generatation of Ext

If $A$ is a Noetherian ring and $M$, $N$ are finitely generated modules over $A$, it is easy to see that $\mbox{Ext}_{A}(M,N)$ is finitely generated by taking a finitely generated projective ...
3
votes
2answers
823 views

Injective modules and Pontrjagin duals

Forgive me for this naive question. We consider the following lemma and its proof in Lang's algebra, Third Ed., published 1999, Chap. 20, section 4, page 784. Every module is a submodule of an ...