Let be in the center of R ( ) . Then for any we can find a preimage in since is surjective. Then consider
.
Thus every element of the image of the center of R commutes with any element of S, so it must be contained in the center of S by definition.