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