假设 是一个 Banach 代数,
是一个 Banach
-双模。对于
, 1, 2, ..., 令
为所有有界的 Banach 空间
-线性映射,从
到
,并带有多线性算子范数
(1)
|
和 。
的元素被称为
-维上链。考虑序列
(2)
|
其中
(3)
|
并且对于 , 1, 2, ...,
(4)
|
其中 ,
, 并且
。
序列 是一个复形,即,对于每个
,
。这个复形被称为
和
的标准上同调复形或 Hochschild-Kamowitz 复形。
阶 上同调群
被称为
-维(普通或 Hochschild)
的系数在
中的上同调群,并记为
。空间
和
分别记为
和
,它们的元素分别称为
-维上闭链和
-维上边缘。
(Helemskii 1989, 1993, 1997)。