加法逆元

在一個 加法群 中，元素 的加法逆元是元素 使得 ，其中 0 是 的加法單位元。通常， 的加法逆元記為 ，例如在整數 、有理數 、實數 和複數 的加法群中，其中 。帶有負號的相同表示法也用於表示向量的加法逆元，

(1)

多項式的加法逆元，

(2)

矩陣的加法逆元

(3)

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