Скольжений группа

регулярного накрытия [img: http://localhost:8080/file/041914-14.jpg] - группа Г(р).таких гомеоморфизмов g пространства Xна себя, что g р = р(Xи Y - связные локально линейно связные хаусдорфовы топо-логич. пространства). Так, С. г. накрытия окружности действительной прямой [img: http://localhost:8080/file/041914-15.jpg], определяемого формулой [img: http://localhost:8080/file/041914-16.jpg], будет группа сдвигов [img: http://localhost:8080/file/041914-17.jpg] Группа Г(р).является дискретной группой преобразований пространства X, действующей свободно (т. е. [img: http://localhost:8080/file/041914-18.jpg]), и пространство Yестествейно изоморфно факторпространству Х/Г (р). С. г. Г(р).изоморфна факторгруппе фундаментальной группыp1 (Y, y0), где [img: http://localhost:8080/file/041914-19.jpg], по образу группы p1 (X, х 0), где р(x0)=y0, при гомоморфизме, индуцированном отображением p. В частности, для универсального накрытия рС. г. изоморфна фундаментально" группе пространства Y.