单位元，这是群论里最基本的概念之一。设G是一个群， e是G中的元素， 满足ex=xe=x, 对任何x∈G 成立， 那么就称e是G中的单位元或幺元。单位元在群中是唯一存在的。