On the semisimplicity of polyhedral isometries

If a polyhedral complex K has only finitely many isometry types of cells, t hen all of its cellular isometries are semisimple. If K is 1-connected and non-positively curved, then any solvable group that acts freely by cellular isometries on K is finitely generated and contains an abelian subgroup of finite index.