单位稳定环上的K_2(R,I)

若I为R的理想,λ_1:R→R/I,则S_t(λ_1):S_t(R)→S_t(R/I)的核,记为S_t(R,I),是由所有的x_(ij)(a)(a∈I)在S_t(R)中生成的正规子群。令φ表S_t(R,I)到E(R,I)上的同态映射,映射的核记为K_2(R,I)。由文献[1]知K_2(R,I)(?)CentSt(R,I)。