加法単位元

数学、とくに抽象代数学における加法単位元（かほうたんいげん、英: additive identity）は、加法を演算として備える集合において、ほかのどのような元 x に加えても x が変化しない特別の元である。最もよく馴染みのある加法単位元のひとつとしては初等数学で扱う数の 0 が挙げられるが、加法単位元の概念はもっと多くの、加法が定義される数学的構造（たとえば加法群や環）に対して定義されるものである。