抽象代數/群論/群/消去

定理

設 G 為一個群。

1. $\forall \;g,a,b\in G:(g\ast a=g\ast b)\rightarrow (a=b)$

2. $\forall \;g,a,b\in G:(a\ast g=b\ast g)\rightarrow (a=b)$

證明

0. 選擇 ${\color {OliveGreen}g},a,b\in G$ 使得 ${\color {OliveGreen}g}\ast a={\color {OliveGreen}g}\ast b$
1. ${\color {BrickRed}g^{-1}}\in G$	g 在 G 中的逆的定義 (用法 1)
2. ${\color {BrickRed}g^{-1}}\ast ({\color {OliveGreen}g}\ast a)={\color {BrickRed}g^{-1}}\ast ({\color {OliveGreen}g}\ast b)$	0.
3. $({\color {BrickRed}g^{-1}}\ast {\color {OliveGreen}g})\ast a=({\color {BrickRed}g^{-1}}\ast {\color {OliveGreen}g})\ast b$	$\ast$ 在 G 中是結合律的
4. $e_{G}\ast a=e_{G}\ast b$	g-1 是 g 的逆 (用法 3)
5. $a=b\,$	eG 是 G 的單位元 (用法 3)

圖表

如果 a*g = b*g...

a = a*g*g-1

b*g*g-1 = b

那麼 a = b。

用法

1. 如果 a、b、x 屬於同一個群，並且 x*a = x*b，那麼 a = b

注意

1. a、b 和 g 必須都屬於同一個群。
2. $\ast$ 必須是該群的二元運算子。
3. G 必須是一個群。