Perfectness is not subgroup-closed

From Groupprops
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|


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.

Related facts


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.