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.