If we set I = lim ← ⁡ I n {\displaystyle I=\varprojlim I_{n}} , then it is not hard to see from the inverse limit construction that I {\displaystyle I} is a module over Z p {\displaystyle \mathbb {Z} _{p}} .
Jos asetetaan I = lim ← ⁡ I n {\displaystyle I=\varprojlim I_{n}} , ei ole vaikeaa nähdä käänteisen raja-arvon konstruktion avulla, että I {\displaystyle I} on moduli Z p {\displaystyle \mathbb {Z} _{p}} :n suhteen.