9

My question is:

For Which natural numbers $n$, a finite group $G$ of order $n$ is an abelian group?

Obviouslyو for $n≤4$ and when $n$ is a prime number, we have $G$ is abelian. Can we consider any other restrictions or conditions for $n$ to have the above statement or the group itself should have certain structure as well? Thanks.

Gigili
  • 5,503
  • 8
  • 41
  • 62
Mikasa
  • 67,374

1 Answers1

10

Every group of order $n$ is abelian iff $n$ is a cubefree nilpotent number.

We say that $n$ is a nilpotent number if when we factor $n = p_1^{a_1} \cdots p_r^{a_r}$ we have $p_i^k \not \equiv 1 \bmod{p_j}$ for all $1 \leq k \leq a_i$.

(adapted from an answer by Pete Clark.)

lhf
  • 216,483
  • Thanks for above link. After these days, this answer has been fresh yet. You know; I found a problem which was solved by J.D.Dixon in his book (Problems in Group Theory) citing: A group of order $n$ which $(n,\phi(n))=1$ is abelian. Is this the same as Pete Clark pointed in that link? Thanks and sorry for backing on this problem again. $\phi$ is Euler's function. – Mikasa Jun 23 '12 at 15:59