[論文レビュー] 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}$ の像を用いてその群を特徴づけ、$c \leq k < n_1$ に対して $\lambda(\mathcal{R}) = (G/G')^{p^k}$ であり、$\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$-群の中心自己同型の群がアーベルであるための必要十分条件を特定すること。
• クラス2の $p$-群に関してアドニーとエンが得た結果を、任意の有限な純粋非アーベル $p$-群へ拡張すること。
• 群 $G/G'$ と $Z(G)$ 間の準同型写像を用いて、非アーベル自己同型問題をアーベル群論の問題に還元すること。
• すべての $f,g \in \text{Hom}(B,A)$ に対して $f\lambda g = g\lambda f$ を満たすような準同型写像 $\lambda: A \to B$ であるc-写像を特徴づけ、それらを中心自己同型に応用すること。
• 中心自己同型の可換性と、写像 $\lambda$ による部分群 $\mathcal{R}$ の像との間の構造的関係を確立すること。

提案手法

• 中心自己同型 $\sigma \in \text{Aut}_c(G)$ と、$G/G'$ を通して因数分解する準同型写像 $\phi_\sigma: G \to Z(G)$ の間の一対一対応を用いる。
• $\lambda(x) = xG'$ で定義される写像 $\lambda: Z(G) \to G/G'$ を定義し、$G$ の中心とアーベル化を結びつける。
• 定理2.1を適用して、$\text{Aut}_c(G)$ がアーベルであるための必要十分条件が、$\lambda$ がc-写像（すなわち、すべての $f,g \in \text{Hom}(G/G', Z(G))$ に対して $f\lambda g = g\lambda f$）であることであることを示す。
• 問題を、$A = Z(G)$ と $B = G/G'$ として、巡回 $p$-群に分解された有限アーベル $p$-群に還元する。
• $n_1 = \text{exp}(A)$ とし、$\mathcal{R} \subseteq A$ を位数 $p^{n_1}$ の元の集合として定義し、$\lambda(\mathcal{R})$ を分析する。
• 非自明なc-写像 $\lambda$ が存在するための必要十分条件が、$c \leq k < n_1$ に対して $\lambda(\mathcal{R}) = B^{p^k}$ かつ $\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 $Z(G)$ 内の最大位数の元からなる部分群 $\mathcal{R}$ の像は、$\text{Aut}_c(G)$ の可換性とどのように関係するか？
• RQ4 $c \leq k < n_1$ に対して $\lambda(\mathcal{R}) = (G/G')^{p^k}$ かつ $\mathcal{R}/(Z(G) \cap G')$ が巡回群であるという条件が、アーベルな中心自己同型群をどのように特徴づけるか？
• RQ5 この特徴づけは、アドニーとエンによるクラス2の $p$-群に関する結果をどのように一般化するか？

主な発見

• 有限な純粋非アーベル $p$-群 $G$ の中心自己同型の群がアーベルであるための必要十分条件は、$\lambda(\mathcal{R}) \subseteq (G/G')^{p^{n_1}}$ または $c \leq k < n_1$ に対して $\lambda(\mathcal{R}) = (G/G')^{p^k}$ かつ $\mathcal{R}/(Z(G) \cap G')$ が巡回群であることである。
• $c \leq k < n_1$ に対して $\lambda(\mathcal{R}) = (G/G')^{p^k}$ という条件は、クラス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)$ が巡回群である場合に限ることを示している。