半環

スポンサーリンク
半環

部分半環

半環 \(S\) の空ではない部分集合 \(T\) が, \(S\) の二項演算で半環になるとき, \(T\) を \(S\) の部分半環(subsemiring)という. また, \(S\) の零元からなる集合 \(\{0\}\) と \(S\) 自身は \(S\) の部分半環であり, これらを自明な部分半環(trivial subsemiring)と呼ぶ.
半環

半環の局所化

\(S\) を可換半環, \(T\) を \(S\) の積閉集合とする.\((a,s), (b,t) \in S\times T\) に対して, ある \(u\in T\) が存在して \(uat=ubs\) となるとき \((a,s)\sim (b,t)\) と定義すると \(\sim\) は \(S\times T\) 上の同値関係となる.
半環

よく使う文字や記号の説明

数学系の記事で用いる文字や記号の説明をします。よく使う集合や写像・値などは特定の文字や記号で書かれることが多いです。その方が共通認識で話を進めることができ、便利です。しかし、同じ文字や記号・記法だったとしても、数学書や論文毎に少し違った定義になっていることあるので、定義を確かめておく必要があります。
半環

冪等半環と半順序

冪等半環Sに対して, 二項関係<=をa+b=bのときa<=bで定めると<=は半順序でSは半順序集合となる.
半環

冪等半環

半環が冪等(idempotent)であるとは、すべての元が加法が冪等演算となること、つまりa+a=を満たすことをいう.
半環

半環準同型

2つの半環の間の写像が半環準同型(semiring homomorphism)であるとは、その写像が和と積それぞれについてモノイド準同型であることをいう。特に全単射であるとき半環同型(semiring isomorphism)という。
半環

半環の定義

空でない集合 Sと,その上の二つの二項演算、和と積の組 (S, +, \cdot)が半環(semiring)であるとは「和について可換モノイド」「積についてモノイド」「和と積で分配法則が成り立つ」「0倍すると0になる」条件を満たすことを言います。
スポンサーリンク