Es un grupo profinito.