0489再録垢版 | 大砲2017/12/05(火) 13:45:34.54ID:iVaTXYxi >>482 その定義だと、自然数にゼロは無いということになりそうだが、、、 群構造が無いからね。しかし、ある元の名称として「0」を 自然数に含めても、特に支障は無いと思う。 群の単位元は、0よりむしろ1で表すことのほうが多いから、 乗法の存在を前提とせずに「ゼロとは、アーベル群の単位元」 と定義してしまうのは、問題がありそう。