이 문제에서 굳이 왜 Gal(K/F) 로 주었는지 모르겠음. 그냥 Aut(K/F) 로 주어도 증명하는데 문제 없지 않아??

그리고 내가 정의를 잘못 알고 있을까봐 하는 얘기인데, E/F is fixed by G 랑 E/F is fixed field of G 랑 다른 얘기이지?

전자는 G의 속하는 모든 원소가 E를 고정하기만 하면 되는 거고 후자는 G에 속하는 모든 원소들이 공통적으로 고정하는 K의 원소들을 모두 모은 것이 E라는 거고. (즉 오른쪽이 더 빡센 조건)