大盛マスクの資料保管庫 v2
~こちらへ移転作業中~
半環
別名
"semiring"@en
"semi-ring"@en
"rig"@en
⊃
可換半環
環
Category
抽象代数学
Class
代数的構造
定義
加法:可換モノイド
乗法:モノイド
乗法は加法に対して分配律が成り立つ
つまり、
環
から加法の逆元の定義を除いたもの。