K2群(K2-group)
代数K理论中的一类重要的群.它是
施坦贝格群的中心.设尺为环，由抓XiJ(a)=e;定义群的满同态p:ST(R)E(R)，其中成表(ij)位置a的初等矩阵(参见“施坦贝格群”、“怀特海群”)，称此同态的核ker p为R的K:群，记为Kz (R).它是刻画形式上由初等矩阵的部分运算规律定义的(STIR)与初等矩阵群的差距的一个群.这个群是由米尔诺(Milnor, W. J.)定义的 .(STIR)的中心C(STR＞)正是KZ(R)，因此，KZ(R)是一个阿贝尔群.从群论的观点看，上述的同态甲为E (R)的泛中心扩张，从而KZ (R)为E(R)的泛中心扩张的核，并且KZ(R)是E(R)关于Z的第二个同调群.