两种模 p Johnson 滤波

我们考虑由 Stallings 和 Zassenhaus 给出的自由群的两种模 p 中心列。将这些列应用于 Dennis Johnson 的映射类群滤波定义中，我们得到了两种模 p Johnson 滤波。此外，我们调整了 Johnson 同态的定义以获得模 p Johnson 同态。我们计算了第一个此类同态的像，并给出了这些同态核的生成元。利用 Morita 的工作，我们限制了模 p Johnson 同态的范围。最后，我们证明了 Perron 宣布的结果：有理同调 3-球可以表示为 Heegaard 分裂，其粘合映射来自我们模 p Johnson 滤波中的某些成员。