半環 - Wikipedia抽象代数学において、半環（はんかん、英: semi-ring）とは環に類似した代数的構造で、環の公理から加法的逆元の存在を除いたものである。負元 (negative) の無い環 (ring) ということから rig という用語もしばしば用いられる。 半環は、以下の性質を満たす二つの二項演算、即ち加法（和）"+" と乗法（積）"·" とを備えた集合 R を言う[1]： (R, +) は単位元 0 を持つ可換モノイドを成す: (a + b) + c = a + (b + c), 0 + a = a + 0 = a, a + b = b + a. (R, ·) は単位元 1 を持つモノイドを成す: (a · b)· c = a ·(b · c), 1 · a = a · 1 = a. 乗法は加法の上に分配的である: a ·(b + c) = (a · b) + (a · c), (a + b)·
