# If the Order is an Even Perfect Number, then a Group is not Simple

## Problem 74

(a) Show that if a group $G$ has the following order, then it is not simple.

1. $28$
2. $496$
3. $8128$

(b) Show that if the order of a group $G$ is equal to an even perfect number then the group is not simple.

## Hint.

Use Sylow’s theorem.
(See the post Sylow’s Theorem (summary) to review the theorem.)

## Proof.

### (a) A group of the following order is not simple

#### (1) A group of order $28$

Note that $28=2^2\cdot 7$. The number $n_7$ of the Sylow $7$-subgroups of $G$ satisfies
$n_7 \equiv 1 \pmod{7} \text{ and } n_7|2^2.$ Thus, the only possible value is $n_7=1$. The unique Sylow $7$-subgroup is a proper nontrivial normal subgroup of $G$, hence $G$ is not simple.

#### (2) A group of order $496$

Note that $496=2^4\cdot 31$. By the same argument as in (1), there is a normal Sylow $31$-subgroup in $G$, hence $G$ is not simple.

#### (3) A group of order $8128$

We have $8128=2^6\cdot 127$, where $127$ is a prime number.
Again the same reasoning proves that the group $G$ has the unique normal Sylow $127$-subgroup in $G$, hence $G$ is not simple.

### (b) If the order is an even perfect number, a group is not simple

From elementary number theory, all even perfect numbers are of the form
$2^{p-1}(2^p-1),$ where $p$ is a prime number and $2^p-1$ is also a prime number.
(For a proof, see the post “Even Perfect Numbers and Mersenne Prime Numbers“.)

Suppose the order of a group $G$ is $2^{p-1}(2^p-1)$, with prime $p$, $2^p-1$.
Then the number $n_{2^p-1}$ of Sylow $(2^p-1)$-subgroup satisfies
$n_{2^p-1}\equiv 1 \pmod {2^p-1} \text{ and } n_{2^p-1}|2^{p-1}.$ These force that $n_{2^p-1}=1$.
Therefore the group $G$ contains the unique normal Sylow $(2^p-1)$-subgroup, hence $G$ is not simple.

### Similar problem

For an analogous problem, check out: Groups of order 100, 200. Is it simple?

## Comment.

In about 300 BC Euclid showed that a number of the form $2^{p-1}(2^p-1)$ where $p$ and $2^p-1$ are prime numbers.
(If $2^p-1$ is a prime number, then $p$ must be a prime.)
The converse was proved by Euler in the 18th century. Namely, Euler proved that any even perfect number is of the form $2^{p-1}(2^p-1)$ with prime $2^p-1$.

The number of the form $2^p-1$ is called a Mersenne number and if it is a prime number, then it is called a Mersenne Prime.
It is unknown whether there are infinitely many Mersenne prime numbers.

Also it is unknown whether there is an odd perfect number.

### More from my site

• Even Perfect Numbers and Mersenne Prime Numbers Prove that if $2^n-1$ is a Mersenne prime number, then $N=2^{n-1}(2^n-1)$ is a perfect number. On the other hand, prove that every even perfect number $N$ can be written as $N=2^{n-1}(2^n-1)$ for some Mersenne prime number $2^n-1$.   Definitions. In this post, a […]
• Every Group of Order 72 is Not a Simple Group Prove that every finite group of order $72$ is not a simple group. Definition. A group $G$ is said to be simple if the only normal subgroups of $G$ are the trivial group $\{e\}$ or $G$ itself. Hint. Let $G$ be a group of order $72$. Use the Sylow's theorem and determine […]
• Non-Abelian Group of Order $pq$ and its Sylow Subgroups Let $G$ be a non-abelian group of order $pq$, where $p, q$ are prime numbers satisfying $q \equiv 1 \pmod p$. Prove that a $q$-Sylow subgroup of $G$ is normal and the number of $p$-Sylow subgroups are $q$.   Hint. Use Sylow's theorem. To review Sylow's theorem, check […]
• A Simple Abelian Group if and only if the Order is a Prime Number Let $G$ be a group. (Do not assume that $G$ is a finite group.) Prove that $G$ is a simple abelian group if and only if the order of $G$ is a prime number.   Definition. A group $G$ is called simple if $G$ is a nontrivial group and the only normal subgroups of $G$ is […]
• Every Sylow 11-Subgroup of a Group of Order 231 is Contained in the Center $Z(G)$ Let $G$ be a finite group of order $231=3\cdot 7 \cdot 11$. Prove that every Sylow $11$-subgroup of $G$ is contained in the center $Z(G)$. Hint. Prove that there is a unique Sylow $11$-subgroup of $G$, and consider the action of $G$ on the Sylow $11$-subgroup by […]
• A Group of Order $20$ is Solvable Prove that a group of order $20$ is solvable.   Hint. Show that a group of order $20$ has a unique normal $5$-Sylow subgroup by Sylow's theorem. See the post summary of Sylow’s Theorem to review Sylow's theorem. Proof. Let $G$ be a group of order $20$. The […]
• Are Groups of Order 100, 200 Simple? Determine whether a group $G$ of the following order is simple or not. (a) $|G|=100$. (b) $|G|=200$.   Hint. Use Sylow's theorem and determine the number of $5$-Sylow subgroup of the group $G$. Check out the post Sylow’s Theorem (summary) for a review of Sylow's […]
• Every Group of Order 12 Has a Normal Subgroup of Order 3 or 4 Let $G$ be a group of order $12$. Prove that $G$ has a normal subgroup of order $3$ or $4$.   Hint. Use Sylow's theorem. (See Sylow’s Theorem (Summary) for a review of Sylow's theorem.) Recall that if there is a unique Sylow $p$-subgroup in a group $GH$, then it is […]

### 2 Responses

1. 08/21/2016

[…] If the order is an even perfect number, then a group is not simple […]

2. 01/07/2017

[…] an analogous problem, check out the post: If the order is an even perfect number, then a group is not simple […]

This site uses Akismet to reduce spam. Learn how your comment data is processed.

##### Sylow’s Theorem (Summary)

In this post we review Sylow's theorem and as an example we solve the following problem. Show that a group...

Close