群论证明求助：若∀g∈G、h∈H，ghg⁻¹∈H，求证gH=Hg

嘿，这个问题的核心就是用集合双向包含的经典方法来证明，咱们一步步拆解清楚：

第一步：明确核心已知条件 #

题目给出：对任意$g \in G$、$h \in H$，都有$ghg^{-1} \in H$。这个条件是所有推导的基础，咱们就围着它展开。

第二步：证明$gH \subseteq Hg$ #

取任意元素$x \in gH$，根据左陪集的定义，一定存在某个$h \in H$，使得$x = gh$。
现在要把$x$转化为右陪集$Hg$的形式（也就是找一个$h' \in H$，让$x = h'g$）：
对$x = gh$两边同时右乘$g^{{-1}$，得到$xg}{-1} = ghg^{{-1}$。根据已知条件，$ghg}{-1} \in H$，所以$xg^{-1}$是$H$中的元素，咱们把它记作$h'$，也就是$h' = xg^{-1}$。
那么$x = h'g$，这就说明$x$属于右陪集$Hg$。因为$x$是$gH$里的任意元素，所以$gH \subseteq Hg$。

第三步：证明$Hg \subseteq gH$ #

同样取任意元素$y \in Hg$，根据右陪集定义，存在$h \in H$，使得$y = hg$。
现在要把$y$转化为左陪集$gH$的形式（找$h'' \in H$，让$y = gh''$）：
对$y = hg$两边同时左乘$g^{{-1}$、右乘$g$，得到$g}{-1}yg = g^{{-1}hg$。把$g}{-1}$看作群$G$中的元素（群的逆元必然属于群），代入已知条件：对$g^{-1} \in G$、$h \in H$，有$(g^{-1})h(g{-1})^{-1} = g^{-1}hg \in H$，所以$g^{-1}hg$是$H$中的元素，记作$h''$，即$h'' = g^{-1}hg$。
那么$hg = gh''$，也就是$y = gh''$，这说明$y$属于左陪集$gH$。因为$y$是$Hg$里的任意元素，所以$Hg \subseteq gH$。

第四步：双向包含推出集合相等 #

既然$gH \subseteq Hg$且$Hg \subseteq gH$，根据集合相等的定义，直接就能得出$gH = Hg$。

补充：关于$gHg^{-1}=H$的推导 #

你猜测的这个结论完全正确，同样用双向包含就能证明：

• 首先，$gHg^{{-1}$的所有元素都是$ghg}{-1}$（$h \in H$），已知这些元素都属于$H$，所以$gHg^{-1} \subseteq H$；
• 反过来，取任意$h \in H$，我们可以把$h$写成$g(g^{-1}hg)g{-1}$，而根据前面的推导，$g^{-1}hg \in H$，所以$h$属于$gHg^{-1}$，即$H \subseteq gHg^{-1}$；
• 因此$gHg^{-1} = H$。

内容的提问来源于stack exchange，提问作者user482939