0738132人目の素数さん垢版 | 大砲2020/11/22(日) 22:23:34.57ID:dR0FbWeM G=∪giS(g0=e)でgiS∩gjS≠ΦならgiS=gjS ということかな それでも同じで eがあるgiSに含まれるけど、そこが部分群になってることが示せて、結局これはその部分群による左類別になってる