Thread: finite group

Let G be a finite group, and let S and T be 2 subsets of G such that G does not equal ST. Show that

Originally Posted by mms

Let G be a finite group, and let S and T be 2 subsets of G such that G does not equal ST. Show that

Take an element and consider the set .

Could you help me a little bit more? i still can't do this problem >.<

thanks!

There are |S| elements in S. There are |T| elements in , and also in its coset . Also, the sets S and are disjoint: for suppose that an element is also in . Then for some . But that implies that , which contradicts the choice of g. Therefore there are |S|+|T| distinct elements in the set , and so .

ahh i see, thank you!