Steenrod余代数III：基本群

在本注记中，我们扩展了先前的工作，证明了如果$X$和$Y$是delta复形（即没有退化算子的单纯集），则Steenrod余代数（配备额外结构的归一化链复形）的态射$g:N(X)\to N(Y)$诱导出2-骨架的态射$\hat{g}:X_{2}\to Y_{2}$，进而诱导出基本群同态$\pi_{1}(\hat{g}):\pi_{1}(X)\to\pi_{1}(Y)$，且若$g$是同构，则该同态也是同构。这蕴含了关于单纯集的未归一化链复形上的Steenrod余代数态射$g:C(X)\to C(Y)$的相应结论。