Hall-Petrescu formula
= Hall-Petrescu formula
{c}
The Hall-Petrescu formula expands $(xy)^{p^n}$ as $x^{p^n}y^{p^n}$ times ordered powers of higher commutators. In a p-valued group, the correction terms have controlled higher valuation and make the p-power map linear on the associated graded group.