「零元」

数学において零元（れいげん、ゼロげん）とは、

吸収元: 二項演算 ∗ をもつマグマ M において、M の任意の元 x に対し x ∗ z = z ∗ x = z を満たす M の元 z。
加法単位元: 加法的にかかれる可換群の単位元
のことである。環などのよく知られた代数系における加法単位元は、積に関して吸収元となる。
マグマ S の零元をあらわす記号には数字の 0 を流用して、0S あるいは単に 0 などと記すのが普通である。

出典：Wikipedia日本語版