Hi:

I'm given this problem: let G be a group and A, B subgroups of finite order in G. Let

. Prove that

. (1) Using this, prove that

]\leq [G:A][G:B]" alt="[G

]\leq [G:A][G:B]" /> (Poincare's theorem).

I can prove the theorem by defining

is the set of right

cosets of D in G and so on for

. f is one-to-one and therefor

is a finite set. Furthermore,

.

My question is: can (1) make the proof simpler or more straightforward than that given by me? (assuming it is correct). Because I've tried to use (1) to prove the theorem but I've failed. Any suggestion would be welcome. Thanks for reading.