[代數] field extension and automorphism

看板Math作者 (微涼的風)時間12年前 (2013/08/22 16:53), 編輯推噓2(206)
留言8則, 2人參與, 最新討論串1/1
我自己想了2個命題: Let F be a field and K be its extension field. Given r \in K and consider G=Aut(K/F). (G is the group of automorphisms of K fixing F.) Assume that [K:F] is finite. Then 1. If g(r) \in F for all nonidentity g \in G, then r \in F. 2. If g(r)=r for all g \in G, then r \in F. --- 這2個命題都可以證的出來 我的問題是:如果不是 finite extension 的話, 這2個結論會對嗎? 有沒有反例? 或是有沒有資料可以參考? 我書上都沒有找到 謝謝! -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.109.105.70

08/22 19:29, , 1F
你應該assume K/F是Galois, 1, 2才會對
08/22 19:29, 1F

08/22 19:32, , 2F
infinite也會對,根據infinite Galois theory.
08/22 19:32, 2F

08/23 08:54, , 3F
原本一開始是考慮Galois, 但後來發現證明過程不需要
08/23 08:54, 3F

08/23 08:55, , 4F
只需要finite extension. 謝謝 我再去找找看資料~
08/23 08:55, 4F

08/23 19:06, , 5F
我送你個反例吧: F = F_p(x), K = F[x^{1/p}]
08/23 19:06, 5F

08/23 19:06, , 6F
K/F是purely inseparable, 所以Aut(K/F) = 1
08/23 19:06, 6F

08/26 13:19, , 7F
謝謝, 第二個命題我證明有誤, 第一個應該是沒問題的
08/26 13:19, 7F

08/26 13:20, , 8F
因為Aut(K/F)是finite的~
08/26 13:20, 8F
文章代碼(AID): #1I5T5o-g (Math)