>>696
「本に書いてある」というのは基底であることの証明ではなく多項式環の構成でしたか
それなら>>677の括弧は取り下げますね
で、その構成から1,x,1+xがどう(一次独立であるとした上で)K[x]の基底になるのか説明をお願いします

>>687はつまりK(y)[x,y]ということですか
()内と[]内のyは同じものですよね？それならK(y)[x,y]=K(y)[x]となり体K(y)係数の一変数多項式環になりますけど