4

This is the third part of a set of problems, of which I have solved 2.

I have shown that if $p$ is prime, the group $Aut(\mathbb Z_p)$ is of order $p-1$.

I have shown that $Aut(\mathbb Z_{17})$, $Aut(\mathbb Z_{257})$, $Aut(\mathbb Z_{65537})$ are 2-groups.

The third problem is the one stated in the title; showing that any group of order $286331153$ is abelian. The problem gives the hint that $286331153 = 17\cdot257\cdot65537$.

Alec
  • 4,094

1 Answers1

6

Your group has order $pqr$, for $p<q<r$ primes, and $pq <r$.

Let $G$ be a finite group of order $pqr$ with $pq<r$ primes. Then $G$ has a normal subgroup of order $r$: we know that $n_r=1+kr\mid pq$. But if $k\geqslant 1$, $n_r=1+kr>1+kpq\not\mid pq$, so $n_r=1$. Thus, we have a cyclic normal $C$ subgroup of order $r$. Of course this has trivial intersection with the other Sylow groups. Thus $G$ is a semidirect product $C\rtimes H$ with $H$ a group of order $pq$.

Now recall that if $H$ is a group of order $p<q$ primes and $p\not\mid q-1$, then $H\simeq C_{qp}$. Since $17\not\mid 256$, we now have $H\simeq C_{qp}$, so $$G=C_r\rtimes C_{qp}$$

You now need to discard the possibility that the semidirect product is nontrivial.

Pedro
  • 122,002