Characteristic subgroup of finite index

From Groupprops
Revision as of 02:59, 23 May 2010 by Vipul (talk | contribs) (Created page with '{{subgroup property conjunction|characteristic subgroup|subgroup of finite index}} ==Definition== A '''characteristic subgroup of finite index''' is a subgroup of a [[group...')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This page describes a subgroup property obtained as a conjunction (AND) of two (or more) more fundamental subgroup properties: characteristic subgroup and subgroup of finite index
View other subgroup property conjunctions | view all subgroup properties


A characteristic subgroup of finite index is a subgroup of a group that is a characteristic subgroup as well as a subgroup of finite index, i.e., the index of the subgroup is finite, or equivalently, the quotient group is a finite group.

Relation with other properties

Weaker properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
Normal subgroup of finite index
Characteristic core of subgroup of fininte index
Subgroup of finite index Normal subgroup of finite index|FULL LIST, MORE INFO
Characteristic subgroup Characteristic core of subgroup of finite index, Powering-invariant characteristic subgroup, Quotient-powering-invariant characteristic subgroup|FULL LIST, MORE INFO