[论文解读] Abelian Groups, Homomorphisms and Central Automorphisms of Nilpotent Groups

Ayan Mahalanobis|ArXiv.org|Feb 14, 2006

Coding theory and cryptography参考文献 14被引用 3

一句话总结

本文通过将问题简化为研究满足交换性条件的同态（即 c-映射），将有限纯非交换 $p$-群的中心自同构群为阿贝尔群的必要且充分条件归约为对阿贝尔群之间同态的研究。关键结果通过映射 $\lambda: Z(G) \to G/G'$ 下特定子群 $\mathcal{R}$ 的像来刻画此类群，表明 $\lambda(\mathcal{R}) = (G/G')^{p^k}$ 对于 $c \leq k < n_1$ 成立，且 $\mathcal{R}/(Z(G) \cap G')$ 是循环群。

ABSTRACT

In this paper we find a necessary and sufficient condition for a finite nilpotent group to have an abelian central automorphism group.

研究动机与目标

• 确定有限纯非交换 $p$-群的中心自同构群为阿贝尔群的必要且充分条件。
• 将 Adney 和 Yen 关于类为 2 的 $p$-群的结果推广至任意有限纯非交换 $p$-群。
• 通过 $G/G'$ 与 $Z(G)$ 之间的同态，将非交换自同构问题约化为阿贝尔群论问题。
• 刻画 c-映射——即满足对所有 $f,g \in \text{Hom}(B,A)$ 有 $f\lambda g = g\lambda f$ 的同态 $\lambda: A \to B$——并将其应用于中心自同构。
• 建立中心自同构交换性与子群 $\mathcal{R}$ 在映射 $\lambda$ 下像之间的结构联系。

提出的方法

• 利用中心自同构 $\sigma \in \text{Aut}_c(G)$ 与通过 $G/G'$ 因子的同态 $\phi_\sigma: G \to Z(G)$ 之间的一一对应关系。
• 定义映射 $\lambda: Z(G) \to G/G'$ 为 $\lambda(x) = xG'$，从而建立 $G$ 的中心与其交换化之间的联系。
• 应用定理 2.1，证明 $\text{Aut}_c(G)$ 为阿贝尔群当且仅当 $\lambda$ 是一个 c-映射，即对所有 $f,g \in \text{Hom}(G/G', Z(G))$ 有 $f\lambda g = g\lambda f$。
• 将问题约化为有限阿贝尔 $p$-群 $A = Z(G)$ 与 $B = G/G'$，并将其分解为循环 $p$-群的直和。
• 定义 $\mathcal{R} \subseteq A$ 为阶为 $p^{n_1}$ 的元素集合，其中 $n_1 = \text{exp}(A)$，并分析 $\lambda(\mathcal{R})$。
• 证明 $\lambda$ 是非平凡 c-映射当且仅当 $\lambda(\mathcal{R}) = B^{p^k}$ 对于 $c \leq k < n_1$ 成立，且 $\mathcal{R}/\ker(\lambda)$ 是循环群，其中 $c = \text{exp}(Z(G) \cap G')$。

实验结果

研究问题

• RQ1 何时有限纯非交换 $p$-群的中心自同构群为阿贝尔群？
• RQ2 中心 $Z(G)$ 与交换化 $G/G'$ 的何种结构性条件可确保诱导映射 $\lambda: Z(G) \to G/G'$ 是一个 c-映射？
• RQ3 子群 $\mathcal{R}$（即 $Z(G)$ 中阶最大的元素构成的子群）在 $\lambda$ 下的像如何与 $\text{Aut}_c(G)$ 的交换性相关？
• RQ4 为何条件 $\lambda(\mathcal{R}) = (G/G')^{p^k}$ 对于 $c \leq k < n_1$ 且 $\mathcal{R}/(Z(G) \cap G')$ 为循环群能刻画阿贝尔中心自同构群？
• RQ5 该刻画如何推广 Adney 和 Yen 对类为 2 的 $p$-群的结果？

主要发现

• 有限纯非交换 $p$-群 $G$ 的中心自同构群为阿贝尔群当且仅当 $\lambda(\mathcal{R}) \subseteq (G/G')^{p^{n_1}}$ 或 $\lambda(\mathcal{R}) = (G/G')^{p^k}$ 对于 $c \leq k < n_1$ 成立，且 $\mathcal{R}/(Z(G) \cap G')$ 是循环群。
• 条件 $\lambda(\mathcal{R}) = (G/G')^{p^k}$ 且 $c \leq k < n_1$ 推广了 Adney 和 Yen 对类为 2 的 $p$-群的结果，其中 $\lambda(\mathcal{R}) = (G/G')^{p^c}$ 且 $\mathcal{R}/G' \cong \langle x_1^{p^c}G' \rangle$。
• 非平凡 c-映射 $\lambda: A \to B$ 存在当且仅当 $\lambda(\mathcal{R}) = p^k B$ 且 $c \leq k < n_1$，同时 $\mathcal{R}/\ker(\lambda)$ 是循环群，其中 $A = Z(G)$，$B = G/G'$，$c = \text{exp}(Z(G) \cap G')$。
• 若 $\text{exp}(\ker(\lambda)) = \text{exp}(\text{coker}(\lambda))$，则 $\lambda(\mathcal{R}) = p^c B$，这恢复了类为 2 的情形。
• $\mathcal{R} \subseteq Z(G)$ 是所有阶为 $p^{n_1}$ 的元素构成的子群，其中 $n_1 = \text{exp}(Z(G))$，在确定 $\text{Aut}_c(G)$ 的交换性中起核心作用。
• 证明依赖于分析同态 $f,g \in \text{Hom}(B,A)$ 对 $\lambda$ 的作用，表明 $f\lambda g = g\lambda f$ 成立当且仅当 $\lambda(\mathcal{R})$ 位于 $B$ 的特定幂中，且商群 $\mathcal{R}/\ker(\lambda)$ 是循环群。