Hattori–Stong theorem

In algebraic topology, the Hattori–Stong theorem, proved by Stong (1965) and Hattori (1966), gives an isomorphism between the stable homotopy of a Thom spectrum and the primitive elements of its K-homology.