profinite group

This proposition shows that to have a representation with big image of a profinite group, for example, a Galois group, we need to take a profinite topological ring A as a coefficient ring, like the p-adic integer ring Z ₚ.