f\colon\mathbb{Z}_m\oplus\mathbb{Z}_n\to\mathbb{Z}_{mn}