The complex of partial bases of a free group

Abstract

We prove that the simplicial complex whose simplices are the nonempty partial bases of Fn is homotopy equivalent to a wedge of (n−1)‐spheres. Moreover, we show that it is Cohen–Macaulay.