単位元

数学、とくに抽象代数学において、単位元（たんいげん, ）あるいは中立元（ちゅうりつげん, ）は、二項演算を備えた集合の特別な元で、ほかのどの元もその二項演算による単位元との結合の影響を受けない。
定義.
("M", ∗) を集合 "M" とその上の二項演算 ∗ のなすマグマとする。
"M" の元 "e" が ∗ に関する（両側）単位元であるとは、"M" の全ての元 "a" に対して
を満たすときにいう。
さらに細かく、"M" の任意の元 "a" に対して、 "a" ∗ "e" = "a" を満たすときに右単位元といい、"e" ∗ "a" = "a" を満たすときに左単位元という。
単位元は左単位元かつ右単位元である。演算が可換であるときには左右の区別はない。単位元を持つマグマ、半群、環などはそれぞれ単位的マグマ、単位的半群（モノイド）、単位的環などと呼ばれる。
環などの加法と乗法の二つの演算を持つような代数系では、どの演算に関する概念であるかを区別するために、加法に関する単位元を加法単位元（しばしば 0 で表す）と呼び、乗法に関する単位元を乗法単位元（しばしば 1 で表す）という。
性質.
左単位元および右単位元は一つの代数系に複数存在しうる。しかしマグマ ("M", ∗) が左単位元および右単位元を持てば、それらは一致しその代数系のただ一つの（両側）単位元となる。このことは、実際 "e"1 が左単位元 "e"2 が右単位元であるならば、
が成立することからわかる。とくに両側単位元は高々一つしか存在しない。
マグマ ("S", ∗) が一つも単位元を持たないこともありうる。よく知られた例としては空間ベクトルのクロス積が挙げられる。クロス積に関する単位元が存在しないことは、二つの非零ベクトルのクロス積がもとの二つのベクトルの両方に直交する向きを持つという事実からわかる。単位元を持たない別な例としては（正の）自然数全体のなす加法的半群 (N, +) が挙げられる。