Permutation modules of profinite groups

Given an arbitrary profinite group $G$ and a commutative domain $R$, we define the notion of permutation $GR$-module which generalizes the known notion from the representation theory of profinite groups. We establish an independence theorem of such a module as an $R$-module over a ring of scalars.