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 (∑S)m ∑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.