0907132人目の素数さん
2024/01/21(日) 11:55:46.94ID:dATnLzNBありがと
ちょっとは勉強しているのかな?
草場の本持ってる?
草場の本で、定理6.11 正規底定理の前の 定理6.10は、
”Fが1の原始n乗根を含んでいるとき、Fのn次の巡回拡大KはFのベキ根拡大で
あるα∈F があって、K=F(n√α)”
である なのです
だから、定理6.10に使う補助定理としては、足立本で間に合います
あと、>>900 補題13.3 (デデキント) 中野 伸(教授)学習院 も見てください