Гомоморфизм Уайтхеда
Гомоморфи́зм Уа́йтхеда (-гомоморфизм), гомоморфизм из стабильных гомотопических групп спектра в стабильные гомотопические группы спектра сфер , задаваемый специальным образом. Одна из конструкций гомоморфизма Уайтхеда – конструкция Хопфа: пусть дано отображение ; отображение задаёт отображение , которое продолжается до отображения в верхнюю полусферу сферы . Имеется также продолжение в нижнюю полусферу сферы , и определено отображение . Эта конструкция задаёт отображение гомотопических классов и задаёт гомоморфизм , который и называется гомоморфизмом Уайтхеда.
Впервые этот гомоморфизм построен Дж. Уайтхедом (Whitehead. 1942; 1950) и им была доказана теорема о нетривиальности бесконечной серии гомотопических групп сфер при следующих значениях и :
Стабильные гомотопические группы описываются теоремой периодичности Ботта (Bott. 1959):
Образ гомоморфизма Уайтхеда вычислен полностью (см. Becker. 1975; Адамс. 1982): при и гомоморфизм Уайтхеда является мономорфизмом и его образ выделяется прямым слагаемым в группе ; при и гомоморфизм Уайтхеда является мономорфизмом на прямое слагаемое группы ; при образом гомоморфизма Уайтхеда является циклическая группа порядка , выделяющаяся прямым слагаемым в , где – знаменатель несократимой дроби , есть -е число Бернулли.