Questions tagged [injective-modules]
For questions about injective modules over a ring and injective objects in related categories.
57
questions
2
votes
0
answers
63
views
Analogy between quasi-injective modules & extensible Banach spaces
Let $X$ be a module. $X$ is said to be quasi-injective if every homomorphism $h:A\to X$ from any submodule $A\subseteq X$ has an extension to an endomorphism $\tilde{h}:X\to X$.
A module $X$ is quasi-...
- 2,108
4
votes
0
answers
53
views
Indecomposable injectives over Weyl algebras
Let $A=A_n(\mathbb{C})$ be the $n$-th Weyl algebra over the complex field. Then $A$ is a left Noetherian noncommutative ring. Is there a complete classification of indecomposable injective $A$-modules?...
- 353
1
vote
0
answers
81
views
When does a local Cohen–Macaulay ring admit a non-zero finitely generated maximal Cohen–Macaulay module of finite injective dimension?
Let $(R,\mathfrak m)$ be a local Cohen–Macaulay ring. Then, it is well- nown that there exists a non-zero finitely generated $R$-module of finite injective dimension; for instance $\operatorname{Hom}...
- 149
0
votes
0
answers
67
views
f.g. module $M$ over a complete local CM ring of dimension 1 such that $M, \text{Hom}_R(M,M), \text{Ext}^1_R(M,M)$ have finite injective dimension
Let $(R,\mathfrak m)$ be a local, $\mathfrak m$-adically complete, Cohen-Macaulay ring of dimension $1$. Assume that there exists a finitely generated $R$-module $M$ of depth $0$ such that $M$, $\text{...
- 63
1
vote
1
answer
139
views
Pontrjagin dual of modules [closed]
I am not sure whether this question is appropriate to appear here. If not, I apologize for that.
Given an $R$-module $M$, we define its Pontrjagin dual as $M^{\ast}=Hom_{\mathbb{Z}}(M, \mathbb{Q/Z})$. ...
- 11
1
vote
0
answers
62
views
Prove that $f(M)=f^2(M)$ implies $f(M)$ is a direct summand of $M$ whenever $\text{End}_R(M)$ is a reduced ring
Let $M$ be a right $R$-module with the property that every homomorphism $\gamma:Sf\to M, f\in S=\text{End}_R(M)$, extends to $S\to M$. If $S$ has the property $f^2=0$ implies $f=0$ for every $f\in S$...
- 111
2
votes
1
answer
298
views
Example of non vanishing Ext
Let $R$ be a commutative Noetherian ring and $I$ is a proper ideal of $R$. suppose that $M$ is a f.g. $R$-module.
$\DeclareMathOperator\Ext{Ext}$I'm looking for an example that has this property:
$$\...
- 238
1
vote
0
answers
98
views
Finding an injective envelope containing another injective envelope
Let $R$ be a local principal ideal domain (PID) with only two prime ideals $0$ and $P$, and let $M$ be an $R$-module. Let for $r\in R$ and $m\in M$, $rm\not=0$. Now if $E(rm)$ is a fixed injective ...
- 147
3
votes
0
answers
81
views
Do rationally contractible presheaves have rationally contractible injective resolution
Given a presheaf $\mathcal{F}: Sm/k\rightarrow Ab$ we define a new presheaf $C\mathcal{F}= \varinjlim\limits_{X\times \{0,1\}\subset U \subset X\times \mathbb{A}^1}\mathcal{F}(U)$. The presheaf $\...
- 5,719
6
votes
1
answer
122
views
On the finiteness of an Auslander-Reiten component
I am reading a paper called A NOTE ON THE RADICAL OF A MODULE CATEGORY by
CLAUDIA CHAIO AND SHIPING LIU. This is Theorem 2.7:
And this is part of it's proof, in which the direction (2) $\Rightarrow $ ...
- 241
-1
votes
1
answer
139
views
infinite left degrees
I am reading a paper called A NOTE ON THE RADICAL OF A MODULE CATEGORY by
CLAUDIA CHAIO AND SHIPING LIU. This is a part of the paper:
Definition: Let $f: X \rightarrow Y$ be an irreducible morphism ...
- 241
1
vote
1
answer
150
views
About composition factors [closed]
I am reading a paper called A NOTE ON THE RADICAL OF A MODULE CATEGORY by
CLAUDIA CHAIO AND SHIPING LIU. This is part of the proof of Lemma 2.3
$A$ is assumed to be an Artin algebra and mod(A) the ...
- 241
1
vote
1
answer
271
views
Question on simple modules and projective covers
I have the following question:
Let $A$ be an Artin algebra. Let $S_1$ and $S_2$ be simple modules in $\text{mod}(A)$ and let $P(S_1)$ be the projective cover of $S_1$. Let $f: P(S_1) \rightarrow S_2$ ...
- 241
3
votes
2
answers
177
views
Question on injective hulls
How can I show the following:
Let $f: M \rightarrow N$ be a morphism in $\text{mod}(A)$, where $A$ is an Artin algebra. Suppose $f \neq 0$. Then there exists a simple module $S$ with its injective ...
- 241
0
votes
1
answer
299
views
injective hull and projective cover of simple modules are indecomposable
Let $A$ be an Artinian algebra. Let $S$ be a simple module over $A$. Let $\pi: S \rightarrow I$ be the injective hull and $\tau: P \rightarrow S$ be the projective cover of $S$. Then $I$ and $P$ must ...
- 241
-1
votes
1
answer
65
views
Can we extract an injective envelope from a monomorphism?
Let $A$ be an artinian ring and $f : X \rightarrow \bigoplus_{j=1}^{n}I_{j}$ be a morphism of $A$-modules, where each $I_{j}$ is injective and indecomposable. If $f$ is a monomorphism, then can we ...
- 75
4
votes
1
answer
325
views
Projective (or injective) object in a subcategory
Let $\mathcal{A}$ be an abelian category and $\mathcal{B}$ be a full subcategory of $\mathcal{A}$. Suppose that $\mathcal{B}$ is abelian and that the inclusion of $\mathcal{B}$ in $\mathcal{A}$ is ...
user144185
25
votes
2
answers
3k
views
Are there (enough) injectives in condensed abelian groups?
The question is very simple : does $Cond(\mathbf{Ab})$, the category of condensed abelian groups (as defined in Scholze's Lectures in Condensed Mathematics), have enough injectives ?
Does it, in fact, ...
- 11.6k
2
votes
0
answers
69
views
Bimodule resolutions
I have asked this question on Mathematics Stack exachange but didn't get any reply yet. So, I am asking it here.
Let A be a finite-dimensional algebra. Let M be a left A-module and
N be a right A-...
- 383
4
votes
1
answer
154
views
injective hulls in mixed characteristic
Let $R=\underleftarrow\lim (R/\mathfrak m^i)$ be a complete local ring, with residue field $k=R/\mathfrak m$,
and let's assume that $R$ is Noetherian.
If $R$ is a $k$-algebra, then
I believe that ...
- 41.6k
3
votes
0
answers
360
views
Is there a constructive proof of Baer's Criterion?
Baer's Criterion states than one can check injectivity of an $R$-module on inclusions of ideals. The proof, however, strikes me as very nonconstructive: it employs both Zorn's Lemma and LEM.
Does ...
- 835
4
votes
1
answer
330
views
On definitions and explicit examples of pure-injective modules
I am interested in the following assumption on left $R$-modules: for a module $I$ and all injective homomorphisms $A\to B$ of finitely generated (or possibly finitely presented) modules I want the ...
- 16.3k
2
votes
1
answer
347
views
Injective Change of Rings
Sorry if this is too elementary, but when I was going to ask this question on math.stackexchange, I saw the same question with three up-votes and no answer. So I decided to post it here.
I am doing ...
- 153
1
vote
0
answers
56
views
Could we extend isomorphisms between cohomologies of h-injective complexes to h-injective complexes themselves?
Let $R$ be an associative ring with unit and $I$ be a complex of $R$-modules. We call $I$ is h-injective if for any acyclic complex $T$ of $R$-modules, the mapping complex $\text{Hom}_R(T,I)$ is ...
- 8,557
4
votes
0
answers
182
views
Explicit description of injective hulls
Let $k$ be a field, let $R:=k[x_1,\ldots,x_n]$, and
consider the $R$-module $M:=R/{(x_1,\ldots,x_n)}\cong k$.
Then the injective hull $I_M$ of $M$ admits the following explicit description:
$$
I_M = k[...
- 41.6k
3
votes
1
answer
2k
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 ...
- 33
2
votes
1
answer
63
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\...
- 43
3
votes
0
answers
151
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 $...
- 31
4
votes
1
answer
252
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 ...
- 181
3
votes
1
answer
116
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$?
...
- 43
2
votes
0
answers
478
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{...
- 8,557
5
votes
1
answer
152
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 ...
- 5,911
0
votes
0
answers
183
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 $\...
- 2,175
4
votes
1
answer
283
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}...
- 43
5
votes
1
answer
250
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$-...
- 651
0
votes
1
answer
1k
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
1
answer
821
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 ...
- 1,919
4
votes
1
answer
523
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$-...
- 63
1
vote
1
answer
313
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 ...
- 1,389
6
votes
1
answer
558
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? This module is not dual, so standard arguments via flatness do not work.
Injectivity is understood in the ...
- 1,617
6
votes
1
answer
652
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.
...
- 399
4
votes
0
answers
163
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 $...
- 1,054
2
votes
1
answer
185
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 ...
- 399
6
votes
2
answers
1k
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,828
1
vote
1
answer
980
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 ...
- 113
6
votes
0
answers
1k
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:...
- 6,632
3
votes
0
answers
293
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=...
- 425
3
votes
1
answer
342
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{...
- 3,001
8
votes
1
answer
557
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 ...
- 59.3k
12
votes
1
answer
4k
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 ...
- 123