質問: 群、環、体の定義に関する質問 群→和 環→和、積 体→和、積、商 が定義されているわけですが、差はどれに定義されているのでしょうか?
回答: それを言うなら、 半群→和 群→和、差 または、 半群→積 群→積、商 でしょうね。 群の定義には、逆元の存在が 含まれていますからね。 二項演算が1個では、和と積の 区別も無いし。