The profinite topology on has basis the residue classes , . These classes are both open and closed, since their complements are finite unions of other residue classes. Set for . Then and every is nonempty. An integer in their intersection would make divisible by every , forcing , impossible. Thus the open complements form an increasing cover with no finite subcover. The topology is Hausdorff because distinct integers are distinct modulo a sufficiently large integer, but is not compact.

Articles by others on the same topic (0)

There are currently no matching articles.