有限群と無限巡回群の性質