profinite group

Tags: group, profinite topology, p-adic numbers.