Mod-p群上同调

这是Sage计算机代数系统的可选软件包。它计算有限群的模上同调环。它给出了上同调环的最小表示,可以计算各种环不变量(Poincaréseries,a-不变量,深度,…)以及零根和本质类。它首次完整地计算了128阶所有群的mod-2上同调环。并用它计算了各种有限单群的mod-p上同调(对于不同的素数p),包括第三个Conway群的mod-2上同调环的首次计算,表明该环是Cohen-Macaulay环。