単位元

この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。 脚注を導入して、記事の信頼性向上にご協力ください。（2023年9月）

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

二項演算 ∗ とその定義域 M について、

• M の任意の元 y について e ∗ y = y を満たす M の元 e が存在するとき、e を ∗ に関する左単位元という。

${\displaystyle \exists e\in M,\forall y\in M,e*y=y}$

• M の任意の元 x について x ∗ e = x を満たす M の元 e が存在するとき、e を ∗ に関する右単位元という。

${\displaystyle \exists e\in M,\forall x\in M,x*e=x}$

∗ が M について悉く可換であるとき、M の任意の元 a について e ∗ a = a ∗ e = x を満たす M の元 e を ∗ に関する（両側）単位元という。

${\displaystyle \exists e\in M,\forall a\in M,e*a=a*e=a}$

単位元を有するマグマ、半群、環などはそれぞれ単位的マグマ、単位的半群（モノイド）、単位的環などと呼ばれる。

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

左単位元および右単位元は一つの代数系に複数存在しうる。しかしマグマ (M, ∗) が左単位元および右単位元を持てば、それらは一致しその代数系のただ一つの（両側）単位元となる。このことは、実際 e₁ が左単位元 e₂ が右単位元であるならば、

${\displaystyle e_{1}=e_{1}*e_{2}=e_{2}}$

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

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

単位元の添加

マグマ (M, ∗) が与えられたとき、M に M のどの元とも異なる新たな元 1 を付け加えた集合 M¹ := M ∪ {1} で

任意の a ∈ M¹ に対して a * 1 = 1 * a = a

と定めて、M の演算 ∗ を M¹ 上に延長することにより、元 1 を M¹ の ∗ に関する単位元とすることができる。この (M¹, ∗) を (M, ∗) の 1-添加という。

もし、M がもともと ∗ に関する単位元 e を持っていたとしても、e は M¹ 上ではもはや ∗ に関する単位元ではない。

• 田村孝行『半群論』共立出版〈共立講座 現代の数学〉、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 (英語).