Group Theory – Classifying Groups of Order 90

abstract-algebrafinite-groupsgroup-theorygroups-enumeration

Since $3\cdot 3\cdot 2\cdot 5=90$, we know that we have a $3$-Sylow subgroup $P_3$ of order $9$, a $2$-sylow subgroup $P_2$ of order $2$, a $ 5$-Sylow subgroup $P_5$ of order $5$.

I know that $P_5 \cong Z_5$ and $P_2 \cong Z_2$, right? But I'm not sure what $P_3$ is isomorphic to, because we cannot necessarily conclude that it is cyclic…since it might have $4$ different elements of order $3$.

So when I'm looking at the different cases for the semidirect products (for example if I look at the case when all of the sylow subgroups are normal), I will just say $G \cong P_3 \times Z_{10}$, right?

I am just asking to make sure if I'm doing it correctly (for this specific case).

Thanks in advance

Best Answer

Here are some hints to help along:

  1. There is a normal subgroup of index 2 (use the regular representation, and look for an odd permutation).
  2. All groups of order 45 are abelian (use Sylow's theorems, and the fact groups of order $p^2$ are abelian).
  3. Your group is a semidirect product of a group of order 45 and one of order 2.
  4. Consider the possible order-2 actions on an abelian group of order 45 (call it H). There are 2⋅2 possible actions when H is cyclic, and 2⋅3 when H is noncyclic. [To see this, decompose $H$ as a direct product, remembering it is abelian.]

Thus there are 4+6=10 possible groups. It is fairly easy to show all are distinct.