单位元
单位元
-{H|zh-hans:重定向;zh-hant:重新导向;}--{H|zh-cn:字符;zh-tw:字元;}--{H|zh-hans:文件; zh-hant:档案;}--{H|zh-hans:快捷方式; zh-hant:捷径;}--{H|zh-hans:项目;zh-hant:专案;zh-tw:计划;zh-hk:计划;zh-mo:计划;}--{H|zh-cn:计算机; zh-sg:电脑; zh-tw:电脑;}-
单位元(unit element)也称恒等元(identity element)、中立元(neutral element)、恒元,是集合里的一种特别的元素,与该集合里的二元运算有关。当单位元和其他元素结合时,并不会改变那些元素。单位元被使用在群和其他相关概念之中。
设formula_1为一带有一二元运算formula_2的集合formula_3(称之为原群),则"formula_3"内的一元素formula_5被称为左单位元若对所有在"S"内的"a"而言,formula_6;且被称为右单位元若对所有在"S"内的"a"而言,formula_7。而若"formula_5"同时为左单位元及右单位元,则称之为双边单位元,又简称为单位元。
对应于加法的单位元称之为加法单位元(通常被标为0),而对应于乘法的单位元则称之为乘法单位元(通常被标为1)。这一区分大多被用在有两个二元运算的集合上,比如环。
例子.
如最后一个例子所示,有若干个左单位元是可能的,且事实上,每一个元素都可以是左单位元。同样地,右单位元也一样。但若同时存在有右单位元和左单位元,则它们会相同且只存在单一个双边单位元。要证明这个,设formula_9为左单位元且formula_10为右单位元,则formula_11。特别地是,不存在两个以上的单位元。若有两个单位元formula_5和formula_13的话,则formula_14必同时等于formula_5和formula_13。
一个代数没有单位元也是有可能的。最一般的例子为向量的内积和外积。前者缺乏单位元的原因在于相乘的两个元素都会是向量,但乘积却会是个纯量。而外积缺乏单位元的原因则在于任一非零外积的方向必和相乘的两个向量相正交-因此不可能得出一个和原向量指向同方向的外积向量。