2016-03-17 代数的K理論 (2) math 群 の交換子群の普遍中心拡大の核を とする.演算を + で表す. を可換環とする. に対し, が定義され, のアーベル化を とする. は双準同型 を誘導する.