は二項演算を持つ集合に属する特別な元で、吸収元と他のどのような元との積も、吸収元自身になってしまうという性質を持つものである。零元とも半群論での用法。「零元」は加法単位元の意味でも用いられる。J.M. Howie, p. 2-3M. Kilp, U. Knauer, A.V. Mikhalev p. 14-15。
数学、特に抽象代数学における概念である。吸収元は半群論、特に半環の乗法半群においてとりわけ重要である。 加法単位元 0 を持つ半環の場合には、しばしば吸収元の定義を緩めて 0 を吸収しないものとする。別な言い方をすれば 0 が唯一の吸収元であるものとするということであるJ.S. Golan p. 67。
吸収元つき半環や吸収元付き可換モノイドなどが一元体の定式化などを契機として、従来の抽象代数学における環などと同様の中心的な役割を果たすものとして注目されている。
定義 マグマ が次の条件、
を満たすとき、元 は の吸収元と定義される。
左右吸収元の定義 さらに細かく、z ∗ s = z のみを課したものを左零元 と呼び、右零元 は s ∗ z = z のみを条件に課したものをいう。
性質
高々一つ マグマがもつ吸収元は高々一つである。
マグマが常に吸収元を持つとは限らない吸収元を持たない例: 整数の加法群。マグマが左右の吸収元をともに持てば、それは（両側）吸収元である証明: ∎。マグマが吸収元を持つとき、吸収元は一意に定まる証明: ∎。
非単集合で単位元になれない 台集合が 2 つ以上の元を持つマグマにおいて、吸収元は単位元になれない。
例 集合 X 上の二項演算の全体の成す集合は関係の合成に関して、吸収元つきモノイドを成す。吸収元は空関係（つまり空集合）である。 閉区間 H = {0, 1 } に x ∧ y := min(x, y) で二項演算を定義したものは吸収元付きモノイドであり、吸収元は最小元 0 で与えられる。
+ その他の吸収元付きマグマの演算と吸収元 台集合 演算 吸収元 実数全体 R 実数の積 • 実数 0 非負整数全体 Z≥0 最大公約数 GCD 整数 1 n-次正方行列全体 Mn 行列の積 • n-次零行列 0 拡大実数全体 R 最小あるいは下限 ∧ 負の無限大 −∞ 拡大実数全体 R 最大あるいは上限 ∨ 正の無限大 +∞ 集合全体 Sets素朴な意味での集合全体は集合にはならないので、本項でいう意味のマグマや吸収元としては扱えない。ただし、普遍集合を一つ与えてその中での集合（これを「小さい集合」と呼ぶ）の意味でなら扱える。普遍集合のとり方には依らないという意味で特に明示しない。 交わり ∩ 空集合 {} 集合 M の部分集合全体 2M 結び ∪ 全体集合 M ブール論理 論理積 ∧ 偽 ⊥ ブール論理 論理和 ∨ 真 ⊤
脚注
注釈
出典
参考文献
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.
関連項目 中立元
逆元
外部リンク