# Perfectness is not subgroup-closed

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article gives the statement, and possibly proof, of a group property (i.e., perfect group) not satisfying a group metaproperty (i.e., subgroup-closed group property).
View all group metaproperty dissatisfactions | View all group metaproperty satisfactions|Get help on looking up metaproperty (dis)satisfactions for group properties
Get more facts about perfect group|Get more facts about subgroup-closed group property|

## Statement

It is possible to have a perfect group $G$ and a subgroup $H$ of $G$ that is not perfect.

In fact, the following somewhat stronger statement is true: for any nontrivial perfect group $G$, we can find a subgroup $H$ that is not perfect. Note that since nontrivial perfect groups do exist (for instance, alternating group:A5) this statement is indeed stronger.

## Proof

Given: A nontrivial perfect group $G$

To prove: $G$ has a subgroup $H$ that is not perfect.

Proof: Take any non-identity element of $G$, and define $H$ as the cyclic subgroup generated by that element. $H$ is a nontrivial cyclic group, and since cyclic implies abelian, it is a nontrivial abelian group, hence not perfect.