关于计算 $\mathrm{Ext}_{\mathcal A}^{k,k+*}(\mathbb{Z}/2,\mathbb{Z}/2)$ for $k \leq 5$ 的研究

本文介绍了一种用于确定mod 2 Steenald代数 cohomology $\mathrm{Ext}_{\mathcal A}^{k, k+*}(\mathbb{Z}/2, \mathbb{Z}/2)$ for $k \leq 5$ 的计算算法，基于Chen [2]中已知的生成元和Adams关系。本算法的目的是验证我们纠正后的论文 [8, 9, 10]中 $\mathrm{Ext}_{\mathcal A}^{4, 4+*}(\mathbb{Z}/2, \mathbb{Z}/2)$的hand-computed结果。结合我们最新工作 [11, 12]，现在可以完成第四个代数传递在特定次数中domain和codomain的验证。