Invariant subrings of induced rings

We study the invariant subrings of a certain class of induced rings. The result we obtain gives, in particular, an answer to a problem posed in $({}^1)$ concerning the structure of the invariant subrings of a ring that arises in the reduction, modulo a prime, of modular functions.