零元

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