抽象代數/群論/群/Ga = G

定理

設 G 為任意群。

設 $Ga=\lbrace g\ast a\;|\;g\in G\rbrace$

$\forall \;a\in G:Ga=G$

證明

部分 A. $\color {RawSienna}Ga\subseteq G$

0. 選擇 ${\color {OliveGreen}a}\in G$
1. 選擇 $x\in G{\color {OliveGreen}a}=\lbrace g\ast {\color {OliveGreen}a}\;|\;g\in G\rbrace$
2. $\exists \;g\in G:x=g\ast {\color {OliveGreen}a}$	1.
3. $g\ast {\color {OliveGreen}a}\in G$	G 的封閉性, $g,a\in G$
4. $x=g\ast {\color {OliveGreen}a}\in G$	2,

---

部分 B. $\color {RawSienna}G\subseteq Ga$

5. 選擇 ${\color {OliveGreen}a}\in G$
6. $\exists \;{\color {BrickRed}a^{-1}}\in G:{\color {BrickRed}a^{-1}}\ast {\color {OliveGreen}a}=e_{G}$	逆元的定義
7. 選擇 $y\in G$
8. $y\ast {\color {BrickRed}a^{-1}}\in G$	根據 G 的封閉性，y 和 a−1 都屬於 G
9. $(y\ast {\color {BrickRed}a^{-1}})\ast {\color {OliveGreen}a}\in G{\color {OliveGreen}a}$	根據 Ga 的定義
10. $y\ast ({\color {BrickRed}a^{-1}}\ast {\color {OliveGreen}a})\in G{\color {OliveGreen}a}$	根據 G（而非 Ga）的結合律
11. $y\ast e_{G}\in G{\color {OliveGreen}a}$	eG 是 G 的單位元
12. $y\in G{\color {OliveGreen}a}$

---

C 部分. $\color {RawSienna}Ga=G$

$Ga=G\,$

$G\subseteq Ga$ 且 $Ga\subseteq G$,