単位元のソースを表示

[[数学]]、とくに[[抽象代数学]]において、'''単位元'''（たんいげん, {{Lang-en-short|''identity element''}}）あるいは'''中立元'''（ちゅうりつげん, {{Lang-en-short|''neutral element''}}）は、[[二項演算]]を備えた[[集合]]の特別な元で、ほかのどの元もその二項演算による単位元との結合の影響を受けない。

== 定義 ==

(''M'', &lowast;) を[[集合]] ''M'' とその上の[[二項演算]] &lowast; のなす[[マグマ (数学)|マグマ]]とする。''M'' の元 ''e'' が &lowast; に関する（両側）'''単位元'''であるとは、''M'' のすべての[[元_(数学)|元]] ''a'' に対して
:<math> a * e = e * a = a </math>
を満たすときにいう。さらに細かく、''M'' の任意の元 ''a'' に対して ''a'' &lowast; ''e'' = ''a'' を満たすとき'''右単位元'''といい、''e'' &lowast; ''a'' = ''a'' を満たすとき'''左単位元'''という。単位元は左単位元かつ右単位元である。[[算法|演算]]が[[交換法則|可換である]]ときには左右の区別はない。単位元を持つマグマ、半群、環などはそれぞれ'''単位的マグマ'''、単位的半群（[[モノイド]]）、[[単位的環]]などと呼ばれる。

[[環 (数学)|環]]などの加法と乗法のふたつの演算を持つような代数系では、どの演算に関する概念であるかを区別するために、加法に関する単位元を[[加法単位元]]（しばしば 0 で表す）と呼び、乗法に関する単位元を'''乗法単位元'''（しばしば 1 で表す）という。

== 例 ==
{| class="wikitable" style="margin: 1em auto 1em auto"
|+ 種々の代数系の単位元
! 台集合 !! 演算 !! 単位元
|-
| [[実数]]全体 '''R''' || [[加法|和]] + || [[0]]
|-
| 実数全体 '''R''' || [[乗法|積]] &bull; || [[1]]
|-
| 実数全体 '''R''' || [[冪乗]] ''a<sup>b</sup>'' || 右単位元: 1
|-
| 正の整数全体 '''N''' || [[最小公倍数]] LCM || 1
|-
| 非負整数全体 '''Z'''<sub>&ge;0</sub> || [[最大公約数]] GCD || 0（定義に依存する）
|-
| ''m''-行 ''n''-列[[行列]]全体 || 行列の和 + || [[零行列]] ''O''
|-
| ''n''-次[[正方行列]]|| 行列の積 &bull; || ''n''-次[[単位行列]] ''I''<sub>''n''</sub>
|-
| 集合 ''M'' から ''M'' 自身への[[写像]]全体 ''M''<sup>''M''</sub> || 合成 ∘ || [[恒等写像]]
|-
| 集合 ''M'' から ''M'' 自身への写像全体 ''M''<sup>''M''</sub>|| [[畳み込み]] &lowast; || [[ディラック・デルタ]] &delta;
|-
| [[文字列]]全体 || 文字列の結合 || [[空文字列]]
|-
| [[拡張実数]]全体 <span style="text-decoration: overline;">'''R'''</span> || 最小または下限 &and; || 正の無限大 +&infin;
|-
| 拡張実数全体 <span style="text-decoration: overline;">'''R'''</span> || 最大または上限 &or; || 負の無限大 &minus;&infin;
|-
| 集合 ''M'' の部分集合全体 2<sup>''M''</sup> || [[積集合|交わり]] &cap; || 全体集合 ''M''
|-
| 小さい集合の全体 '''Sets''' || [[和集合|結び]] &cup; || [[空集合]] {} 
|-
| [[ブール論理]] || [[論理積]] &and; || 真 ⊤
|-
| ブール論理 || [[論理和]] &or; || 偽 ⊥ 
|-
| ブール論理 || [[排他的論理和]] xor || 偽 ⊥
|-
| [[閉曲面]] || 連結和 # || 球面 ''S''<sup>2</sup>
|-
| 二元集合 {''e'', ''f''}
| &lowast;: <br /> ''e'' &lowast; ''e'' = ''f'' &lowast; ''e'' = ''e'' <br /> ''f'' &lowast; ''f'' = ''e'' &lowast; ''f'' = ''f''
| 左単位元: ''e'', ''f''<br />右単位元: なし<br />両側単位元: なし
|}

== 性質 ==
左単位元および右単位元は一つの代数系に複数存在しうる。しかしマグマ (''M'', &lowast;) が左単位元および右単位元を持てば、それらは一致しその代数系のただ一つの（両側）単位元となる。このことは、実際 ''e''<sub>1</sub> が左単位元 ''e''<sub>2</sub> が右単位元であるならば、

:<math>e_1 = e_1 * e_2 = e_2</math>

が成立することからわかる。とくに両側単位元は[[高々 (数学)|高々]]一つしか存在しない。

マグマ (''S'', &lowast;) が一つも単位元を持たないこともありうる。よく知られた例としては[[空間ベクトル]]の[[クロス積]]が挙げられる。クロス積に関する単位元が存在しないことは、二つの非零ベクトルのクロス積がもとの二つのベクトルの両方に直交する向きを持つという事実からわかる。単位元を持たない別な例としては（正の）自然数全体のなす加法的半群 ('''N''', +) が挙げられる。

;単位元の添加 
: マグマ (''M'', &lowast;) が与えられたとき、''M'' に ''M'' のどの元とも異なる新たな元 1 を付け加えた集合 ''M''<sup>1</sup> := ''M'' &cup; {1} で<div style="margin: 1ex auto 1ex 2em">任意の ''a'' &isin; ''M''<sup>1</sup> に対して ''a'' * 1 = 1 * ''a'' = ''a'' </div>と定めて、''M'' の演算 &lowast; を ''M''<sup>1</sup> 上に延長することにより、元 1 を ''M''<sup>1</sup> の &lowast; に関する単位元とすることができる。この (''M''<sup>1</sup>, &lowast;) を (''M'', &lowast;) の '''1-添加'''という。
: もし、''M'' がもともと &lowast; に関する単位元 ''e'' を持っていたとしても、''e'' は ''M''<sup>1</sup> 上ではもはや &lowast; に関する単位元ではない。

== 参考文献 ==
* {{cite book|和書|author=田村孝行|title=半群論|publisher=共立出版|year=1972|series=共立講座 現代の数学}}
* 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

== 関連項目 ==
* [[吸収元]]
* [[逆元]]
* [[加法逆元]]
* [[単位的]]
* [[モノイド]]（単位的半群）

== 外部リンク ==
* {{PlanetMath|urlname=IdentityElement|title=identity element}}
* {{PlanetMath|urlname=LeftIdentityAndRightIdentity|title=left identity and right identity}}
* {{MathWorld|urlname=IdentityElement|title=Identity element}}
{{DEFAULTSORT:たんいけん}}
[[Category:代数的構造]]
[[Category:数学に関する記事]]

[[fa:عمل دوتایی#عضو خنثی]]