Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Here's a question I've been asked;

Given distinct primes $p,q,r$, show that any group $G$ of order $pqr$ is not simple.

So far, my idea has been to individually check each possible proper subgroup, since by Lagrange there are only $$\dbinom{3}{2} + \dbinom{3}{1} + 1$$ of them, and show that at least one of them other than the trivial group is normal. Surely there is a smarter way, since generalizing this approach wouldn't work so well if I wanted to show similar results for groups who's order is a product of $n$ distinct primes.

Is there some other approach? Thanks for any insights

share|improve this question
    
In what context were you asked this? There are a lot of approaches, depending on how advanced results you have seen. I assume you have seen Sylow's theorems? –  Tobias Kildetoft Nov 22 '12 at 20:50
    
I've seen them, but don't understand them enough to feel comfortable applying them. I like to stay away from "black box" application of theorems if at all possible –  user45814 Nov 22 '12 at 20:52
    
As I saw this fact before, it has a long proof. –  Babak S. Nov 22 '12 at 20:53

2 Answers 2

up vote 4 down vote accepted

Let $G$ be group of order $pqr$, where $p, q$ and $r$ are primes and $p < q < r$.

You can show that there is a normal Sylow subgroup as follows. Let $n_p, n_q$ and $n_r$ be the number of $p$-Sylow, $q$-Sylow and $r$-Sylow subgroups, respectively. Assuming $n_p, n_q, n_r > 1$ implies by Sylow's theorem that $n_p \geq q$, $n_q \geq r$ and $n_r \geq pq$. Counting elements in Sylow subgroups then gives you more than $pqr$ distinct elements, which is a contradiction. Hence there exists a unique Sylow subgroup for some prime dividing $|G|$, which has to be normal.

Actually more is true: using the fact that there is a normal Sylow subgroup, you can show that the $r$-Sylow subgroup has to be normal. This result generalizes to groups of squarefree order. In a group of squarefree order the Sylow subgroup corresponding to the largest prime divisor of $|G|$ is normal. This fact can be shown with Burnside's Transfer Theorem. A more elementary proof, but not so "well-known" these days can be given using Frobenius theorem, which states that number of solutions to $x^n = 1$ in $G$ is a multiple of $(n, |G|)$.

share|improve this answer
    
great answer. ++ for Frobenius theorem! Thanks! –  user45814 Nov 23 '12 at 3:50

Can't you get away with: Say $|G|=pqr$ where $p$, $q$ and $r$ are distinct primes, then without loss of generality $p<q<r$. Then by Sylow, $n_r\equiv 1\pmod{r}$. For sake of a contradiction suppose that $G$ is not simple. Then $n_r\in\{1+r,1+2r,\ldots,\}$. ($n_r\neq 1$) At the very least, $n_r>r$. Also by Sylow, $n_r\mid pq\Rightarrow (n_r\mid p\lor n_r\mid q)$ which is impossible since $n_r>r>p>q$.

share|improve this answer
    
I think you need to do more. What if $n_r=pq$ and $pq\equiv1\pmod r$? –  Jyrki Lahtonen Jun 24 at 8:52

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.