 Hall-Petrescu formula

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.