群的公理之一：存在 e∈Ge\in Ge∈G，使对任意 g∈Gg\in Gg∈G 有
e⋅g=g⋅e=ge\cdot g=g\cdot e=g e⋅g=g⋅e=g
单位元是"不做任何改变"的元素：加法中对应 000，乘法中对应 111，映射复合中对应恒等映射。群中单位元唯一。
