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...")
(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.

Related facts

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.