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.
Funding source: Deutsche Forschungsgemeinschaft
Award Identifier / Grant number: SPP 2026
Award Identifier / Grant number: SFB 878
Funding statement: Financial support by the DFG through the programs SPP 2026 and SFB 878 is gratefully acknowledged.
A Appendix: The coset nerve for proper normal subgroups in a finite group
In this appendix, we consider the family
of proper normal subgroups of G. Let denote the coset nerve associate to . This section is devoted to a proof of the following analogue to the result of Shareshian–Woodroofe .
If G is finite, is not contractible.
If the group G is trivial, the family of proper normal subgroups is empty. Hence, we assume that G is nontrivial.
The family is closed with respect to intersections. Hence, we shall consider the associated order complex instead of the homotopy equivalent coset nerve. Our argument uses many ideas of Brown [2, Section 8].
Inducting on the complexity of G, we shall show that is a nontrivial wedge of spheres. Simple groups make up the base of the induction. Fortunately, simple groups are easily understood since the only proper normal subgroup is the trivial subgroup.
If G is simple, is a finite discrete set, which we shall identify with G itself. It is 0-spherical and not contractible (since G is nontrivial).
Now assume that G is not simple. Let be a minimal normal subgroup. Let denote the canonical projection.
Assume that G contains no proper normal subgroup that surjects onto the quotient . Then the map
is a homotopy equivalence. Thus, sphericity and non-contractibility of is inherited from .
To see this, consider the intersection-closed family . The elements of are in 1–1 correspondence to the proper normal subgroups of . Therefore, and are isomorphic. On the other hand, is co-final in since by hypothesis NM is a proper normal subgroup of G for any proper normal . This proves Claim 22.
It remains to deal with the case that there is a proper normal subgroup that surjects onto . Note that the intersection is normal in G. As is proper, but the product is all of G, we conclude that . As M is a minimal normal subgroup in G, we find and . In particular, we can identify with . We call a coset gH in G large if it surjects onto . We call it small otherwise. Note that the coset gH is small if and only if is small.
We consider the following families:
Note that and are closed with respect to intersections. Moreover, is co-final in . More precisely, for , we have . Hence, we have the homotopy equivalence
Now consider a large normal subgroup . We claim that the projection onto restricts to an isomorphism on L. The reason is that M is minimal, and because of this, is trivial or all of M. However, the latter possibility is excluded since L is a proper subgroup of G. This argument shows the following.
If L is a large proper normal subgroup of G, then .
Consequently, all large proper normal subgroups have the same cardinality. Thus, they are mutually incomparable with respect to inclusion.
We now see the structure of the coset poset . Vertices from form the bottom part whose order complex is homotopy equivalent to . Even more is true. The coset is large. Its link is spanned by small cosets contained in . Therefore, this link is isomorphic to , and homotopy equivalence (A.1) is a deformation retraction of the bottom part onto this link.
The vertices from lie above the bottom part. The order complex is the union of the bottom part and the stars of the large vertices. Each such star is just the cone over the link of the vertex, and we may consider these stars independently because two large vertices are never joined by an edge. Moreover, the link of a large coset gL is its descending link, i.e., all vertices in the link are cosets that are contained in gL.
The link of a large vertex gL is isomorphic to .
This just follows from the fact that a coset gN is contained in gL if and only if .
Now we build by adding the stars of large vertices, one by one, to the bottom part . Adding as the first large vertex, we cone of its descending link. At this point, we obtain a contractible space. Adding each of the remaining large vertices (and there are at least the other cosets of ) amounts to wedging on the suspension of its link, i.e., wedging on a copy of . Thus, we have argued the following.
Assume that there is a proper normal subgroup that surjects onto . Then is homotopy equivalent to a nontrivial wedge of copies of the suspension .
We would like to thank Russ Woodroofe for suggesting that a proof of Theorem 20 could be carried out using ideas from Brown  rather than following the much steeper path of Shareshian–Woodroofe . We also thank Benjamin Brück, Linus Kramer and Russ Woodroofe for helpful comments on a preliminary version of this paper.
 C. Welsch, On coset posets, nerve complexes and subgroup graphs of finitely generated groups, PhD Thesis, Münster, 2018. Search in Google Scholar
© 2021 Walter de Gruyter GmbH, Berlin/Boston