東大数理の院試(2019年度専門問2)の解答です.自分が作った解答は ここ に置いてあります.
a,b,cを1以上の整数とする.このとき多項式Xa+Yb+Zc∈C[X,Y,Z]は既約であることを示せ.
C[X,Y,Z]=C[Y,Z][X]でC[Y,Z]は UFD だから,C[Y,Z]の素元fであってYb+Zc∈(f),Yb+Zc∉(f2)となるものが存在すれば,Eisenstein の既約判定法によりXa+Yb+Zcは既約となる.よってfの存在を示せば良い.
Yb+Zc∈C[Y,Z]=C[Z][Y]はYについての次数がb≥1だから単元ではない.よってある素元fで割り切れる.今f2で割り切れるとするとYによる偏微分bYb−1もfで割り切れるから,(Yb+Zc)−Yb⋅bYb−1=Zcもfで割り切れる.これよりf=sZr(s∈C,r≤c)とおけるが,これは明らかにYb+Zcを割らないから矛盾.従ってこのfが条件を満たすから示された.
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。