  We give a topological proof that a free inverse monoid on one or more
generators is neither of type left-$FP_2$ nor right-$FP_2$. This strengthens a
classical result of Schein that such monoids are not finitely presented as
monoids.

Group Theory;Algebraic Topology;Rings and Algebras