In: Advanced Math
Prove that an abelian group G of order 2000 is the direct product PxQ where P is the Sylow-2 subgroup of G, and Q the Sylow-5 subgroup of G. (So order of P=16 and order or Q=125).
Note that . Thus by Sylow theorem there exists a Sylow-2 subgroup of order and Sylow-5 subgroup Q of order . Since G is commutative to show G is a direct product of P and Q it is enough to show and , where e is the identity of G.
Let , then note that since each P and Q are finite group we have and , this gives us . Note note that , hence .
Hence .
Note that , since G is a finite group to show , it is enough to show .
Note that if for pair in , if we can show , then in this way we can definie a bijection from to , by sending each pair . Thus we will have . Now note that . Hence we will get . So to show it is enough to show => .
Proof by contradiction. Suppose we have . Now note that thus we have the element . Since we have proved hence we get , which contradicts the fact . Hence done.