- 307 名前：現代数学の系譜 雑談 [2023/01/01(日) 20:12:17.37 ID:x1AjdVpC.net]
- >>273 補足
これが、知りたかったんだ
・β^5 =-η^4(η + 2)^2(η^2 + 2)(η^3 + 2)^4(η^4 + 2)^3 ∈Q(η)
・α =1/5{-1 + β +η^4(η + 2)(η^2 + 2)β^2 /11 +η^2(η + 2)(η^2 + 2)^2(η^4 + 2)β^3 /121 +η(η + 2)^2(η^2 + 2)^3(η^4 + 2)β^4 /1331}
・α∈K(b^1/5)、b∈Q(η) ｜ 基礎体K＝Q(η)、b＝β^5 （η = exp2πi/5= cos2π/5+ isin2π/5 1の5乗根）とおく
Kummer 拡大 一目瞭然！
