We give a detailed proof that, for any natural number n, each algebraic two
complex over C_n \times C_\infty is realised up to congruence by a geometric
complex arising from a presentation for the group.Comment: This is the version published by Algebraic & Geometric Topology on 24
February 200