0-配边幺半群容许一个无限线性无关集

在 $0$-配边关系下，$S^4$ 中纽结 2-球面的集合以连通和为运算构成一个交换幺半群 $\mathcal{M}_0$。Sunukjian 最近证明了 $\mathcal{M}_0$ 包含一个同构于 $\mathbb{Z}^{\ge 0}$ 的子幺半群。在本注中，我们证明 $\mathcal{M}_0$ 包含一个同构于 $(\mathbb{Z}^{\ge 0})^\infty$ 的子幺半群。我们的论证将 $0$-配边幺半群与（自旋）有理同调配边群中某些 Seifert 实体的线性无关性联系起来。