Random walks on primitive lattice points

We define a random walk on the set of primitive points of ${\mathbb{Z}}^d$. We prove that for walks generated by measures satisfying mild conditions these walks are recurrent in a strong sense. That is, we show that the associated Markov chains are positive recurrent and there exists a unique stationary measure for the random walk.