Н-когрупа
Перейти к навигации
Перейти к поиску
Н-когруппа — топологическое пространство с отмеченной точкой, на котором определено непрерывное отображение , называемое коумножением, для которого выполняются следующие условия:
- Существование гомотопической единицы: если — постоянное отображение в отмеченную точку, то обе композиции гомотопны тождественному отображению ;
- Гомотопическая ассоциативность: диаграмма гомотопически коммутативна;
- Существование гомотопического обратного: существует отображение , т.ч. обе композиции гомотопны постоянному отображению .
H-когруппа абелева, если диаграмма
где при гомотопически коммутативна.
Теоремы[править]
- Пространство с отмеченной точкой, имеющее тот же гомотопический тип, что и некоторая Н-когруппа, само является Н-когруппой.
См.также[править]
![]() | Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Н-когрупа», расположенная по адресу:
Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?». |
---|