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