単位元

数学、とくに抽象代数学において、単位元（たんいげん、英: identity element）あるいは中立元（ちゅうりつげん、英: neutral element）は、二項演算を備えた集合の特別な元で、ほかのどの元もその二項演算による単位元との結合の影響を受けない。 == 定義 == 二項演算 ∗ とその定義域 M について、 M の任意の元 y について e ∗ y = y を満たす M の元 e が存在するとき、e を ∗ に関する左単位元という。