Uniform pro-p group

ID: uniform-pro-p-group

A finitely generated powerful p-group in the category of pro-p groups is uniform if all successive indices in its lower p-series are equal. Equivalently it is torsion-free. If its generator number is , the successive indices are , the power map carries bijectively onto , and an ordered minimal generating set gives unique coordinates with in the p-adic integers. For , powerfulness means .

New to topics? Read the docs here!