[论文解读] On Polynilpotent Covering Groups of a Polynilpotent Group

Behrooz Mashayekhy, Mahboobeh Alizadeh Sanati|arXiv (Cornell University)|Mar 26, 2011

graph theory and CDMA systems参考文献 8被引用 3

一句话总结

本文建立了多项幂零覆盖群不存在的充分条件，推广了关于幂零与可解覆盖群的先前结果。证明表明，若群 $G$ 的 $(c_1,\ldots,c_{t+1})$-多项幂零乘子非平凡，则 $G$ 无法拥有 $(c_1,\ldots,c_{t+1})$-多项幂零覆盖群，从而将早期关于幂零与可解群的结果推广至更广泛的多项幂零群情形。

ABSTRACT

Let ${\cal N}_{c_1,...,c_t}$ be the variety of polynilpotent groups of class row $(c_1,...,c_t)$. In this paper, first, we show that a polynilpotent group $G$ of class row $(c_1,...,c_t)$ has no any ${\cal N}_{c_1,...,c_t,c_{t+1}}$-covering group if its Baer-invariant with respect to the variety ${\cal N}_{c_1,...,c_t,c_{t+1}}$ is nontrivial. As an immediate consequence, we can conclude that a solvable group $G$ of length $c$ with nontrivial solvable multiplier, ${\cal S}_nM(G)$, has no ${\cal S}_n$-covering group for all $n>c$, where ${\cal S}_n$ is the variety of solvable groups of length at most $n$. Second, we prove that if $G$ is a polynilpotent group of class row $(c_1,...,c_t,c_{t+1})$ such that ${\cal N}_{c'_1,...,c'_t,c'_{t+1}}M(G) eq 1$, where $c'_i\geq c_i$ for all $1\leq i\leq t$ and $c'_{t+1}>c_{t+1}$, then $G$ has no any ${\cal N}_{c'_1,...,c'_t,c'_{t+1}}$-covering group. This is a vast generalization of the first author's result on nilpotent covering groups (Indian\ J.\ Pure\ Appl.\ Math.\ 29(7)\ 711-713,\ 1998).

研究动机与目标

• 确定多项幂零群在何种条件下缺乏针对给定多项幂零群种类的覆盖群。
• 将先前关于幂零与可解覆盖群不存在性的结果推广至更广泛的多项幂零群情形。
• 基于高阶多项幂零乘子的非平凡性，建立覆盖群缺失的判别准则。
• 将 $\cal V$-覆盖群理论扩展至任意类行的多项幂零群种类。

提出的方法

• 使用 Baer-不变量（多项幂零乘子）${\cal N}_{c_1,\ldots,c_t}M(G)$ 的定义，即 $R \cap \gamma_{c_t+1} \circ \cdots \circ \gamma_{c_1+1}(F) / [R,_{c_1}F,_{c_2}\gamma_{c_1+1}(F),\ldots,_{c_t}\gamma_{c_{t-1}+1}\circ\cdots\circ\gamma_{c_1+1}(F)]$。
• 应用 $\cal V$-覆盖群的概念，其中 $G^*$ 是满足 $G^*/A \simeq G$，$A \simeq {\cal V}M(G)$，且 $A \subseteq V(G^*) \cap V^*(G^*)$ 的群。
• 引入迭代下中心列的记号：$\rho_i(G^*) = \gamma_{c_i+1}(\rho_{i-1}(G^*))$ 与 $\rho'_i(G^*) = \gamma_{c'_i+1}(\rho'_{i-1}(G^*))$，用于类行比较。
• 利用群论中的包含关系与涉及迭代换位子与下中心列项的恒等式，当乘子非平凡时导出矛盾。
• 使用带余除法与对迭代换位子子群的归纳法，证明 $\gamma_c(\rho'_t(G^*)) = 1$ 蕴含 $\rho'_{t+1}(G^*) = 1$，与 $A \simeq {\cal N}_{c'_1,\ldots,c'_{t+1}}M(G) \neq 1$ 矛盾。
• 依赖边际子群与词性子群的结构，分析覆盖群无法存在的条件。

实验结果

研究问题

• RQ1 多项幂零群 $G$ 的类行 $(c_1,\ldots,c_t)$ 在何种条件下无法拥有 $\cal N_{c_1,\ldots,c_t,c_{t+1}}$-覆盖群？
• RQ2 $(c_1,\ldots,c_t,c_{t+1})$-多项幂零乘子的非平凡性如何与覆盖群的存在性相关？
• RQ3 能否将幂零覆盖群不存在性的结果推广至具有更高类行的多项幂零群？
• RQ4 当乘子非平凡且目标类行超过原始类行时，潜在覆盖群中会产生何种结构性约束？
• RQ5 迭代下中心列与换位子恒等式如何约束 $\cal V$-覆盖群的存在性？

主要发现

• 若多项幂零群 $G$ 的 $(c_1,\ldots,c_t,c_{t+1})$-多项幂零乘子非平凡，则 $G$ 不存在 $\cal N_{c_1,\ldots,c_t,c_{t+1}}$-覆盖群。
• 若可解群 $G$ 的长度为 $c$，且其可解乘子 $\cal S_nM(G)$ 非平凡，则对所有 $n > c$，$G$ 不存在 $\cal S_n$-覆盖群。
• 若 $G$ 是类行为 $(c_1,\ldots,c_t,c_{t+1})$ 的多项幂零群，且 $\cal N_{c'_1,\ldots,c'_{t+1}}M(G) \neq 1$，其中 $c'_i \geq c_i$ 对所有 $1 \leq i \leq t$ 成立，且 $c'_{t+1} > c_{t+1}$，则 $G$ 不存在 $\cal N_{c'_1,\ldots,c'_{t+1}}$-覆盖群。
• 证明依赖于通过推导矛盾，表明假想覆盖群中正规子群 $A$ 必须平凡，与 $A \simeq \cal N_{c'_1,\ldots,c'_{t+1}}M(G) \neq 1$ 矛盾。
• $c'_{t+1} > c_{t+1}$ 的条件至关重要，因为当 $c'_{t+1} = c_{t+1}$ 时存在反例，表明非平凡乘子并不总能排除覆盖群的存在。
• 该结果推广了第一作者关于幂零覆盖群的早期工作，并将 $\cal V$-覆盖群理论扩展至多项幂零种类。