Korolari 9.2.10.
Misalkan \(n_1, \ldots, n_k\) adalah bilangan bulat positif. Maka
\begin{equation*}
\prod_{i=1}^k {\mathbb Z}_{n_i} \cong {\mathbb Z}_{n_1 \cdots n_k}
\end{equation*}
jika dan hanya jika \(\gcd( n_i, n_j) =1\) untuk \(i \neq j\text{.}\)