その他

【代数学】群の逆元の一意性

群の逆元の一意性定理（群の逆元の一意性）$(G, *)$ を群，$a$ を群 $G$ の任意の元とする．このとき，