i'm getting mixed up here about how profinite groups and so forth work.... or something like that... something about the inverse limit of all of the finite quotient groups of a group, compared to the inverse limit of a dense (in some sense) collection of them... ??something about "congruence subgroup" here?? .... ???......