Skip to main content
2 of 3
edited body
Arrow
  • 10.5k
  • 1
  • 27
  • 71

The structure theorem for finitely generated abelian groups furnishes for each $A$ an isomorphism $A\cong T(A)\oplus \frac{A}{T(A)}$ where $T$ is torison. This is a family of pointwise isomorphisms between $1_{\mathsf{Ab}_\text{f.g}}$ and the functor $T\oplus \frac 1T$.

Claim. These functors are not naturally isomorphic. In particular, the isomorphisms of the structure theorem are not natural.

Proof. The endomorphism monoid of the identity functor is the multiplicative monoid $\mathbb Z$. This can be seen by looking at naturality squares mapping out of $\mathbb Z$ and using its universal property as the free abelian group on a single generator. On the other hand, the functor $T\oplus \frac 1T$ admits a nilpotent endomorphism $$T\oplus \frac 1T\overset{ \begin{pmatrix} 0 & \alpha \\ 0 & 0 \end{pmatrix} }{\longrightarrow}T\oplus \frac 1T$$ where $\alpha:\frac 1T\Rightarrow T$ is given componentwise by $\frac{A}{T(A)}\to T(A)\oplus \frac{A}{T(A)}\to T(A)$. Thus $1,T\oplus \frac 1T$ have non-isomorphic endomorphism monoids whence they are themselves non-isomorphic functors.

Arrow
  • 10.5k
  • 1
  • 27
  • 71