>>654
環の乗法零元がどうしても欲しいんですがどう定義すればいいですか