零元 是与所有的元素相乘都等于它自己的元素. 记为0 有 0x=0.
零因子a首先不是零元, 若存在非零元b 满足 ab = 0 (零元), 则称a为零因子请问，任意环是否一定包含零元？环必有0元 (加法交换群的0元)但不一定有零因子无零因子的环称为整环 (如 Z )