Finite double coset index is not finite-intersection-closed

From Groupprops
Revision as of 13:34, 1 November 2008 by Vipul (talk | contribs) (New page: {{subgroup metaproperty dissatisfaction| property = subgroup of finite double coset index| metaproperty = finite-intersection-closed subgroup property}} ==Statement== An intersection of ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This article gives the statement, and possibly proof, of a subgroup property (i.e., subgroup of finite double coset index) not satisfying a subgroup metaproperty (i.e., finite-intersection-closed subgroup property).
View all subgroup metaproperty dissatisfactions | View all subgroup metaproperty satisfactions|Get help on looking up metaproperty (dis)satisfactions for subgroup properties
Get more facts about subgroup of finite double coset index|Get more facts about finite-intersection-closed subgroup property|

Statement

An intersection of finitely many subgroups, each having finite double coset index in the whole group, need not have finite double coset index in the whole group.

More specifically, it is possible to have two subgroups H,KG, both with finite double coset index in G, such that HK does not have finite double coset index in G.