On the surjectivity of some trace maps

LetK be a commutative ring with a unit element 1. Let Γ be a finite group acting onK via a mapt: Γ→Aut(K). For every subgroupH≤Γ define tr _H :K→K ^H by tr _h (x)=Σ_σ∈H σ(x). We proveTheorem: tr_Γ is surjective onto K ^Γ if and only if tr _P is surjective onto K ^P for every (cyclic) prime order subgroup P of Γ. This is false for certain non-commutative ringsK.