rmula_15 的像含于formula_24，其中 formula_25 是 formula_14 的所有正次子空间的直和。可交换微分分次代数 formula_27 的苏利文模型是从一苏利文代数 formula_14 到 formula_27 的代数同态，且在上同调上为同构。若 formula_30，则 formula_27 存在一个在同构意义上唯一的极小苏利文模型。（注意：一个拥有跟 formula_27 相同上同调的极小苏利文代数不一定是 formula_27 的极小苏利文模型，还须要求上同调的同