36번 문제인데 fixed finite order s를 갖는 subgroup을 전부 교집합한 게 normal임을 보이는 문제에요.
증명 방향은 x가 교집합한 subgroup에 속하면, 그의 conjugate도 속하게끔 만들었는데 이 논리를 적용하려면 모든 fixed finite order s의 subgroup은 inner automorphism에 의해 isomorphic임이 필요하더라구여
긍데 이 명제는 뭔가 거짓같아 보여서 잘못 접근한건가.. 하고 잇어요
도움 주실 수 있나요?
아니다.. 세번째 줄 논리적 비약이 심해서 다시 생각해보고 올게요
아 isomorphic하지 않아도 교집합에 이미 그런 부류의 subgroup과 그의 conjugate를 다 포함한단 의미를 가졌으니 쓸 수 있겠네요