单位元
本条目存在以下问题，请协助改善本条目或在讨论页针对议题发表看法。
|
单位元，也称为恒等元、中立元（英语：Identity element, neutral element）是集合里的一种特别的元素，与该集合里的二元运算有关。当单位元和其他元素结合时，并不会改变那些元素。单位元被使用在群和其他相关概念之中。
设为一带有一二元运算的集合（称之为原群），则内的一元素被称为左单位元若对所有在S内的a而言，；且被称为右单位元若对所有在S内的a而言，。而若同时为左单位元及右单位元，则称之为双边单位元，又简称为单位元。
对应于加法的单位元称之为加法单位元（通常被标为0），而对应于乘法的单位元则称之为乘法单位元（通常被标为1）。这一区分大多被用在有两个二元运算的集合上，比如环。
例子
| 集合 | 运算 | 单位元 |
|---|---|---|
| 实数 | +（加法） | 0 |
| 实数 | ·（乘法） | 1 |
| 实数 | （乘方） | 1（只为右单位元） |
| 复数 | +（加法） | 0 |
| 复数 | ·（乘法） | 1 |
| 矩阵 | +（加法） | 零矩阵 |
| 方阵 | ·（乘法） | 单位矩阵 |
| 所有从集合M映射至其自身的函数 | （函数复合） | 单位函数 |
| 所有从集合M映射至其自身的函数 | （卷积） | （狄拉克δ函数） |
| 字串 | 串接 | 空字元串 |
| 扩展的实轴 | 最大值 | |
| 扩展的实轴 | 最小值 | |
| 集合M的子集 | （交集） | M |
| 集合 | （并集） | （空集） |
| 布尔逻辑 | （逻辑与） | ⊤（真值） |
| 布尔逻辑 | （逻辑或） | ⊥（假值） |
| 闭二维流形 | #（连通和） | |
| 只两个元素 | * 定义为 且 |
和 都是左单位元，但不存在右单位元和双边单位元 |
如最后一个例子所示，有若干个左单位元是可能的，且事实上，每一个元素都可以是左单位元。同样地，右单位元也一样。但若同时存在有右单位元和左单位元，则它们会相同且只存在单一个双边单位元。要证明这个，设 为左单位元且 为右单位元，则 。特别地是，不存在两个以上的单位元。若有两个单位元 和 的话，则 必同时等于 和 。
一个代数没有单位元也是有可能的。最一般的例子为向量的内积和外积。前者缺乏单位元的原因在于相乘的两个元素都会是向量，但乘积却会是个标量。而外积缺乏单位元的原因则在于任一非零外积的方向必和相乘的两个向量相正交－因此不可能得出一个和原向量指向同方向的外积向量。