単位元
二項演算を備えた集合の特別な元
定義
編集
(M, ∗) を集合 Mとその上の二項演算 ∗ のなすマグマとする。
M の元 eが ∗ に関する︵両側︶単位元であるとは、M の全ての元 aに対して
を満たすときにいう。
さらに細かく、M の任意の元 aに対して、 a∗ e= aを満たすときに右単位元といい、e ∗ a= aを満たすときに左単位元という。
単位元は左単位元かつ右単位元である。演算が可換であるときには左右の区別はない。単位元を持つマグマ、半群、環などはそれぞれ単位的マグマ、単位的半群︵モノイド︶、単位的環などと呼ばれる。
環などの加法と乗法の二つの演算を持つような代数系では、どの演算に関する概念であるかを区別するために、加法に関する単位元を加法単位元︵しばしば 0 で表す︶と呼び、乗法に関する単位元を乗法単位元︵しばしば1で表す︶という。
例
編集集合 | 演算 | 単位元 |
---|---|---|
実数全体 R | 和 + | 0 |
実数全体 R | 積 • | 1 |
実数全体 R | 冪乗 ab | 右単位元: 1 |
正の整数全体 N | 最小公倍数 LCM | 1 |
非負整数全体 Z≥0 | 最大公約数 GCD | 0(定義に依存する) |
m-行 n-列行列全体 | 行列の和 + | 零行列 O |
n-次正方行列 | 行列の積 • | n-次単位行列 In |
集合 M から M 自身への写像全体 MM | 合成 ∘ | 恒等写像 |
集合 M から M 自身への写像全体 MM | 畳み込み ∗ | ディラック・デルタ δ |
文字列全体 | 文字列の結合 | 空文字列 |
拡大実数全体 R | 最小または下限 ∧ | 正の無限大 +∞ |
拡大実数全体 R | 最大または上限 ∨ | 負の無限大 −∞ |
集合 M の部分集合全体 2M | 交わり ∩ | 全体集合 M |
小さい集合の全体 Sets | 結び ∪ | 空集合 {} |
ブール論理 | 論理積 ∧ | 真 ⊤ |
ブール論理 | 論理和 ∨ | 偽 ⊥ |
ブール論理 | 排他的論理和 xor | 偽 ⊥ |
閉曲面 | 連結和 # | 球面 S2 |
二元集合 {e, f} | ∗: e ∗ e = f ∗ e = e f ∗ f = e ∗ f = f |
左単位元: e, f 右単位元: なし 両側単位元: なし |
性質
編集
左単位元および右単位元は一つの代数系に複数存在しうる。しかしマグマ (M, ∗) が左単位元および右単位元を持てば、それらは一致しその代数系のただ一つの︵両側︶単位元となる。このことは、実際 e1が左単位元 e2が右単位元であるならば、
が成立することからわかる。とくに両側単位元は高々一つしか存在しない。
マグマ (S, ∗) が一つも単位元を持たないこともありうる。よく知られた例としては空間ベクトルのクロス積が挙げられる。クロス積に関する単位元が存在しないことは、二つの非零ベクトルのクロス積がもとの二つのベクトルの両方に直交する向きを持つという事実からわかる。単位元を持たない別な例としては︵正の︶自然数全体のなす加法的半群 (N, +) が挙げられる。
単位元の添加
マグマ (M, ∗) が与えられたとき、M に Mのどの元とも異なる新たな元1を付け加えた集合 M1 := M∪ {1} で
任意の a∈ M1に対して a* 1 = 1 * a= a
と定めて、M の演算 ∗ を M1上に延長することにより、元1を M1の ∗ に関する単位元とすることができる。この (M1, ∗) を (M, ∗) の 1-添加という。
もし、M がもともと ∗ に関する単位元 eを持っていたとしても、e は M1上ではもはや ∗ に関する単位元ではない。
参考文献
編集- 田村孝行『半群論』共立出版〈共立講座 現代の数学〉、1972年。
- 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, p. 14-15
関連項目
編集外部リンク
編集- identity element - PlanetMath.
- left identity and right identity - PlanetMath.
- Weisstein, Eric W. "Identity element". mathworld.wolfram.com (英語).