有限巡回群が組成列をもつことがℤのUFD性を意味してるから、つながってるんだろうな