Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

Exercise 2.29 from Rotman's book An Introduction to the Theory of Groups.

(H.B.Mann) Let $G$ be a finite group, and let $S$ and $T$ be (not necessarily distinct) nonempty subsets. Prove that either $G=ST$ or $|G|\geq |S|+|T|.$

I would appreciate any help in order to solve this question.

P.S. I've deleted the previuos post with the same question, because it was confuse. I am sorry for the inconvenience this might cause you.

share|cite|improve this question
By deleting the previous post, you also deleted the comments, which should have helped you solve the problem! – Derek Holt Jan 29 '12 at 19:25
up vote 13 down vote accepted

Here's a proof sketch:

Assume that $|S| + |T| > |G|$. We want to show that $G = ST$.

Fix $x \in G$, and focus the attention on the sets $S$ and $U = \{ x t^{-1} : t \in T \}$. First, these sets have cardinalities $|S|$ and $|U| = |T|$ respectively. At the same time, they are both subsets of $G$, whose size is strictly smaller than the sum of their cardinalities. This implies that $S$ and $U$ have a nonempty intersection. Can you take it from here?

share|cite|improve this answer

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.