単位元ない場合準同型とかはどう定義すんの?
Z〜nZとかになっちゃうの?