 Solution

A unit modulo $d$ has nonzero image modulo every $p_i$. Any representative therefore satisfies the criterion in part (c), so it is already a unit modulo $I$. Its image is the given unit modulo $d$, proving surjectivity on unit groups.