A theorem relating homology (or cohomology) with arbitrary coefficients to homology (or cohomology) with base coefficients via short exact sequences involving Tor and Ext (or Hom) terms that measure extension and torsion phenomena.

Principle

Express groups with twisted or new coefficients in terms of known homology with simpler coefficients together with universal extension and torsion correction terms (Tor for homology, Ext or Hom for cohomology).

Demonstration

For a chain complex C of free abelian groups and an abelian group G, there is a short exact sequence 0 → H_n(C) ⊗ G → H_n(C;G) → Tor_1(H_{n-1}(C),G) → 0; this sequence describes homology with coefficients in G in terms of integral homology and Tor.

Misapplication

Assuming the sequence splits canonically or applying the theorem without checking finiteness, projectivity, or degreewise freeness, leading to incorrect decomposition or omitted torsion contributions.

Consequence

Correct use provides systematic calculation of homology/cohomology with arbitrary coefficients from integral or base coefficient computations, and clarifies where torsion and extension obstructions arise.

Reversal

Viewed oppositely, torsion in homology obstructs naive coefficient extension: nontrivial Tor or Ext terms show that passage to new coefficients cannot be achieved by simple tensoring or Hom without additional corrections.

Boundary

Holds under hypotheses such as working with chain complexes of free (or projective) modules or in contexts where derived tensor/Hom compute as expected; does not directly provide explicit splitting or higher derived functor structure beyond first Tor/Ext corrections.

Semantic Tension

Tension between the theorem as a computational reduction (practical short exact sequence) and as a conceptual derived-functor statement (identity of derived tensor/Hom) which emphasizes different levels of categorical sophistication.

Synthesis

The Universal Coefficient Theorem reduces homology or cohomology with arbitrary coefficients to base-coefficient homology plus explicit Tor/Ext correction terms, revealing how torsion and extension control passage between coefficient systems.