Reduction of an integer polynomial modulo a prime

Coefficientwise reduction defines a ring homomorphismIt preserves sums, products, and divisibility. The Frobenius endomorphism gives $\overline{g(X^p)}=\bar{g}(X{)}^p$.