The profinite topology on a group takes the cosets of finite-index normal subgroups as a neighborhood basis. A profinite group carries the inverse-limit topology from its finite quotients.
New to topics? Read the docs here!
New to topics? Read the docs here!