A pro-p group is the inverse limit of some system of finite p-groups, that is, of groups of prime-power order where the prime - conventionally denoted p - is fixed. Thus from one point of view, to study a pro-p group is the same as studying an infinite family of finite groups; but a pro-p group is also a compact topological group, and the compactness works its usual magic to bring 'infinite' problems down to manageable proportions. The p-adic integers...