# Finite index implies completely divisibility-closed

From Groupprops

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 is a group and is a subgroup of finite index in . Then, is a completely divisibility-closed subgroup of .

## Facts used

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

## Proof

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