加法单位元
jiā fǎ dān wèi yuán
加法单位元是零：给任何数加上零，该数都保持不变。
Formula
a + 0 = a
Definition
加法单位元是零：给任何数加上零，该数保持不变。形式上，一个数系的加法单位元是元素 $e$，满足对所有 $a$ 都有 $a + e = e + a = a$；在整数、有理数、实数和复数中，这个元素就是 $0$，并且它在任意群中都是唯一的，因为若 $e$ 和 $e'$ 都满足单位元性质，则 $e = e + e' = e'$。在群 $(G,+)$ 中，这个单位元满足对所有 $a$ 都有 $a+0=0+a=a$；环还要求对所有 $a$ 都有 $0 \cdot a = 0$（吸收性），且每个群同态都必须把一个单位元映射到另一个单位元。
Example
$7 + 0 = 7$，$0 + 100 = 100$：无论你从哪个数开始，加上零都不会改变它。在 $\mathbb{Z}/5\mathbb{Z}$ 中：$3 + 0 = 3$，$0 + 3 = 3$，零依然是加法单位元；在向量空间中，零向量扮演着同样的角色，$\vec{v} + \vec{0} = \vec{v}$。加法单位元在任意群中都生成平凡子群 $\{0\}$，每个同态都必须把一个群的单位元映射到另一个群的单位元。
Key Insight
零是加法中"什么都不做"的数：结果与你的起始值完全相同。加法单位元在每一个阿贝尔群中都是唯一的，每次都可以用同样简短的证明来说明。它在同态理论中扮演着核心角色：加法单位元本质上就是恒等映射的核，锚定了建立在其上的每一个群和环的结构。