零元

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

• 吸収元: 二項演算 ∗ をもつマグマ M において、M の任意の元 x に対し x ∗ z = z ∗ x = z を満たす M の元 z。
• 加法単位元: 加法的にかかれる可換群の単位元

のことである。環などのよく知られた代数系における加法単位元は、積に関して吸収元となる。 マグマ S の零元をあらわす記号には数字の 0 を流用して、0_S あるいは単に 0 などと記すのが普通である。