@Scarlet_Hypoc 子群，轨道的定义去哪了，，（而且子群只用证明非空和$ab^{-1}\in G$就好了8）最好用数学一点的定义$E_y=\{x|\exists g\in G,gy=x\}$（不动点同理） 不要用$\times$，虽然没有歧义但是群论里$\times$不是direct sum吗

还有，您用isomorphism一瞬间就证完了，为什么搞这么复杂，而且不用数学语言写，非要用自然语言写。。。（话说这定理还是我期中考试题，，，当时写了两三行就证完了）