Questions tagged [injective-modules]

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

Filter by
Sorted by
Tagged with
4 votes
0 answers
107 views

Flatness of $C_0(S)$-module $L_\infty(S,\mu)$

Let $S$ be a locally compact Hausdorff space. By $C_0(S)$ we denote the space of continuous functions vanishing at infinity. Let $\mu$ be a finite Borel regular measure om $S$, then consider $L_\infty(...
Norbert's user avatar
  • 1,677
6 votes
1 answer
197 views

Nuclearity of $C(\partial_F \mathbb{G})$

Let $\mathbb{G}$ be a discrete quantum group, and consider the non-commutative Furstenberg boundary $\partial_F\mathbb{G}$ with function algebra $C(\partial_F \mathbb{G}) = I_{\mathbb{G}}(\mathbb{C})$....
J. De Ro's user avatar
  • 508
1 vote
0 answers
60 views

The eventual number of generators of modules of which $M$ is a subquotient

Let $R$ be a (commutative) ring and let $M$ be an $R$-module. Say that $M$ is subfinitely generated if $M$ is a submodule of a finitely-generated module. Write $$\mathcal F(M) = \{ M \rightarrowtail N ...
Tim Campion's user avatar
  • 60.5k
1 vote
1 answer
93 views

When do faithfully semiinjective complexes exist?

Question: For which (perhaps noncommutative but always unital and associative) rings $R$ do faithfully semiinjective complexes of right or left $R$-modules exist? Hopefully the answer is: "for ...
FShrike's user avatar
  • 487
1 vote
1 answer
120 views

For a pure-injective module $M$ does the property "$\operatorname{Hom}(-,M)$ is surjective" commute with certain limits?

$\DeclareMathOperator\Hom{Hom}$Let $M$ be a pure-injective module. Then $\Hom(\varphi,M)$ is surjective for a pure-mono $\varphi$. It is well-known that $\varphi$ is a direct limit of split monos $\...
kevkev1695's user avatar
  • 1,023
2 votes
0 answers
68 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-...
Onur Oktay's user avatar
  • 2,263
4 votes
0 answers
67 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?...
Doug Liu's user avatar
  • 433
1 vote
0 answers
90 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}...
strat's user avatar
  • 291
1 vote
1 answer
176 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})$. ...
ZYX's user avatar
  • 11
1 vote
0 answers
64 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$...
mariam's user avatar
  • 111
2 votes
1 answer
314 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: $$\...
pink floyd's user avatar
1 vote
0 answers
99 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 ...
Antony's user avatar
  • 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 $\...
user127776's user avatar
  • 5,821
6 votes
1 answer
125 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 $ ...
mathStudent's user avatar
-1 votes
1 answer
140 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 ...
mathStudent's user avatar
1 vote
1 answer
167 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 ...
mathStudent's user avatar
1 vote
1 answer
317 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$ ...
mathStudent's user avatar
3 votes
2 answers
187 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 ...
mathStudent's user avatar
1 vote
1 answer
352 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 ...
mathStudent's user avatar
-1 votes
1 answer
67 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 ...
Robert's user avatar
  • 75
4 votes
1 answer
376 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 ...
user avatar
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, ...
Maxime Ramzi's user avatar
  • 13.2k
2 votes
0 answers
72 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-...
Sam's user avatar
  • 383
4 votes
1 answer
156 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 ...
André Henriques's user avatar
3 votes
0 answers
403 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 ...
seldon's user avatar
  • 1,033
4 votes
1 answer
390 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 ...
Mikhail Bondarko's user avatar
2 votes
1 answer
368 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 ...
Jehu314's user avatar
  • 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 ...
Zhaoting Wei's user avatar
  • 8,657
4 votes
0 answers
186 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[...
André Henriques's user avatar
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 ...
user122368's user avatar
2 votes
1 answer
65 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\...
Nemool's user avatar
  • 43
3 votes
0 answers
154 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 $...
Alex's user avatar
  • 31
4 votes
1 answer
253 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 ...
Junling Zheng's user avatar
3 votes
1 answer
124 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$? ...
Injective's user avatar
2 votes
0 answers
493 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{...
Zhaoting Wei's user avatar
  • 8,657
5 votes
1 answer
157 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 ...
Peter Heinig's user avatar
  • 5,971
0 votes
0 answers
185 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 $\...
user45397's user avatar
  • 2,195
4 votes
1 answer
293 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}...
Filburt's user avatar
  • 43
5 votes
1 answer
272 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$-...
Pablo Zadunaisky's user avatar
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 ...
user95223's user avatar
3 votes
1 answer
873 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 ...
user43198's user avatar
  • 1,949
4 votes
1 answer
535 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$-...
HHH's user avatar
  • 63
1 vote
1 answer
344 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 ...
user 1's user avatar
  • 1,345
6 votes
1 answer
565 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 ...
Norbert's user avatar
  • 1,677
7 votes
1 answer
695 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. ...
Fred.Fred's user avatar
  • 409
4 votes
0 answers
167 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 $...
José Navarro's user avatar
2 votes
1 answer
194 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 ...
Fred.Fred's user avatar
  • 409
7 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\...
user41650's user avatar
  • 1,922
1 vote
1 answer
1k 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 ...
user31480's user avatar
  • 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:...
Fred Rohrer's user avatar
  • 6,650