Derived subgroup not is powering-invariant
This article gives the statement, and possibly proof, of the fact that for a group, the subgroup obtained by applying a given subgroup-defining function (i.e., derived subgroup) does not always satisfy a particular subgroup property (i.e., powering-invariant subgroup)
View subgroup property satisfactions for subgroup-defining functions View subgroup property dissatisfactions for subgroup-defining functions
It is possible to have a group such that the derived subgroup is not a powering-invariant subgroup of . Explicitly, this means that there exists a prime number such that is powered over but the derived subgroup is not.
Both the facts below are strictly weaker, but it is relatively easier to construct the groups that provide examples for these, hence they may be more useful in that regard:
Taking the free -powered group on a set of size two or more works.