Double coset index two implies maximal

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 double coset index two) must also satisfy the second subgroup property (i.e., maximal subgroup)
View all subgroup property implications | View all subgroup property non-implications
Get more facts about subgroup of double coset index two|Get more facts about maximal subgroup

Statement

If the Double coset index (?) of a subgroup in a group is two, i.e., if the subgroup has precisely two double cosets, then the subgroup is a Maximal subgroup (?).

Related facts

• Index three implies normal or double coset index two
• Index four implies 2-subnormal or double coset index two

Proof

Proof idea

The idea is that any intermediate subgroup containing the given subgroup must be a union of double cosets of the subgroup.