В случае h-K.(W; М 0, М 1). с p1 [img: http://localhost:8080/file/021220-91.jpg]. диффеоморфизма [img: http://localhost:8080/file/021220-92.jpg] вообще говоря, нет. Все h-K.(W; М 0, М 1). с [img: http://localhost:8080/file/021220-93.jpg] и фиксированным М 0 классифицируются нек-рой абелевой группой - Уайтхеда группой [img: http://localhost:8080/file/021220-94.jpg] группы p1M0. Данному А-К. соответствует элемент [img: http://localhost:8080/file/021220-95.jpg] являющийся инвариантом пары (W, М 0);он обозначается t(W, M0)и наз. кручением (иногда кручением Уайтхеда) данного h-K. Если t(W, М 0) = 0 (или равносильно t(W, M1)=0), то h-K. наз. s-кобордизмом. Если (W; M0, M1) - такой h-K., что [img: http://localhost:8080/file/021220-96.jpg] то кручение t(W, М 0)обращается в нуль тогда и только тогда, когда [img: http://localhost:8080/file/021220-97.jpg] (теорема об s-кобордизм е). Теорема об h-K. есть частный случай этой теоремы ввиду Wh{l}=0. Теорема об s-кобордизме справедлива и для топологич. многообразий

http://libmeta.ru/resource/mathenc/publication/p5168