抽象代數/群論/群/雙重逆

定理

設G為任意群，其運算為$\ast$.

$\forall \;g\in G:[g^{-1}]^{-1}=g$

在群G中，任何元素g的逆元的逆元是g。

證明

0. 選擇${\color {OliveGreen}g}\in G$
1. $\exists \;{\color {BrickRed}g^{-1}}\in G:{\color {OliveGreen}g}\ast {\color {BrickRed}g^{-1}}={\color {BrickRed}g^{-1}}\ast {\color {OliveGreen}g}=e_{G}$	在G中g的逆元的定義 (使用 1,3)
2. ${\color {OliveGreen}g}\ast {\color {BrickRed}a}={\color {BrickRed}a}\ast {\color {OliveGreen}g}=e_{G}$	設 a = g−1
3. ${\color {BrickRed}a}\ast {\color {OliveGreen}g}={\color {OliveGreen}g}\ast {\color {BrickRed}a}=e_{G}$
4. $[{\color {BrickRed}a}]^{-1}={\color {OliveGreen}g}$	在G中a的逆元的定義 (使用 2)
5. $[{\color {BrickRed}g^{-1}}]^{-1}={\color {OliveGreen}g}$	由於 a = g−1

圖表

1. 實心圓的逆元是空心圓。

2. 空心圓的逆元是實心圓，根據 1。