Fix some $1 \leq k \leq n$. I'm looking for finitedimensional vector spaces $M_{n,k}$ over $\mathbb{Q}$ on which $\mathbb{Z}^n$ acts such that the natural map $H_k(\ell \mathbb{Z}^n,M_{n,k}) \rightarrow H_k(\mathbb{Z}^k,M_{n,k})$ is not an isomorphism for some $\ell \geq 2$. Here $\ell \mathbb{Z}^n$ is the subgroup of $\mathbb{Z}^n$ consisting of vectors each of whose entries is divisible by $\ell$ and the map on group homology is induced by the inclusion $\ell \mathbb{Z}^n \hookrightarrow \mathbb{Z}^n$.
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

$k=n=1$, $M_{n,k}=M=\mathbb{Q}$. Let $\mathbb{Z}$ act on $\mathbb{Q}$ by $n \cdot q = (1)^n q$. The homology is $H_i(\mathbb{Z};M)=\mathbb{Q}$ for $i=1$ and $0$ otherwise. The subgroup $2 \mathbb{Z}$ acts trivially on $M$ and so $H_i (2 \mathbb{Z};M)=\mathbb{Q}$ for $i=0$ and $0$ otherwise. 

