4
$\begingroup$

Prove that there are no simple groups of order 224.

Let $G$ be a finite group such that $\vert G \vert = 224 = 2^5 \cdot 7$. We know that $n_2 \mid 7$ and $n_2 \equiv 1 \pmod 2$ and we know that $n_7 \mid 2^5$ and $n_7 \equiv 1 \pmod 7$. So we can say $n_2 = 1$ or $7$ and $n_7 = 1$ or $8$. Suppose, to the contrary that $G$ is a simple group. Then $n_7 = 8$ and $n_2 = 7$. So we can say there are $8 \cdot 6 = 48$ elements of order 7 and $7 \cdot 31 = 217$ elements of order 2, which gives us 265 elements, 266 including the identity, which contradicts the cardinality of the group. Hence, $G$ is not a simple group since we must have at least one of $n_7$ or $n_2$ being 1.

Is this approach correct? specifically how i said there were $7 \cdot 31$ elements of order 2? I saw a few similar approaches online and thought it would work nicely for this problem. Is it correct?

Thank you!

  • 0
    Ok, my bad, I'll keep working on it!2012-11-07

2 Answers 2

6

The following proves there must exist a normal Sylow $\,2-$subgroup of order $\,32\,$,

Suppose there are $\,n_2=7\,$ Sylow $\,2-$subgroups in $\,G\,$ . Making $\,G\,$ act on the set of these Sylow subgroups by conjugation (Mitt wrote about this but on the set of the other Sylow subgroups, which gives no contradiction), we get a homomorphism $\,G\to S_7\,$ which must be injective if $\,G\,$ is simple (why?).

But this cannot be since then we would embed $\,G\,$ into $\,S_7\,$ , which is impossible since $\,|G|\nmid 7!=|S_7|\,$ (why?)

  • 0
    @AlJebr: The order of $G$ has a factor of $2^5$, while $7! = 7 * 6 * 5 * 4 * 3 * 2$, so the highest power of $2$ dividing $7!$ is $2^4$.2015-11-08
2

That part is false. From $n_7=8$, you have eight subgroups of order 7. Each of these subgroups is cyclic of prime order, so the six nontrivial elements must be of order 7, hence giving $8\cdot 6=48$ elements of order 7. (You also need to check they are disjoint.) But for the Sylow 2-subgroup, they are of order 32. There is no reason why the nontrivial elements are of order 2.

Hint to another approach: Consider the conjugation action of $G$ on the eight Sylow-7 subgroups. This gives a injective homomorphism from $G$ to $S_8$.

  • 0
    There are even less $2$-Sylows ($G \to S_7$). [I guess you mean injective in the last sentence.]2012-11-07