Let M ∈ Mₙ(ℤ) be expanding such that |det(M)| = p is a prime and pℤⁿ ⊈ M²(ℤⁿ). Let D ⊂ ℤⁿ be a finite set with |D| = |det(M)|. Suppose the attractor T(M,D) of the iterated function system ${{\varphi}_{d}\left(x\right)={M}^{-1}(x+d)}_{d\in D}$ has positive Lebesgue measure. We prove that (i) if D ⊈ M(ℤⁿ), then D is a complete set of coset representatives of ℤⁿ/M(ℤⁿ); (ii) if D ⊆ M(ℤⁿ), then there exists a positive integer γ such that $D={M}^{\gamma}D\u2080$, where D₀ is a complete set of coset representatives of ℤⁿ/M(ℤⁿ). This improves the corresponding results of Kenyon,...