Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$G$ is an abelian group, $A$ and $B$ are non empty finite subsets of $G$. Set $A+B := \{a+b\mid a\in A, b\in B\}$ and $H := \mathrm{stab}(A+B)=\{g\in G \mid g+A+B = A+B\}$.

Prove that $$ |A+B|\ge|A+H|+|B+H|-|H| $$ Please help me in finding answer.Thank you in advance

share|cite|improve this question
Welcome to maths.SE. May I encourage you to edit your question to describe where this problem has come from and where exactly you are stuck? – Douglas S. Stones May 6 '13 at 17:52
You should look up Kneser's Theorem and realize that there's a good reason as to why you couldn't solve this problem right away. – Nonoffensive name Aug 1 '13 at 21:55
Here is the shortest proof I've found – Nonoffensive name Aug 1 '13 at 22:00

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.