格理想的极小自由分解

在特征为 0 或除有限多个正素数外的任意域上的多项式环上，构造了任意余阿廷（co-artinian）格理想的一个标准极小自由分解。其微分具有闭式组合描述，作为 $\mathbb{Z}^n$ 中格路径上权重的求和，这些权重来自由格点索引的单纯复形中的面序列。在任意特征的域上，通过沿格路径选取高维生成树类比的选择，构造了一个非标准但更简单的分解。这些构造通过将单项式理想的 sylvan 分解等变提升为格模，对其进行了推广。