“…We require the encoding map to be injective and therefore focus on free submodules of Z p r [d] n . We note that different definitions have been considered in the literature, see for instance [4,10,11,21]. The nonfree case lies beyond the scope of this work but it can also be treated using the theory of p-basis and p-generating sequences, see for instance [11,12,18,21].…”