Aut(K/F)의 fixed field가 F1일때F가 F1의 subfield라는게 F는 자동으로 고정되니까 그런거맞나F1=F가 아닌게 너무 헷갈리게하네- dc official App
ㅇㅇ 정의상 Aut(K/F)는 F를 pointwise fix.
잘 아네