The inverse limit of the quotients of an abstract group by its normal subgroups of finite -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.
New to topics? Read the docs here!