## Groups of order n with gcd(n, phi(n))=1 are cyclic

Posted: December 13, 2010 in Elementary Algebra; Problems & Solutions, Groups and Fields
Tags: , , , ,

Let $\varphi$ be the Euler totient function. Before getting into the main problem we give a useful lemma.

Lemma. Let $H$ be a subgroup of a group $G.$ Let $N(H)$ and $C(H)$ be the normalizer and the centralizer of $H$ in $G,$ respectively. Then $C(H) \subseteq N(H)$ and $N(H)/C(H)$ is isomorphic to a subgroup of $Aut(H).$

Proof. Define $f: N(H) \longrightarrow Aut(H)$ by $f(x)(h)=xhx^{-1}$ for all $x \in N(H)$ and $h \in H.$ See that $f$ is a well-defined group homomorphism and $\ker f = C(H). \ \Box$

Problem. Let $G$ be a group of order $n.$ Prove that if $\gcd(n, \varphi(n))=1,$ then $G$ is cyclic.

Solution.  The proof is by induction on $n.$ The case $n = 1$ is trivial. For $n > 1,$ since $\gcd(n, \varphi(n))=1,$ we must have $n=p_1 p_2 \cdots p_k$ for some distinct primes $p_i.$ Let $P$ be a Sylow $p_1$-subgroup of $G$ and let

$K = N(P)/C(P).$

By the lemma, $K$ is isomorphic to a subgroup of $Aut(P).$ But since $P$ is a cyclic group of order $p_1,$ we have $|Aut(P)|=p_1-1$ and thus $|K| \mid p_1 - 1.$ Hence $|K| \mid \varphi(n).$ Clearly $|K| \mid n$ and so $|K|=1$ because $\gcd(n, \varphi(n))=1.$ So $N(H) = C(H)$ and thus, by the Burnside’s normal complement theorem, there exists a normal subgroup $Q$ of $G$ such that

$G=PQ, \ P \cap Q = \{1\}.$

Thus $|Q|=p_2 \cdots p_k < n$ and hence, by the induction hypothesis, $Q$ is cyclic. Let

$L = N(Q)/C(Q)= G/C(Q).$

Again, by the lemma, $L$ is isomorphic to a subgroup of $Aut(Q)$. Also, since $Q$ is cyclic,

$|Aut(Q)|= (p_2-1) \cdots (p_k-1) \mid \varphi(n).$

Therefore $|L| \mid \varphi(n).$ But clearly $|L| \mid n$ and thus $|L|=1,$ i.e. $G = C(Q).$ So $Q$ is in the center of $G$ and therefore $G$ is abelian because $P$ is abelian, $Q$ is in the center of $G$ and $G=PQ.$ Hence $G \cong P \times Q$ and so $G$ is cyclic because both $P$ and $Q$ are cyclic with coprime orders. $\Box$

Remark 1. By the fundamental theorem of finite abelian groups, a group of square-free order is abelian if and only if it is cyclic. This result can also be used instead of the last line of the solution.

Remark 2. The converse of the problem is also true, i.e. if $n$ is a positive integer and the only group of order $n$ is $\mathbb{Z}/n \mathbb{Z},$ then $\gcd(n, \varphi(n))=1.$