Kを体,f(X)をK上既約なモニック多項式とするとき
K[x]/f(X)K[x] は体であることの証明で
∀g(X)+f(X)K[x]≠f(X)K[x] をK[X]/f(X)K(X)
の元とすると,
f(X)の約数は1またはf(X)のいずれかであるから
gcd(g(X),f(X))=1またはf(X)
・・・・・
このように書かれているのですが、2とか3とかはf(X)の約数ではない
のですか?
f(X)=2・(1/2)f(X)とはなぜ考えられないのですか?