>>570
絶対値の定義から、Zと Z/〜 との間に全単射は存在しない。
そして、標準的な全射は全単射ではない。