無限巡回群の構造と性質