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.