>>471
>「Z/nZは有限集合」と書いてある文献探して、提示してくれ
>そうしたら、スレを閉じて、すっぱりと、おれは５CH数学板から去るよ（＾＾；
>おっと、「Z/nZは有限集合」と書いてある”そのものずばり”だよ
https://pc1.math.gakushuin.ac.jp/~shin/html-files/Algebra_Introduction/2017/07.pdf
（引用開始）
次に，自然数 M が 2 つの互いに素な約数の積として表される場合を考えよう． すなわ
ち，M = mn であって，かつ m, n は互いに素とする． このとき，m, n の最小公倍数は
M と一致する． したがって，命題 7.5 より，自然な写像
F : Z/MZ −→ (Z/mZ) × (Z/nZ)
は単射である． さらに今の場合，Z/MZ の元の個数は M = mn
（引用終了）

Z/MZ の元の個数は 自然数M　なので有限集合です。
直ちに約束を履行して下さい。