세 번째 사진에서 밑에서 다섯 번째줄이 이해가 안감
분명 어떤 i에 대해 p^ti가 1과 같지않을때니까 그런 i에 대해서만 alpha_i 는 K의 원소가 안되고 alpha_i는 totally inseparable element over K가 되잖아? (Thm 52.5의 첫 번째 부분)
쨌든 일단 여기까지는 이해가 되겠는데 왜 각 i에 대해 alpha_i는 K의 원소가 안되고 totally inseparable element over K가 되는거야? 분명 for some이라고 했었을텐데?
내가 아주 간단한걸 놓치고있는건가? 하루동안 계속 고민해도 안풀린다
- dc official App
해석의 문제임. "K 밖에 있는 각 α_i는"이라고 읽어봐.
각 α_i가 K에 있지 않다는 문장이 아님.
글쓴놈인데 각 a_i가 K 밖에 있다고 읽는다쳐도 그게 왜 성립하는건지를 모르겠어 많아야 유한개인 i들에 대해 a_i가 totally inseparable element over K가 되는건데 이게 i=1,2,...,n 모두에 대해서 성립을 한다고 어떻게 알 수 있는거야?
내가 언제 "각 a_i가 K 밖에 있다"고 읽으라고 함? "K 밖에 있는 각 a_i는"이라고 읽으라 했잖아. a_i들 중 K 밖에 있는 녀석들 각각을 생각하라고.
그래 말을 그렇게 했어야했는데 ㅇㅇ 나도 그렇게 이해는 함 그니까 K밖에 있는 각 alpha_i에 대해 그 alpha_i들은 totally inseparable element over K 란거 아님? 근데 책에서는 alpha_1,...,alpha_n이 전부 totally inseparable element over K 라고 하는듯해서 - dc App
왜 E가 K위에서 totally inseparable 인지 잘 모르겠음 - dc App
그니까 네가 해석을 잘못 했다니까... 책에서도 모든 a_i가 K 밖에 있다고 말하지 않았다고...
그리고 α가 K에 있으면 이미 K=K(α)잖아.
그런것같네 나도 처음에 그렇게 읽었는데 E가 K상의 totally inseparable ext이라고 하는부분이 이해가 안가서 다시읽다가 삑사리난듯 ㅋㅋ 그래서 그렇게 이해하는게 맞다면 E가 왜 K상의 totally inseparable ext이 되는지 어떻게 알수있는거야? - dc App
아 ㅇㅋ 알것같다 땡큐!! - dc App
After reindexing, α_1,...,α_k는 K에 있고, α_k+1,...,α_n은 E-K에 있다고 하자. 그럼 K=K(α_1,...,α_k)이고, α_k+1,...,α_n이 totally insep. over K이므로...