有限生成アーベル群
これらのステートメントは中国剰余定理によって同値である。ここでそれが述べているのは、 Z m ≃ Z j ⊕ Z k {\displaystyle \mathbb {Z} _{m}\simeq \mathbb {Z} _{j}\oplus \mathbb {Z} _{k}} であることと、j と k が互いに素で m = jk であることは同値である。