Pro-p subgroup (source code)

= Pro-p subgroup

A closed <subgroup> of a <profinite group> that is a <pro-p group> with the induced topology. Its images in finite continuous quotients are <p-groups>.