可以没有单位元,如所有正偶数关于乘法,但如果有单位元一定是惟一的,同理可以没有零元,但如果有零元一定也是惟一的,下面简单证明：若零元1,零元2是两个零元,则
零元1=零元1*零元2=零元2