Los ejemplos más importantes de grupos pro-finitos son los enteros "p"-ádicos.