「零元」の版間の差分

# 加法的にかかれる可換群の[[単位元]]

のことである。[[環論|環]]や[[体論|体]]などにおいては、加法に関する単位元としての零元は、積に関して上に示した 1 の意味での零元の条件を満たすので、二つの意味の零元の概念は多くの場合には区別する必要がないが、場合によっては注意が必要である。その場合、どちらの意味の零元であるかは文脈上明らかとなっているはずである。以下、本項では 1 の意味の零元を基本的に扱う。