On arranging regular incidence-complexes as faces of higher-dimensional ones (Q793338)

Let \({\mathcal K}\) be an incidence complex of class \((k_ 0,...,k_{d-1})\) of dimension d. Suppose that the automorphism group \(A({\mathcal K})\) acts flag transitively on \({\mathcal K}\). The author proves that given some natural number \(k_ d>1\), then there is some incidence complex \({\mathcal L}\) of class \((k_ 0,...,k_{d-1},k_ d)\) of dimension \(d+1\), such that \({\mathcal K}\) appears as a facet of \({\mathcal L}\). Furthermore the automorphisms of \({\mathcal K}\) may be extended to automorphisms of \({\mathcal L}\) and \(A({\mathcal L})\) acts flag transitively on \({\mathcal L}\). Finally if the partial order on \({\mathcal K}\) induces a lattice then the partial order on \({\mathcal K}\) induces a lattice. The construction and description of \({\mathcal L}\) is made in the language of group theory. The author extends \(A({\mathcal K})\) to a subgroup of \(A({\mathcal L})\). He uses a well known construction principle, the concept of free products with amalgamation. The disappointing point is that even if \({\mathcal K}\) is finite, \({\mathcal L}\) is nonfinite in general. For \(k_ d=2\) he shows that one can find finite examples for \({\mathcal L}\).