Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This question already has an answer here:

How can i show with quite simple methods that a group of order 15 is cyclic?

share|cite|improve this question

marked as duplicate by Jyrki Lahtonen, 91500, Hakim, Hanul Jeon, Grigory M Jul 12 '14 at 12:00

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

You can find the idea from . Just remember to replace $\mathbb{Z}_3$ by $\mathbb{Z}/3\mathbb{Z}$, $\mathbb{Z}_5$ by $\mathbb{Z}/5\mathbb{Z}$ and other Z:s respectively. – Jaakko Seppälä Oct 7 '12 at 14:30
What do you know about groups of order $pq$ where $p,q$ are primes ? – Belgi Oct 7 '12 at 14:31
Do you know about quotient groups? – Ragib Zaman Oct 7 '12 at 14:39
nope. The maintheorem which we did in the last course was the burnside lemma. I know what stabilizers,orbits etc. are. – Epsilon Oct 7 '12 at 14:41
Do you know about the Sylow theorems? – Alexander Thumm Oct 7 '12 at 14:45
up vote 7 down vote accepted

Assume that $G$ is not cyclic. Then $G=A\cup B\cup\{1\}$, where $A$ is the set of elements of order 5 and $B$ is the set of elements of order 3. We know that $|A|$ is a multiple of 4 because two different cyclic subgroups of prime order have at most the neutral element in common. Similarly, $|B|$ is a multiple of 2. Also, we know that $|A|>0$ and $|B|>0$. Let $a$ be an element of order 3, $b$ an element of order 5.

The centralizer of $\langle a\rangle$ must be either $\langle a\rangle$ or $G$. In the latter case, we have especially $ab=ba$ and one verifies that $(ab)^3=b^3\ne1$ and $(ab)^5=a^5\ne1$ and $(ab)^{15}=1$, whence $G=\langle ab\rangle$. Therefore we may assume that the centralizer of $\langle a\rangle $ is $\langle a\rangle $ itself. The group $\langle a\rangle$ operates on $A$ by conjugation. The only fixed points of this operation are the elements of the centralizer, but they are not of order 5. Hence the operation has no fixed points and we see that $|A|$ is a multiple of 3.

By the same argument with roles of 3 and 5 swapped, we find that $|B|$ is a multiple of 5. We conclude that $|A|$ is a positive multiple of 12 and $|B|$ a positive multiple of 10, hence $|G|\ge 12+10+1=23$, contradiction.

Remark: If we tried the same with order 21 instead of 15, we would find (mutatis mutandis) that $|A|$ is a multiple of 6(!) and $|B|$ a multiple of $14$, so that $|G|\ge 6+14+1$ does not produce a contradiction. And indeed, there is a non-cyclic group of order 21 (with necessarily 6 elements of order 7 and 14 elements of order 3), obtained as a semidirect product by letting $C_3$ operate non-trivially on $C_7$.

share|cite|improve this answer
Thanks. Thats what i looked for. I hope my skills increase in the next weeks in order to solve those problems more easily. – Epsilon Oct 8 '12 at 15:47
do you by the way mean the normalizer of $\langle a \rangle $ ? – Epsilon Oct 9 '12 at 12:58
@André I think the statement that $|B|$ is a multiple of 5 requires it to be the normalizer at that point, since action by conjugation can stabilize a subgroup without centralizing it. However, that means it is only a contradiction if neither $<a>$ nor $<b>$ is normal, since the proof seems to disregard the case of $<a> = C_G(<a>)$ but $N_G(<a>) = G$. Showing that you have a proper normal subgroup is probably the hardest part though. – Carl Oct 11 '12 at 7:01
I meant the centralizer $C_G(\langle a\rangle)$ of $a$, that is the set of all $g\in G$ with $ga=ag$. This is a subgroup of $G$ containing at least $\langle a\rangle$. Hence the order is a divisor of 15 and a multiple of 3, hence $C_G(a)=\langle a\rangle$ or $C_G(a)=G$. The centralizer is also the set of fixed points under conjugation. But I may mave mixed $a$ vs. $b$ or $A$ vs. $B$ or $3$ vs. $5$ someplace - I'll check and edit. – Hagen von Eitzen Oct 11 '12 at 17:51
Thanks, this makes it better understandable. – Epsilon Oct 11 '12 at 17:58

By Cauchy's theorem,we have there exists $a$ and $b$ in $G$ with orders $3$ and $5$. Let $A = \langle a\rangle$ and $B=\langle b \rangle$ . They are Sylow's group and also are Normal.

Now $ab$ is not in either $A$ or $B$. Hence order of $ab$ can't be $1,3,5$. Hence order of $ab$ is $15$. And $ab$ generates the group.

EDIT: The groups $A$ is unique because $15 = 3 \times 5$ and $n_3 |5$ & $n_3 = 1+3k$,hence $n_3 = 1$ where $n_3$ is no of Sylow 3 subgroups.(we are using Sylow's third theorem)

Now uniqueness of Sylow's p-group implies normality.(Sylow's second theorem)

Order of $ab$ is quite clear I think.

Alternatively,as $A$ and $B$ are normal subgroups intersecting trivially,$G=AB=A \times B \simeq \mathbb Z_3 \times \mathbb Z_5 \simeq Z_{15}$

Hope its enough.

Note:For $|G| =21$ ,$n_3 |7$ and $n_3=1+3k$ may have solution $n_3=6$ Hence number of sylow 3 subgroups may not be 1.Now if we are given that it has only one subgroup of order 3 and only one subgroup of order 7,then indeed the group will be cyclic.

share|cite|improve this answer
I think more needs to be said to distinguish this case from order 21 - for example, how do we know that $A$ and $B$ are normal? And I think that the statement about the order of $ab$ also needs to be justified more fully to distinguish from order 21. – Mark Bennet Oct 7 '12 at 15:06

Here's another method: there is a theorem that you may have seen before that states

If $H \le G$ is a subgroup such that $p=[G:H]$ is the smallest prime dividing $|G|$, then $H$ is normal.

If you apply this theorem to the subgroup generated by an element of order 5 in $G$ when $|G| = 15$, you see that it is normal. Let $N$ be a subgroup of order 5, and $H$ a subgroup of order 3. Then $H$ acts by conjugation on $N$, since $N$ is normal. This gives a homomorphism $\varphi: H \to Aut(N)$ where $Aut(N) \cong \mathbb{Z}/4\mathbb{Z}$. This automorphism group has no elements of order 3, so $\varphi$ must map $H$ to the trivial automorphism on $N$. Stated differently, this means that $hnh^{-1} = n$ for $h \in H$, $n \in N$, so the subgroups $H$ and $N$ commute with each other!.

From there, you can see that $G$ is generated by the element $hn$.

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.