零元
2つの意味で使われているため混乱している。
吸収元
マグマで、$ a \circ z = z \circ a = zとなるような元$ zのこと。
乗法で「$ 0」を掛けたのと同じ。
$ a \times 0 = 0 \times a = 0
加法単位元
加法での単位元
$ a + 0 = 0 + a = a
これが自然数における「$ 0」と同じであるために零元と呼ばれてしまっている。