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