|
|
"Tonico" <Tonicopm@xxxxxxxxx> wrote in message
news:1158222017.861450.181060@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
>
> mina_world wrote:
> > hello sir~
> >
> > let G be a group of order 2p where p is an odd prime.
> >
> > show that if G has a normal subgroup of order 2,
> > then G is cyclic.
> >
> > ----------------------------------------------
> > um...i think....
> >
> > by Cauch's theorem,
> > G has an element "x" of order p.
> > so, let |<x>| = p.
> > (of course, <x> is normal because |<x>|=|G|/2.)
> >have other nice solution, i hope to know that.
> ********************************************************
> Hi:
> Wow, what along answer! Simpler: if G has sbgp.of order 2, then since
> it surely has
> a normal (Sylow) sbgp. of order p (why?), then G is the (inner) direct
> product of these
> two sbgps., and thus obviously abelian.
yes, i see.
maybe, i need the lemma.
lemma) Let G be a group containing normal subgroups H and K
such that H /\ K ={e} and H \/ K =G.
then G is isomorphic to H x K.
(H \/ K is the smallest subgroup of G containing HN.)
thus, G ~ N x <x> ~ Z_2 x Z_p.
of course, i can show that N /\ <x> = {e}, N \/ <x> = G.
|
|