推论164:F为域,对F[x]中的任一多项式 f(x)-定存在F上的根域。 例:由实数域R扩充建立复数域 RIx(x2+1=fa+bxa, bER) 令i=(x2+1)+0+1x =(x2+1)+(-1)为(x2+1)+1关于的逆元 简记为2=-1推论16.4:F为域, 对F[x]中的任一多项式 f(x)一定存在F上的根域。 例：由实数域R扩充建立复数域 R[x]/(x 2+1)={a+bx|a,bR} 令i=(x 2+1)+0+1x i 2=(x 2+1)+(-1)为(x 2+1)+1关于的逆元。 简记为i 2=-1