• Home
  • Textbooks
  • A Course in Ring Theory
  • Injective Dimension

A Course in Ring Theory

Donald S. Passman

Chapter 22

Injective Dimension - all with Video Answers

Educators


Chapter Questions

02:48

Problem 1

Let $\left\{A_{i} \mid i \in \mathcal{I}\right\}$ be a collection of $R$-modules and set $A=\prod_{i} A_{i}$ Prove that id $A=\sup \left\{\right.$ id $\left.A_{i} \mid i \in \mathcal{I}\right\}$

Michael Jacobsen
Michael Jacobsen
Numerade Educator
01:17

Problem 2

Suppose $0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0$ is an exact sequence of $R$-modules. Show that there exist modules $D, E$ and $Q$ with $Q$ injective and sequences
$$
\begin{aligned}
&0 \rightarrow B \rightarrow Q \rightarrow D \rightarrow 0 \\
&0 \rightarrow A \rightarrow Q \rightarrow E \rightarrow 0 \\
&0 \rightarrow C \rightarrow E \rightarrow D \rightarrow 0
\end{aligned}
$$
that are exact. This is the injective analog of Lemma $8.6$.

Srilakshmi E K
Srilakshmi E K
Numerade Educator
03:26

Problem 3

Suppose $0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0$ is exact. If any two of these modules have finite injective dimension, show that the third does also. Furthermore, prove that
This is the injective analog of Lemma $8.7$.

Anthony Ramos
Anthony Ramos
Numerade Educator
01:18

Problem 4

Verify the basic properties of $\mathrm{E}(A, B)$. In particular, show that the Baer sum respects the equivalence relation and that addition is associative and commutative. Furthermore, show that the split extensions form a single class, which corresponds to the zero element of $\mathrm{E}(A, B)$.

Wendi Zhao
Wendi Zhao
Numerade Educator
01:58

Problem 5

Let $R$ be a ring. Prove directly, without using Theorem $22.4$, that the following are equivalent.
i. All right $R$-modules are injective.
ii. All right ideals of $R$ are injective.
iii. $R$ is a Wedderburn ring.

Mohamed Mohamed
Mohamed Mohamed
Numerade Educator
02:35

Problem 6

Let $R$ be any ring. Show directly, without using Theorem $22.4$, that the following are equivalent.
i. Submodules of projective $R$-modules are projective.
ii. Homomorphic images of injective $R$-modules are injective.
For $(\mathrm{i}) \Rightarrow(\mathrm{ii})$, let $Q$ be an injective module and $U$ a submodule. Suppose $W \subseteq V$ and $\sigma: W \rightarrow Q / U$ are given. Map a projective module $P$ onto $V$ and let $P^{\prime}$ be the complete inverse image of $W .$ By assumption, $P^{\prime}$ is also projective. Now $\sigma$ extends to a map $\tau: P^{t} \rightarrow W \rightarrow Q / U$ and, since $P^{\prime}$ is projective and $Q \rightarrow Q / U$ is onto, $\tau$ lifts to a map $\tau^{*}: P^{\prime} \rightarrow Q$
Let $A_{R}$ and $B_{R}$ be $R$-modules, let
$$
\cdots \rightarrow P_{2} \stackrel{\alpha_{2}}{\longrightarrow} P_{1} \stackrel{\alpha_{1}}{\longrightarrow} P_{0} \rightarrow A \rightarrow 0
$$
be a projective resolution of $A$ and let $$
0 \rightarrow B \rightarrow Q_{0} \stackrel{\beta_{1}}{\longrightarrow} Q_{1} \stackrel{\beta_{2}}{\longrightarrow} Q_{2} \rightarrow \cdots
$$
be an injective resolution of $B$. Of course, the latter is a long exact sequence with each $Q_{i}$ injective. If we apply $\operatorname{Hom}_{R}(-, B)$ to the first sequence and $\operatorname{Hom}_{R}(A,-)$ to the second and then delete the $\operatorname{Hom}_{R}(A, B)$ term, we obtain the complexes
$$
\begin{aligned}
&0 \stackrel{\hat{\alpha}_{0}}{\longrightarrow} \operatorname{Hom}\left(P_{0}, B\right) \stackrel{\hat{\alpha}_{1}}{\longrightarrow} \operatorname{Hom}\left(P_{1}, B\right) \stackrel{\hat{\alpha}_{2}}{\longrightarrow} \operatorname{Hom}\left(P_{2}, B\right) \rightarrow \cdots \\
&0 \stackrel{\hat{\beta}_{0}}{\longrightarrow} \operatorname{Hom}\left(A, Q_{0}\right) \stackrel{\hat{\beta}_{1}}{\longrightarrow} \operatorname{Hom}\left(A, Q_{1}\right) \stackrel{\hat{\beta}_{2}}{\longrightarrow} \operatorname{Hom}\left(A, Q_{2}\right) \rightarrow \cdots
\end{aligned}
$$
where, for convenience, we let $\hat{\alpha}_{0}$ and $\hat{\beta}_{0}$ denote the appropriate zero maps. The abelian groups $\operatorname{Ext}_{R}^{n}(A, B)$ are now defined by
$$
\operatorname{Ext}_{R}^{n}(A, B)=\operatorname{Ext}^{n}(A, B)=\operatorname{Ker}\left(\hat{\beta}_{n+1}\right) / \operatorname{Im}\left(\hat{\beta}_{n}\right)
$$
for $n=0,1,2, \ldots$ It can be shown that Ext $^{n}(A, B)$ depends only on $A$ and $B$ and not on the particular injective resolution chosen for $B$. Furthermore,
$$
\operatorname{Ext}_{R}^{n}(A, B)=\operatorname{Ext}^{n}(A, B)=\operatorname{Ker}\left(\hat{\alpha}_{n+1}\right) / \operatorname{Im}\left(\hat{\alpha}_{n}\right)
$$

Manik Pulyani
Manik Pulyani
Numerade Educator
02:52

Problem 7

Prove that $\operatorname{Ext}^{0}(A, B) \cong \operatorname{Hom}_{R}(A, B)$ and that $E x t^{n}$ respects finite direct sums.

Vishnu P
Vishnu P
Numerade Educator
01:58

Problem 8

If $\operatorname{pd} A=k$ or id $B=k$, show that $\operatorname{Ext}^{n}(A, B)=0$ for all $n \geq k+1$

Julian Wong
Julian Wong
Numerade Educator
03:13

Problem 9

Suppose $0 \rightarrow C \rightarrow P \rightarrow A \rightarrow 0$ is exact with $P$ projective. Prove that $\operatorname{Ext}^{n}(C, B) \cong \operatorname{Ext}^{n+1}(A, B)$ for all $n \geq 1 .$ Furthermore, show that
$$
0 \rightarrow \operatorname{Hom}(A, B) \rightarrow \operatorname{Hom}(P, B) \rightarrow \operatorname{Hom}(C, B) \rightarrow \operatorname{Ext}^{1}(A, B) \rightarrow 0
$$
is exact.

Gideon Idumah
Gideon Idumah
Numerade Educator
00:59

Problem 10

Suppose $0 \rightarrow B \rightarrow Q \rightarrow D \rightarrow 0$ is exact with $Q$ injective. Prove that $\operatorname{Ext}_{R}^{n}(A, D) \cong \operatorname{Ext}^{n+1}(A, B)$ for all $n \geq 1 .$ Furthermore, show that
$$
0 \rightarrow \operatorname{Hom}(A, B) \rightarrow \operatorname{Hom}(A, Q) \rightarrow \operatorname{Hom}(A, D) \rightarrow \operatorname{Ext}^{1}(A, B) \rightarrow 0
$$
is exact.

Chandra Jain
Chandra Jain
Numerade Educator