如果 是一個 分次模,並且存在一個保次數的線性對映
,那麼
被稱為分次代數。
上同調 是一個分次代數。 此外,分次集 是 么半群,具有相容關係,使得如果 在代數
的
次分次中,並且
在代數
的
次分次中,那麼
在代數的
次分次中(其中
和
在
中相乘,並且
和
在索引么半群中相乘)。 例如,空間的同調是整數上的分次代數(即,分次環),因為如果
是一個
維上同調類,並且
是一個
維上同調類,那麼 杯積
是一個
維上同調類。