A module $I$ over a ring $R$ is injective if $\hom_{R}({-},I)$ is exact. The notion of injective modules is dual to the notion of a projective module. In homological algebra injective modules are used for computing right derived functors.
Questions tagged [injective-module]
354 questions
22
votes
2 answers
A problem about an $R$-module that is both injective and projective.
Let $R$ be a domain that is not a field, and let $M$ be an $R$-module that is both injective and projective. Prove that $M= \left \{ 0 \right \}$.
This is exercise 7.52 of Rotman's Advanced Modern Algebra. Using theorems before exercises, because…
kpax
- 2,871
- 12
- 35
12
votes
2 answers
Is there any relation of injective modules to free modules?
Projective modules are direct summands of free modules.
As I perceive it, projections and injections are dual notions.
Based on that, I was looking whether there is a relation of injective
modules to free modules (similar to the natural relation of…
Manos
- 25,123
- 5
- 60
- 165
11
votes
1 answer
The relationship of free, divisible, projective, injective, and flat modules.
In general, we have that:
free $\Rightarrow$ projective $\Rightarrow$ flat
injective $\Rightarrow$ divisible ( ($\Rightarrow$) be ($\Leftrightarrow$) in PIDs)
Simple Counter-examples:
projective but not free: $\mathbb{Z}_2$ is $\mathbb{Z}_6$ …
Rachel
- 519
- 2
- 11
11
votes
1 answer
Injective Modules Motivation & Intuition
A module $M$ over a commutative ring $R$ is called a
'injective module' if it satisfies certain universal property explaned here.
Question: Is there any intuition how to think concretely
about injective modules? Do them naturally arise as…
user267839
- 1
- 3
- 12
- 55
10
votes
0 answers
when are graded injective modules graded and injective?
Define a graded injective module over a graded ring $R$ to be an injective object in $GrMod-R$ (the category of right graded $R$-modules). From the little research I have done, a graded injective module is not necessarily injective. However, if it…
RumDiary
- 101
- 6
10
votes
1 answer
Let $R$ be a commutative domain with field of fractions $F$. Prove that $F$ is an injective $R$-module.
Let $R$ be a commutative integral domain with field of fractions $F$. Prove that $F$ is an injective $R$-module.
I have tried to apply Baer's criterion: every $R$-module homomorphism from any ideal $I$ of $R$ can be extended to an $R$-module…
delueze
- 545
- 2
- 13
9
votes
1 answer
Divisible module which is not injective
On searching for some example of divisible module but not injective, I come across one in T.Y.Lam, Lectures on Modules and Rings.
He considers the $\mathbb{Z}[x]$-module $M=\mathbb{Q}(x)/\mathbb{Z}[x]$, where $\mathbb{Q}(x)$ denotes the quotient…
user49685
- 4,464
- 1
- 19
- 29
9
votes
1 answer
Construction of injective hulls without axiom of choice
Motivation: It is known that without the axiom of choice (AC), it is not provable that all categories of modules have enough injectives, let alone injective hulls. Still, there are examples of rings where one can explicitly write down 'candidate'…
Hanno
- 19,070
- 2
- 28
- 58
8
votes
1 answer
Integral domain with a finitely generated non-zero injective module is a field
Suppose that $R$ is a integral domain. Suppose that there exists a non-zero finitely generated injective module $M$. How can I prove that $R$ is field?
Stella
- 653
- 3
- 15
8
votes
1 answer
Prove that every $\mathbb{Z}/6\mathbb{Z}$-module is projective and injective. Find a $\mathbb{Z}/4\mathbb{Z}$-module that is neither.
I want to show that every $\mathbb{Z}/6\mathbb{Z}$-module is a direct sum of projective modules.
As abelian group, $\mathbb{Z}/6\mathbb{Z}\cong\mathbb{Z}/2\mathbb{Z}\oplus \mathbb{Z}/3\mathbb{Z}$, but is it the direct sum of $\mathbb{Z}/2\mathbb{Z}$…
user280486
8
votes
2 answers
Injective resolutions of a complex
Let $\mathcal{A}$ be an abelian category, $M\in\mathcal{A}$. An injective resolution of $M$ is a quasi-isomorphism $M\longrightarrow I$, where $I$ is a complex of injective objects. This can be made more explicit: It is the same thing as an exact…
user114885
8
votes
1 answer
$R/Ra$ is an injective module over itself
Let $R$ be a PID, $a\in R$ be a nonzero nonunit in $R$. Prove that $R/Ra$ is an injective module over itself.
If $R$ is a PID, every $R$- divisible module is injective, but the question concerns with $R/Ra$-module, so I have no idea to solve this…
user109584
- 1,230
- 6
- 23
7
votes
0 answers
Lower shriek pushforward of injectives.
Given an open subscheme $f: U\hookrightarrow X$ and an injective etale sheaf of abelian groups $\mathcal{I}$ on $U$, then is it necessarily true that $f_!(\mathcal{I})$ is also injective?
If not then how one proves that $H^i(X, f_!(\mathcal{F})) =…
user127776
- 1,314
- 6
- 13
7
votes
3 answers
Meaning of injectives objects in a category
I'm struggling to understand the meaning/motivation behind injective objects in (abelian) categories, especially in the context of group cohomology. They seem to be mostly mysterious as one mostly cares about having enough of them. Having enough…
Ben S.
- 942
- 1
- 3
- 10
7
votes
1 answer
How to prove that $\mathbb{Q}$ is an injective $\mathbb{Z}$-module via this definition?
This is probably easy, but I'm not seeing things. I just read the definition of an injective module on Wikipedia and found the claim that the $\mathbb{Z}$-module $\mathbb{Q}$ is an example of an injective module.
So, suppose we have a submodule…
Shoutre
- 2,953
- 12
- 28