幺元

幺元，也称单位元(英文常写作Identity)是集合里的一种特别的元，与该集合里的二元运算有关。当它和其他元素结合时，并不会改变那些元素。

　　若a＊e=a，e称为右单位元；若e＊a=a，e称为左单位元。若该演算左右的元素能互换，左、右单位元相同，可称为双边单位元。

　　[编辑]例子

　　(S,*)表示的东西

　　当中的单位元

　　实数加法

　　0

　　n乘n的矩阵的加法

　　零矩阵

　　n乘n的矩阵的乘法

　　单位矩阵

　　幂

　　1（右单位元）

　　若S只有两个元（e和f），运算＊定义为e＊e=f＊e=e和f＊f=e＊f=f，那麼e和f都是左单位元，但没有右单位元或双边单位元。