>>969
もっと端的に言えば、
龍孫江氏のYoutube動画の証明では、Hは正規部分群でないのに、Hに正規部分群Nが含まれるという証明でしょ?
それだけでしょ?

仮に、百歩譲ってその証明が正しいとして、含まれる正規部分群Nが、「指数有限」であるの部分が言えていないと思うけど
どう?(^^