  We consider the coset poset associated with the families of proper subgroups,
proper subgroups of finite index, and proper normal subgroups of finite index.
We investigate under which conditions those coset posets have contractible
geometric realizations.
