2025年6月2日月曜日

ガロア理論入門(アルティン) 問11-3(2)

P117 p素数 Φp^n(x)=Φp(x^(p^(n-1)))が既約であることを示す問題の途中の変形がしばらくわからず悩む。

Φp(x^(p-1)+(pでわりきれる項)+1)={x^(p^(n-1))+(pでわりきれる項)}^(p-1)+(pで割り切れる項)+pとなる理由

∵前問で①Φp(x+1)=((x+1)^p-1)/((x+1)-1)=x^(p-1)+Σk=1~(p-2) pCk x^(p-k-1)+p が言えていたので、これを使うとよいことにきづく。今の場合、X=x^(p-1)+(pでわりきれる項) としてこれを①のxをXで置き換えるとうまくいくようです。

 前問をつかっているということに、きづかなかったためしばらく悩みました。よく読むと問題にも(1)と同様にして解く と書いてあるのを見逃していました。