イヤ大丈夫だった
Gm = Z/m!Zに離散位相入れてコンパクト
直積 ΠGm もコンパクト
その中の閉部分群

 {(a(m)+m!Z) | a(m) ≡ a(n) (mod n!) (∀m>n)}

もコンパクトでコレが Z + Krull 位相