3
$\begingroup$

The question is to calculate the homology groups of the chain complex:

$0 \to A \stackrel{n}{\to} A \to 0$, where $A$ is an Abelian group and $n \in \mathbb{N}$.

I don't see a nice way to get anything out of this other than $H_1 = \mathrm{ker} \ \partial_1$ and $H_0 = A / \mathrm{Im} \ \partial_1$

Some quick calculations on small groups like $\mathbb{Z}/ 4\mathbb{Z}$ seem to confirm no 'nice' pattern, but I am probably missing something

  • 0
    @user7887: No problem, easy to do!2011-03-11

2 Answers 2

4

We are given a chain complex: $ \ldots \to C_n \stackrel{\partial_n}{\to} \ldots \to C_1 \stackrel{\partial_1}{\to} C_0 \stackrel{\partial_0}{\to} \ldots$ where $C_0 = C_1 = A$, $\partial_0$ is the zero map and $\partial_1$ is multiplication by $n$. Also $C_n = 0$ for $n \neq 0,1$.

Since $C_n = 0$ for $n \neq 0,1$, we must have $\mathrm{Ker}\partial_n = 0$ for $n \neq 0,1$ (because $\mathrm{Ker}\partial_n\leq C_n = 0$). So $H_n = 0$ for $n \neq 0,1$.

Next observe that, because $C_2 = 0$, we must have $\mathrm{Im}\partial_2 = 0$. So $H_1 = \mathrm{Ker}\partial_1/\mathrm{Im}\partial_2 \cong \mathrm{Ker}\partial_1 = \{a \in A | na = 0\}$.

Finally, $H_0 = \mathrm{Ker}\partial_0/\mathrm{Im}\partial_1$. Since $\partial_0: A \to A$ is the zero map, $\mathrm{Ker}\partial_0 = A$. Also since $\partial_1: A \to A$ is multiplication by $n$, $\mathrm{Im}\partial_1 = nA$. So $H_0 = A/nA$.

We conclude that for the given Chain complex:

$H_0 = A/nA$, $H_1 = \{a \in A | na =0\}$ and $H_n = 0$ otherwise.

The issue you are describing (with $\mathbb{Z}/4\mathbb{Z}$, and $n=3$) is not really a problem. The above calculation is for an arbitrary abelian group $A$ and integer $n$. You should think of the final answer as a formula of sorts: once you input a choice of abelian group $A$ and integer $n$, you are able to quickly determine the homology without having to go through the lengthy argument every time. However, just as is the case with functions, if you change your input (in this case the pair $(A,n)$) then the value of the function (in this case the Homology of the Chain complex) will also change.

1

You actually picked out the right class of counterexamples, since for your average abelian group (Z or R), you won't find anything interesting. $H_0$ always equals $A/nA$, but $H_1$ 'defines' something that is called torsion, i.e. the vanishing of finite-order elements in a group. In some literature (for example, Hatcher's AT), you'll see the definition $n-{\rm Torsion}(G) = {\rm Ker}(g \mapsto n g | g \in G),$ which coincides with your $H_1$. I hope that'll give you something to look up in your favorite algebra reference.

  • 0
    Thank you, I'll have a look at this2011-03-12