• Home
  • Textbooks
  • An Introduction to Homological Algebra
  • Homology

An Introduction to Homological Algebra

Joseph J. Rotman

Chapter 6

Homology - all with Video Answers

Educators


Chapter Questions

05:27

Problem 1

If $\mathbf{C}$ is a complex with $C_{n}=\{0\}$ for some $n$, prove that $H_{n}(\mathbf{C})=$ $\{0\}$.

Khoobchandra Agrawal
Khoobchandra Agrawal
Numerade Educator
03:58

Problem 2

Prove that isomorphic complexes have the same homology: if $\mathbf{C}$ and D are isomorphic, then $H_{n}($ C $) \cong H_{n}($ D) for all $n \in Z$.

Anthony Ramos
Anthony Ramos
Numerade Educator
05:01

Problem 3

If $f=\left(f_{n}\right): \mathbf{C} \rightarrow \mathbf{D}$ is a chain map, prove, for all $n \in Z$, that $f_{n+} Z_{n}(\mathbf{C}) \subseteq Z_{n}(\mathbf{D}) \quad$ and $\quad f_{n+} B_{n}(\mathbf{C}) \subseteq B_{n}(\mathbf{D}) .$

Linda Hand
Linda Hand
Numerade Educator
03:13

Problem 4

If $P$ and $P^{\prime}$ are projective resolutions of a module $A$ with syzygies $K_{n}$ and $K_{n}^{\prime}$ for all $n \geq 0$, prove that there are projective modules $Q_{n}, Q_{n}^{\prime}$ with $K_{n} \oplus Q_{n}^{\prime} \cong K_{n}^{\prime} \oplus Q_{n}$.
Hint. Schanuel's Lemma.
(ii) If one projective resolution of a module $A$ has a projective $n$th syzygy, prove that the $n$th syzygy of every projective resolution of $A$ is projective.

Gideon Idumah
Gideon Idumah
Numerade Educator
13:29

Problem 5

This exercise shows that the Snake Lemma implies Theorem $6.10$ (so this theorem should not be used in solving this problem).

Consider the commutative diagram with exact rows (note that two zeros are "missing" from this diagram):
(i) Prove that $\Delta:$ ker $\gamma \rightarrow \operatorname{coker} \alpha$, defined by
$\Delta: z \mapsto i^{-1} \beta p^{-1} z+i m \alpha$,
is a well-defined homomorphism.
(ii) Prove that there is an exact sequence
$\operatorname{ker} \alpha-\operatorname{ker} \beta \rightarrow \operatorname{ker} \gamma \stackrel{\Delta}{\rightarrow} \operatorname{coker} \alpha \stackrel{i^{r}}{-} \operatorname{coker} \beta \rightarrow \operatorname{coker} \gamma$,
where $i^{\prime}: a^{\prime}+\operatorname{im} \alpha \mapsto i a^{\prime}+\operatorname{im} \beta$ for $a^{\prime} \in A^{\prime}$.
(iii) Given a commutative diagram with exact rows,
$$
0 \longrightarrow A_{n}^{\prime} \longrightarrow A_{n} \longrightarrow A_{n}^{n} \longrightarrow 0
$$
prove that the following diagram is commutative and has exact rows:
$$
\begin{gathered}
A_{n}^{r} / \operatorname{im} d_{n+1}^{\prime} \rightarrow A_{n} / \operatorname{im} d_{n+1} \rightarrow A_{n}^{\prime \prime} / \operatorname{im} d_{n+1}^{\prime \prime} \rightarrow 0 \\
d^{\prime} \downarrow_{k e r} d_{n-1}^{\prime} \longrightarrow \operatorname{ker} d_{n-1}^{\prime} \longrightarrow \operatorname{ker} d_{n-1^{*}}^{\prime \prime}
\end{gathered}
$$
(iv) Use part (ii) and this last diagram to give another proof of Theorem 6.10, the Long Exact Sequence.

Anthony Ramos
Anthony Ramos
Numerade Educator
14:32

Problem 6

Let $f, g: \mathbf{C} \rightarrow \mathbf{C}^{\prime}$ be chain maps, and let $F: \mathcal{C} \rightarrow C^{\prime}$ be an additive functor. If $f \simeq g$, prove that $F f \simeq F g$; that is, if $f$ and $g$ are homotopic, then $F f$ and $F g$ are homotopic.

Anthony Ramos
Anthony Ramos
Numerade Educator
02:11

Problem 7

Let $0 \rightarrow \mathbf{C}^{\prime} \stackrel{l}{\longrightarrow} \mathbf{C} \stackrel{p}{\longrightarrow} \mathbf{C}^{\prime \prime} \rightarrow 0$ be an exact sequence of complexes in which $\mathbf{C}^{\prime}$ and $\mathbf{C}^{\prime \prime}$ are acyclic; prove that $\mathbf{C}$ is also acyclic.

Khoobchandra Agrawal
Khoobchandra Agrawal
Numerade Educator
01:05

Problem 8

Let $R$ and $A$ be rings, and let $T: R$ Mod $\rightarrow$ Mod be an exact additive functor. Prove that $T$ commutes with homology; that is, for every complex $(\mathbf{C}, d) \in R$ Comp and for every $n \in \mathbb{Z}$, there is an isomorphism
$$
H_{n}(T \mathbf{C}, T d) \cong T H_{n}(\mathbf{C}, d)
$$

Anthony Ramos
Anthony Ramos
Numerade Educator
01:27

Problem 9

(i) Prove that homology commutes with direct sums: for all $n$, there are natural isomorphisms
$$
H_{n}\left(\bigoplus_{\alpha} \mathrm{C}^{\alpha}\right) \cong \bigoplus_{\alpha} H_{n}\left(\mathrm{C}^{\alpha}\right)
$$
(ii) Define a direct system of complexes $\left(\mathbf{C}^{\mathrm{d}}\right)_{i \in I},\left(\varphi_{j}^{l}\right)_{i \leq j}$, and prove that $\lim _{\rightarrow} \mathbf{C}^{i}$ exists.
(iii) If $\left(\mathbf{C}^{l}\right)_{i \in l},\left(\varphi^{l}\right)_{i \leq j}$ is a direct system of complexes over a directed index set, prove, for all $n \geq 0$, that
$$
H_{n}\left(\lim _{\longrightarrow} \mathbf{C}^{i}\right) \cong \lim _{\longrightarrow} H_{n}\left(\mathbf{C}^{l}\right) \text {. }
$$

Ajay Singhal
Ajay Singhal
Numerade Educator

Problem 10

Assume that a complex $(\mathrm{C}, d)$ of $R$-modules has a contracting homotopy in which the maps $s_{n}: C_{n} \rightarrow C_{n+1}$ satisfying
$$
1_{C_{v}}=d_{n+1} s_{n}+s_{n-1} d_{n}
$$
are only Z-maps. Prowe that $(\mathbf{C}, d)$ is an exact sequence.

Check back soon!
08:25

Problem 11

(Barratt-Whitehead). Consider the commutative diagram with exact rows:
If each $h_{n}$ is an isomorphism, prove that there is an exact sequence
$$
\begin{aligned}
\rightarrow A_{n} \stackrel{\left(f_{n}, i_{n}\right)}{\longrightarrow} A_{n}^{\prime} \oplus B_{n} & \stackrel{j=g_{n}}{\longrightarrow} B_{n}^{\prime} \stackrel{\partial_{n} h_{m}^{-1} 4_{n}}{\longrightarrow} A_{n-1} \\
& \rightarrow A_{n-1}^{\prime} \oplus B_{n-1} \rightarrow B_{n-1}^{\prime} \rightarrow
\end{aligned}
$$
where
$$
\left(f_{n}, i_{n}\right): a_{n} \mapsto\left(f_{n} a_{n}, i_{n} a_{n}\right) \text { and } j_{n}-g_{n}:\left(a_{n}^{\prime}, b_{n}\right) \mapsto j_{n} a_{n}^{\prime}-g_{n} b_{n}-
$$

Ely Crowder
Ely Crowder
Numerade Educator
01:05

Problem 12

(Mayer-Vietoris). Given a commutative diagram of complexes with exact rows,
$$
\begin{aligned}
&0 \longrightarrow \mathbf{C} \stackrel{t}{-} \mathbf{C} \stackrel{p}{\mid g} \mathbf{C}^{\prime \prime} \longrightarrow 0 \\
&0 \longrightarrow \mathbf{A}^{\prime} \longrightarrow \mathbf{A} \longrightarrow \mathbf{A}^{\prime \prime} \longrightarrow 0
\end{aligned}
$$
if every third vertical map $h_{*}$ in the diagram
is an isomorphism, prove that there is an exact sequence
$$
-H_{n}\left(\mathbf{C}^{\prime}\right)-H_{n}\left(\mathbf{A}^{\prime}\right) \oplus H_{n}(\mathbf{C})-H_{n}(\mathbf{A}) \rightarrow H_{n-1}\left(\mathbf{C}^{\prime}\right)-
$$

Anthony Ramos
Anthony Ramos
Numerade Educator
01:56

Problem 13

If $\tau: F \rightarrow G$ is a natural transformation between additive functors, prove that $\tau$ gives chain maps $\tau_{\mathbf{C}}: F \mathbf{C} \rightarrow G \mathbf{C}$ for every complex C. If $\tau$ is a natural isomorphism, prove that $F \mathbf{C} \cong G \mathbf{C}$.

Anthony Ramos
Anthony Ramos
Numerade Educator
01:05

Problem 14

Consider the commutative diagram with exact row
If $k$ is an isomorphism with inverse $\ell$, prove exactness of
$$
B^{\prime} \stackrel{i}{\longrightarrow} B \stackrel{p}{\longrightarrow} B^{\prime \prime} .
$$

Anthony Ramos
Anthony Ramos
Numerade Educator
View

Problem 15

Let $T: \mathcal{A} \rightarrow \mathcal{C}$ be an exact additive functor between abelian categories, and suppose that $P$ projective implies $T P$ projective. If $B \in \operatorname{obj}(\mathcal{A})$ and $\mathbf{P}_{B}$ is a deleted projective resolution of $B$, prove that $T \mathbf{P}_{T B}$ is a deleted projective resolution of $T B$.

Nick Johnson
Nick Johnson
Numerade Educator
02:52

Problem 16

Let $R$ be a $k$-algebra, where $k$ is a commutative ring, which is flat as a $k$-module. Prove that if $B$ is an $R$-module (and hence a $k$-module), then
$$
R \otimes_{k} \operatorname{Tor}_{n}^{k}(B, C) \cong \operatorname{Tor}_{n}^{R}\left(B, R \otimes_{k} C\right)
$$
for all $k$-modules $C$ and all $n \geq 0$.

Wendi Zhao
Wendi Zhao
Numerade Educator
04:41

Problem 17

Let $R$ be a semisimple ring.
(i) Prove, for all $n \geq 1$, that $\operatorname{Tor}_{n}^{R}(A, B)=\{0\}$ for all right $R$-modules $A$ and all left $R$-modules $B$.
(ii) Prove, for all $n \geq 1$, that $\operatorname{Ext}_{R}^{n}(A, B)=\{0\}$ for all left $R$-modules $A$ and $B$.

Mohamed Mohamed
Mohamed Mohamed
Numerade Educator
02:27

Problem 18

If $R$ is a PID, prove, for all $n \geq 2$, that $\operatorname{Tor}_{n}^{R}(A, B)=\{0\}=$ $\operatorname{Ext}_{R}^{n}(A, B)$ for all $R$-modules $A$ and $B$.
Hint. Use Corollary 4.15.

Aman Gupta
Aman Gupta
Numerade Educator
03:58

Problem 19

Let $R$ be a domain with fraction field $Q$, and let $A, C$ be $R$-modules. If either $C$ or $A$ is a vector space over $Q$, prove that $\operatorname{Tor}_{n}^{R}(C, A)$ and $\operatorname{Ext}_{R}^{n}(C, A)$ are also vector spaces over $Q$.
Hint. Use Exercise $2.38$ on page $97 .$

Anthony Ramos
Anthony Ramos
Numerade Educator
28:40

Problem 20

Let $R$ be a domain and let $Q=\operatorname{Frac}(R)$.
(i) If $r \in R$ is nonzero and $A$ is an $R$-module for which $r A=$ $\{0\}$, that is, $r a=0$ for all $a \in A$, prove that $\operatorname{Ext}_{R}^{n}(Q, A)=$ $\{0\}=\operatorname{Tor}_{n}^{R}(Q, A)$ for all $n \geq 0 .$
(ii) Prove that $\operatorname{Ext}_{R}^{n}(V, A)=\{0\}=\operatorname{Tor}_{n}^{R}(V, A)$ for all $n \geq 0$ whenever $V$ is a vector space over $Q$ and $A$ is an $R$-module for which $r A=\{0\}$ for some nonzero $r \in R$.

Donald Albin
Donald Albin
Numerade Educator
14:32

Problem 21

Let $A$ and $B$ be $R$-modules, and let $A^{\prime}$ be a submodule of $A$. Define the obstruction of a map $f: A^{\prime} \rightarrow B$ to be $\partial(f)$, where $\partial$ is the connecting homomorphism $\operatorname{Hom}_{R}\left(A^{\prime}, B\right) \rightarrow \operatorname{Ext}_{R}^{1}\left(A / A^{\prime}, B\right)$. Prove that $f$ can be extended to a homomorphism $\widetilde{f}: A \rightarrow B$ if and only if its obstruction is 0 .

Anthony Ramos
Anthony Ramos
Numerade Educator
06:06

Problem 22

Give an example of an $R$-module $B$ for which $L_{0} \operatorname{Hom}_{R}(B, \square)$ is not naturally isomorphic to $\operatorname{Hom}_{R}(B, \square)$, where $L_{0}$ is the Oth left derived functor.

Abigail Martyr
Abigail Martyr
Numerade Educator