Re: > A group of order 15 is cyclic
 From: Timothy Murphy <tim@xxxxxxxxxxxx>
 Date: Thu, 02 Oct 2008 12:07:54 +0100
k.hofmann wrote:
To prove: a group G of order 15 is cyclic.
The proof I am studying runs as follows:
Since G contains an element x of order 3 and an element y
of order 5, the map Z/3 x Z/5 > G defined by (i, j) > x^i y^j is an
isomorphism, provided xy = yx.
It's enough to show that Z(G) is nontrivial, for then G/Z(G) is cyclic,
hence G is abelian.
If Z(G) = 1, then G must contain 1 conjugacy class of size 5, and 3 of
size 4.
Set z = xyx^{1} and w = x^{1} y x.
Assume first z = y^j; then y = y^{j^3} so that j^3 = 1 mod 5 ==>
j = 1 (mod 5) so that z = y ==> xy = yx and we're done.
Otherwise, assume z =/= y^j for any j; then <z> generates a subgroup
distinct from <x>, as does <w>. Furthermore, <z> and <w> are also
distinct.
From this, how do we arrive at a contradiction?
Do we really have 12 elements of order 5, namely z^j, w^j and y^j, as j
runs from 1 to 4? If so, how does this contradict the class equation
(whenever Z(G) is assumed to be trivial)?
I didn't really understand your argument.
What are x and y?
If they are general elements of the group,
why does y = y^{j^3}?
In answer to your last question, a cyclic group of order mn
contains exactly one subgroup of order m,
and this contains all the elements of order m;
so there are certainly not 12 elements of order 5 in your group.
Have you noted that if the group is not cyclic
then all elements have order 1, 3 or 5?
and if x,y are of order 5 then the subgroups they generate
are either the same, or else have only 1 in common.
So the number of elements of order 5 is a multiple of 4.
Similarly the number of elements of order 3 is even.
And the elements in each of your conjugacy classes
must have the same order.

Timothy Murphy
email: gayleard /at/ eircom.net
tel: +353862336090, +35312842366
smail: School of Mathematics, Trinity College, Dublin 2, Ireland
.
 References:
 > A group of order 15 is cyclic
 From: k.hofmann
 > A group of order 15 is cyclic
 Prev by Date: Re: Embedding orders into complete lattices
 Next by Date: Re: tomic polynomial: CONJECTURE 3
 Previous by thread: Re: > A group of order 15 is cyclic
 Next by thread: Re: > A group of order 15 is cyclic
 Index(es):
Relevant Pages
