Finite index implies completely divisibility-closed

From Groupprops
Revision as of 21:14, 31 March 2013 by Vipul (talk | contribs) (Created page with "{{subgroup property implication| stronger = subgroup of finite index| weaker = completely divisibility-closed subgroup}} ==Statement== Suppose <math>G</math> is a group ...")
(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 subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., subgroup of finite index) must also satisfy the second subgroup property (i.e., completely divisibility-closed subgroup)
View all subgroup property implications | View all subgroup property non-implications
Get more facts about subgroup of finite index|Get more facts about completely divisibility-closed subgroup

Statement

Suppose G is a group and H is a subgroup of finite index in G. Then, H is a completely divisibility-closed subgroup of G.

Facts used

  1. Poincare's theorem
  2. Subgroup of finite group implies completely divisibility-closed
  3. Divisibility-closedness satisfies inverse image condition

Proof

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]