加法逆元と減法〈龍孫江の群論道具箱〉
前回は単位元の一意性について考えました.今回の目標は「加法逆元」の性質を観察することです.今回も,考察の舞台となる環$${A}$$を1つ固定して考えます.
https://youtu.be/q3aREUZbUmk
補題-定義1(加法逆元の一意性)
各$${a \in A}$$に対し,$${a+c = 0}$$をみたす$${c \in A}$$は一意的(ただ1つ)である.この$${c}$$を$${a}$$の加法逆元(マイナス元)といい,$${-a}$$と表す.