p-saturated group (source code)

= p-saturated group
{c}

= p-saturated
{c}
{synonym}

A p-valued group is p-saturated when it is complete and every $x$ with
$$
\omega(x)>\frac{p}{p-1}
$$
has a pth root in the group.