I am currently reading "Subgroup graph methods for presentations of finitely generated groups and the contractibility of associated simplicial complexes" By Cora Welsch and I'm a bit stuck with Theorem 5.6.
She considers a subcomplex $U$ of the nerve complex $NC(G,H_{fi})$.
I dont understand why:
- There always exists a finite set $\Sigma$ consisting of all maximal simplices of $U$?
- What is the intersection of the vertices of an element $ \sigma \in \Sigma $? (She denotes it by $\cap \sigma$.)
Thanks in advance!