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

**5**

votes

**1**answer

174 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

70 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

73 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

**1**answer

287 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

182 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

184 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

226 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

163 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

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

**1**

vote

**0**answers

280 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) ...

**3**

votes

**1**answer

287 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

626 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

666 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

297 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

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