| |||
![]()
|
![]() ![]() |
![]()
Кончится все это тем, что категория мономорфизмов G \arrow \pi_1(M) эквивалентна категории связных накрытий M. Такая формулировка не выглядит особенно удачной -- что является морфизмами в категории мономорфизмов G \to \pi_1(M)? Ведь сопряженные подгруппы (мономорфизмы с разными образами) определяют изоморфные накрытия. Классическая формулировка такова: категория связных накрытий эквивалентна категории множеств с транзитивным действием \pi_1(M). Добавить комментарий: |
|||
![]() |
![]() |