F[x]是域F上的多项式环,若f(x)和g(x)是F[x]中不同的不可约多项式,则F[x]/和F[x]/就是两个不同的商域.