Calculate an abstract algebra "sum" $\frac 12 * \frac13 *...*\frac 1{1000}$.

Yes: if $f$ is a bijective group homomorphism, then $f^{-1}$ is a homomorphism.