# Perfectness is not subgroup-closed

From Groupprops

Revision as of 23:09, 12 January 2013 by Vipul (talk | contribs) (Created page with "{{group metaproperty dissatisfaction| property = perfect group| metaproperty = subgroup-closed group property}} ==Statement== It is possible to have a perfect group <mat...")

This article gives the statement, and possibly proof, of a group property (i.e., perfect group)notsatisfying 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 and a subgroup of that is not perfect.

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

## Related facts

- Every finite group is a subgroup of a finite perfect group
- Every group is a subgroup of a perfect group

## Proof

**Given**: A nontrivial perfect group

**To prove**: has a subgroup that is not perfect.

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