吸収元つき半環や吸収元付き可換モノイドなどが一元体の定式化などを契機として、従来の抽象代数学における環などと同様の中心的な役割を果たすものとして注目されている。 厳密に、(S, ∗) を集合 S とその上の二項演算 ∗ の組(マグマまたは亜群と呼ばれるもの)とする。z がマグマ (S, ∗) の零元であるとは、S の任意の元 s に対して z ∗ s = s ∗ z = z {\displaystyle z*s=s*z=z} を満たすことをいう。さらに細かく[2]、z ∗ s = z のみを課したものを左零元 (left zero) と呼び、右零元 (right zero) は s ∗ z = z のみを条件に課したものをいう。 その他の吸収元付きマグマの演算と吸収元台集合演算吸収元
定義
性質
マグマが左右の零元をともに持てば、それは(両側)零元である。
マグマが零元を持つとき、零元は一意に定まる。
例
集合 X 上の二項演算の全体の成す集合は関係の合成に関して、吸収元つきモノイドを成す。零元は空関係(つまり空集合)である。
閉区間 H = {0, 1 } に x ∧ y := min(x, y) で二項演算を定義したものは零付きモノイドであり、零元は最小元 0 で与えられる。
実数全体 R実数の積 •実数 0
非負整数全体 Z≥0最大公約数 GCD整数 1
n-次正方行列全体 Mn行列の積 •n-次零行列 0
拡大実数全体 R最小あるいは下限 ∧負の無限大 −∞
拡大実数全体 R最大あるいは上限 ∨正の無限大 +∞
集合全体 Sets[* 1]交わり ∩空集合 {}
集合 M の部分集合全体 2M結び ∪全体集合 M
ブール論理論理積 ∧偽 ⊥
ブール論理論理和 ∨真 ?
関連項目
中立元
零半群
逆元
注釈^ 素朴な意味での集合全体は集合にはならないので、本項でいう意味のマグマや吸収元としては扱えない。ただし、普遍集合を一つ与えてその中での集合(これを「小さい集合」と呼ぶ)の意味でなら扱える。普遍集合のとり方には依らないという意味で特に明示しない。
出典注^ J.M. Howie, p. 2-3
^ a b M. Kilp, U. Knauer, A.V. Mikhalev p. 14-15
^ J.S. Golan p. 67
参考文献
Howie, John M. (1995). Fundamentals of Semigroup Theory. Clarendon Press. ISBN 0-19-851194-9
M. Kilp, U. Knauer, A.V. Mikhalev, Monoids, Acts and Categories with Applications to Wreath Products and Graphs, De Gruyter Expositions in Mathematics vol. 29, Walter de Gruyter, 2000, ISBN 3110152487.
Golan, Jonathan S. (1999). Semirings and Their Applications. Springer. .mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 0792357868
外部リンク
Absorbing element - PlanetMath.(英語)