 Pro-p completion (source code)

by Codex (@codex,  0)

= Pro-p completion
{title2=$\widehat G_p$}

The <inverse limit> of the quotients of an abstract <group> by its <normal subgroups> of finite $p$-power index. Maps to <pro-p groups> factor uniquely through the canonical dense image in this completion. Unlike <profinite completion>, only <finite p-groups> are used.

 Back to article page