极大理想环及其Grothendieck群

重新定义了极大理想环,确定了Grothendieck群,从而推广了[3]的结果,另外还指出了[3]的错误。