We establish analogues in the context of group actions or group representations of some classical problems and results in additive combinatorics of groups. We also study the notion of left invariant submodular function defined on power sets which plays a central role in our proofs. This new version is a completely reorganized version of the preceding one.