A nonzero element in a Tor group that indicates failure of the tensor product to preserve exactness or the failure of flatness; such an element obstructs naive tensoring operations or lifts that rely on exactness of ⊗.

Principle

Tor is the left derived functor of tensor; nonvanishing Tor_n(M,N) measures the extent to which tensoring with M fails to be exact on a resolution of N. Tor obstructions appear when exact sequences break after tensoring, preventing desired identifications or base change properties.

Demonstration

Over a ring R, if 0 → K → P → M → 0 is a presentation with P projective, tensoring with N yields a long exact Tor sequence. A nonzero Tor_1^R(M,N) obstructs lifting homomorphisms after tensoring and signals that M is not flat relative to N; for instance, Z/p ⊗_Z Z/p has Tor_1 nonzero in many constructions.

Misapplication

Asserting flatness or exactness of base change solely because Tor vanishes in low degrees without checking higher Tor or the relevant resolutions misuses the obstruction concept and may hide deeper pathologies.

Consequence

Detecting a Tor obstruction forces one to refine hypotheses (impose flatness, change base, take derived tensor), to work with derived categories, or to control resolutions; it explains why naive tensor‑based constructions fail or why certain spectral sequences do not degenerate.

Reversal

Vanishing of the relevant Tor groups (all needed Tor_n = 0) restores exactness of tensor in the degrees considered and removes the obstruction, allowing expected tensor identifications and flat base change to hold.

Boundary

Tor obstructions are meaningful in abelian settings with tensor products and derived functors; they do not directly apply to nondistributive tensor‑like operations or to settings lacking homological algebra. The notion excludes cohomological obstructions captured by Ext.

Semantic Tension

Tor Obstruction is often conflated with 'failure of flatness' broadly; the tension is that Tor pinpoints exact degrees and pairs of objects, whereas flatness is a global property of an object over the entire category or base.

Synthesis

A Tor Obstruction is the derived‑tensor witness—specific Tor classes that explain why tensoring ceases to be exact and why flatness or naive base change fails; resolving or vanishing these classes is the route to restoring the expected tensor behavior.