1. .

证明 (1) 0 为 的零元素,若 ,则

故由性质 1.3 知 .

(2) 任取 . 若 ,则由 . 今设 . 则 存在,于具对任意 ,

故由消去律知 .

(3) . 由负向量的唯一性

知, .