加法逆元

在一个 加法群 中，元素 的加法逆元是元素 使得 ，其中 0 是 的加法单位元。通常， 的加法逆元记为 ，例如在整数 、有理数 、实数 和复数 的加法群中，其中 。带有负号的相同表示法也用于表示向量的加法逆元，

(1)

多项式的加法逆元，

(2)

矩阵的加法逆元

(3)

以及，一般而言，抽象向量空间或模中任何元素的加法逆元。