Powers of totally positive subgroups of fields

For a formally real field F, a totally positive co-torsion subgroup S of F× and m⩾1, we prove that m(∑S)⊆∑Sm. This extends a result of Becker. We prove several refinements of this fact related to higher Pythagoras numbers, real holomorphy rings, and sums with mixed powers.