证明了正则稳定凝聚环上的多项式环是正则的,并得到对于任何的正则稳定凝聚环R,皆有K0R[t1 ,… ,tn]同构于K0R成立.
It is proved that the polynomial ring R[t] over a regular stably coherent ring R is also regular, and obtained that K0R[t1 ,… ,tn] is isomorphic to K0R for any regular stably coherent ring R.