Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Well I'm confused, say that you take $X=\mathbf{C}/\Lambda$ with $\Lambda=\mathbf{Z}+i\mathbf{Z}$ and you take the isometry $z\mapsto z+\frac{1}{2}$, then there is no fixed point! Are you assuming that your space is simply connected?
Well $K(GL(n,Z/p),1)=X$ will be a CW-complex of infinite dimension and the only way I know to construct it is with the usual killing cells technique which is kind of tautological
@Fernando, do you have a reference? So I looked quickly at Dieudonne's book and I found the definition of pseudomanifold but I could not find the result.
Well take $G=H=\mathbf{Z}_p$, then $H$ is not discrete. The result that you claim in $0)$ probably applies to topological groups which have a topological real manifold structure.