The derived series of a finite p-group

Let $G$ be a finite $p$-group, and let $\der Gd$ denote the $d$-th term of the derived series of $G$. We show, for $p\geq 5$, that $\der Gd\neq 1$ implies $\log_p\ord G\geq 2^d+3d-6$, and hence we improve a recent result by Mann.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.