2008-04-27 練習82 ヒントどおりでよい。nは素因数分解できるので、因子p^m以外をαとおきなおせば、ヒントのときが使える。仮定から ちょっと変な表記だけど、F=F(α^n)なので、F⊂F(α^p^m-1)⊂....⊂F(α^p)⊂F(α)となり、素数形純拡大。 αを他の因子で書き直せば、塔はE/Fまで延長できる。