如果 是一个 分次模,并且存在一个保次数的线性映射
,那么
被称为分次代数。
上同调 是一个分次代数。 此外,分次集 是 幺半群,具有相容关系,使得如果 在代数
的
次分次中,并且
在代数
的
次分次中,那么
在代数的
次分次中(其中
和
在
中相乘,并且
和
在索引幺半群中相乘)。 例如,空间的同调是整数上的分次代数(即,分次环),因为如果
是一个
维上同调类,并且
是一个
维上同调类,那么 杯积
是一个
维上同调类。