Since has an underlying topological space, its fundamental group of loops can be defined in the usual way. 하지만 대수적 기본 그룹을 정의할 수도 있습니다. This is a profinite group, which is isomorphic to the profinite completion of.