Abstract:
There are flat Riemannian manifolds of odd dimension n with holonomy group (Z2)n−1. From Bieberbach theorems its fundamental group G is torsion free and defines a short exact sequence 0→Zn→G→(Z2)n−1→0, where Zn is a maximal abelian subgroup in G. This class of manifolds (groups) has many very interesting properties:
they are rational homology spheres
they are homology rigid i.e M is diffeomorphic to M′ if and only if cohomology rings H∗(M,F2) and H∗(M′,F2) are isomorphic