-complexes with a projective -module
arXiv:2606.29356
Abstract
Let be a -complex and let . If is torsion-free and is a finitely generated projective -module then either is free or is and . If, moreover, then is a free product of -groups and a free group.