Free implies every subgroup is descendant

From Groupprops
Revision as of 23:58, 22 January 2012 by Vipul (talk | contribs) (Created page with "{{group property implication| stronger = free group| weaker = group in which every subgroup is descendant}} ==Statement== In a free group, every subgroup is a [[fact...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., free group) must also satisfy the second group property (i.e., group in which every subgroup is descendant)
View all group property implications | View all group property non-implications
Get more facts about free group|Get more facts about group in which every subgroup is descendant

Statement

In a free group, every subgroup is a descendant subgroup.

Facts used

  1. Free implies residually nilpotent
  2. Residually nilpotent implies hypocentral
  3. Hypocentral implies every subgroup is descendant

Proof

The proof follows by combining Facts (1)-(3).