[论文解读] On the Nilpotent Multiplier of a Free Product

Behrooz Mashayekhy|arXiv (Cornell University)|Mar 30, 2011

Geometric and Algebraic Topology参考文献 10被引用 13

一句话总结

本文证明了$c$-幂零乘子（即对阶数至多为$c$的幂零群这一簇的Baer不变量）与互素阶的循环群的自由积可交换。利用Burns与Ellis的同调结果，作者证明了$M^{(c)}(C_1 * \cdots * C_t) \cong \bigoplus M^{(c)}(C_i)$，且由于每个$M^{(c)}(C_i) = 1$（对循环群而言），因此该自由积的$c$-幂零乘子是平凡的，从而确认了在此条件下函子的兼容性。

ABSTRACT

In this paper, using a result of J. Burns and G. Ellis (Math. Z. 226 (1997) 405-28.), we prove that the $c$-nilpotent multiplier (the Baer-invariant with respect to the variety of nilpotent groups of class at most $c$, ${\cal N}_c$.) {\it does commute} with the free product of cyclic groups of mutually coprime order.

研究动机与目标

• 研究$c$-幂零乘子函子$M^{(c)}(-)$是否保持自由积，特别是对互素阶的循环群。
• 确定在何种条件下，一群自由积的$c$-幂零乘子同构于各因子乘子的直和。
• 将已知的关于Schur乘子（保持余积）的结果推广至更高阶的幂零乘子。
• 建立对于互素阶的循环群，其自由积的$c$-幂零乘子为平凡的结论。

提出的方法

• 利用Burns与Ellis（2000年）关于自由积的第二阶幂零乘子结构的关键结果。
• 应用$c$-幂零乘子的定义：对于自由表示$F/R = G$，有$M^{(c)}(G) = \frac{R \cap \gamma_{c+1}(F)}{[R,_{c}F]}$。
• 使用记号$\rho_n(S)$表示自由群$F$中由$S = \langle r_1^F, \dots, r_t^F \rangle$生成的词性子群，其中$S$为关系的正规包。
• 通过归纳法与换位子恒等式，证明在循环群阶数两两互素的假设下，对所有$n \geq 1$，有$S \cap \gamma_n(F) = \rho_n(S)$。
• 利用$\gamma_{c+1}(F)/\gamma_{c+2}(F)$是基本换位子生成的自由阿贝尔群这一事实，推导出当关系为互素阶幂时，商群为平凡。
• 通过直接计算得出结论：由于$M^{(c)}(C_i) = 1$（对循环群而言），且自由积的乘子为平凡，因此$c$-幂零乘子函子保持余积（自由积）。

实验结果

研究问题

• RQ1 $c$-幂零乘子函子是否保持群的自由积，特别是对互素阶的循环群？
• RQ2 在何种条件下，有$M^{(c)}(G_1 * G_2) \cong M^{(c)}(G_1) \oplus M^{(c)}(G_2)$？
• RQ3 为何互素阶循环群的自由积的$c$-幂零乘子为零？
• RQ4 互素阶条件如何影响自由积的$c$-幂零乘子的结构？

主要发现

• 互素阶循环群的自由积的$c$-幂零乘子为平凡：对所有$c \geq 1$，有$M^{(c)}(C_1 * \cdots * C_t) = 1$。
• 对每个循环群$C_i$，均有$M^{(c)}(C_i) = 1$，因此乘子的直和也为平凡。
• 在互素阶假设下，等式$S \cap \gamma_{c+1}(F) = \rho_{c+1}(S)$成立，这是乘子平凡性的关键。
• 证明依赖于关系$\rho_n(S) \cap \gamma_{n+1}(F) = \rho_{n+1}(S)$，该关系通过归纳法与自由群中的换位子恒等式建立。
• 结果确认了当因子为互素阶循环群时，$c$-幂零乘子函子在群范畴中保持余积（自由积）。