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

**1**

vote

**1**answer

123 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 ...

**3**

votes

**0**answers

194 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

**1**answer

199 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.
...

**2**

votes

**0**answers

75 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

**1**answer

89 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

**2**answers

370 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 ...

**0**

votes

**1**answer

223 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 ...

**6**

votes

**0**answers

227 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 ...

**3**

votes

**0**answers

241 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;
...

**2**

votes

**1**answer

188 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 ...

**8**

votes

**1**answer

377 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 ...

**6**

votes

**1**answer

711 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

**0**answers

318 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

**1**answer

256 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$?

**3**

votes

**1**answer

310 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

**2**answers

662 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 ?

**7**

votes

**1**answer

703 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

**0**answers

299 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

**2**answers

660 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 ...