[論文レビュー] Higher Schur-multiplicator of a Finite Abelian Group

Mohammad Reza R. Moghaddam, Behrooz Mashayekhy|arXiv (Cornell University)|Apr 3, 2011

graph theory and CDMA systems参考文献 2被引用数 11

ひとこと要約

本稿では、有限アーベル群の高次シュール乗算子が、クラスが高々 $c \geq 1$ の冪零群の族に関して明示的な公式によって得られることを導出する。自由提示と自由積における基本交換子部分群を用いて、高次シュール乗算子が、重み $c+1$ の基本交換子によってインデックス付けられた巡回群のテンソル積の直和に同型であることを確立し、これはシュールの古典的結果を高次冪零クラスに一般化するものである。

ABSTRACT

In this paper we obtain an explicit formula for the higher Schur-multiplicator of an arbitrary finite abelian group with respect to the variety of nilpotent groups of class at most $c\geq 1$ .

研究の動機と目的

• シュールの古典的結果（シュール乗算子に関するもの）を高次冪零クラスに一般化すること。
• クラスが高々 $c\geq 1$ の冪零群の族に関して、有限アーベル群 $G$ の高次シュール乗算子 $\mathcal{N}_cM(G)$ の構造を特定すること。
• 重み $c+1$ の基本交換子に対応する巡回群のテンソル積の形で、$\mathcal{N}_cM(G)$ の明示的公式を提示すること。
• 自由積の提示と交換子計算を用いて、既知の古典的シュール乗算子の結果を高次冪零の場合に拡張すること。

提案手法

• 有限アーベル群 $G = \prod_{i=1}^t H_i$ に対して、$H_i \cong \mathbb{Z}_{r_i}$ であるとし、無限巡回群の自由積 $F = \ast_{i=1}^t F_i$ を用いて自由提示 $1 \to R \to F \to G \to 1$ を構成する。
• $S = \langle x_1^{r_1}, \dots, x_t^{r_t} \rangle^F$ および下降系列 $\rho_m(S) = [S, {}_{m-1}F]$ を定義し、$R \cap \gamma_{c+1}(F)$ の構造を分析する。
• ハルの定理を用いて、$\gamma_{c+1}(F)/\gamma_{c+2}(F)$ を $t$ 個の生成元における重み $c+1$ の基本交換子のなす群と同一視する。
• $T(H_1, \dots, H_t)_{c+1}$ を、重み $c+1$ の基本交換子に対応する巡回群 $H_i$ のテンソル積の直和として定義し、括弧の順序を保つ。
• $\gamma_{c+1}(F)/\rho_{c+1}(S)\gamma_{c+2}(F)$ と $T(H_1, \dots, H_t)_{c+1}$ の間の明示的同型を、交換子からテンソルへの写像によって誘導される準同型を用いて構成する。
• 帰納法と性質 $\mathbb{Z}_m \otimes \mathbb{Z}_n \cong \mathbb{Z}_{(m,n)}$ を用いて、テンソル積を巡回群の直和に分解する。

実験結果

リサーチクエスチョン

• RQ1 有限アーベル群 $G$ に対して、クラスが高々 $c$ の冪零群の族に関して、高次シュール乗算子 $\mathcal{N}_cM(G)$ の構造は何か？
• RQ2 アーベル群の場合に、高次シュール乗算子は古典的シュール乗算子 $M(G)$ をどのように一般化するか？
• RQ3 高次シュール乗算子は、有限アーベル群の不変因子を用いて明示的に表現できるか？
• RQ4 重み $c+1$ の基本交換子は、$\mathcal{N}_cM(G)$ の同型型を決定する上で果たす役割は何か？
• RQ5 $T(H_1, \dots, H_t)_{c+1}$ のテンソル積の分解が、群 $G$ の構造をどのように反映するか？

主な発見

• 高次シュール乗算子 $\mathcal{N}_cM(G)$ は、$G$ の生成元における重み $c+1$ の基本交換子に対応する巡回群のテンソル積の直和 $T(H_1, \dots, H_t)_{c+1}$ に同型である。
• $G \cong \mathbb{Z}_{n_1} \oplus \cdots \oplus \mathbb{Z}_{n_k}$ で $n_{i+1} \mid n_i$ であるとき、高次シュール乗算子は $\mathbb{Z}_{n_2}^{(b_2)} \oplus \mathbb{Z}_{n_3}^{(b_3 - b_2)} \oplus \cdots \oplus \mathbb{Z}_{n_k}^{(b_k - b_{k-1})}$ に同型である。ここで $b_i$ は $i$ 個の文字における重み $c+1$ の基本交換子の数を表す。
• すべての $c \geq 1$ に対して、同型 $\mathcal{N}_cM(G) \cong T(H_1, \dots, H_t)_{c+1}$ が成り立ち、これは $c=1$ の場合のシュールの元々の結果を一般化する。
• テンソル積 $\mathbb{Z}_{n_i} \otimes \mathbb{Z}_{n_j} \otimes \cdots \cong \mathbb{Z}_{(n_i, n_j, \dots)}$ を用いることで、テンソル和を巡回群の直和に簡略化できる。
• 最終的な分解における $\mathbb{Z}_{n_i}$ のコピーの数は $b_i - b_{i-1}$ である。ここで $b_i$ は $i$ 個の生成子における重み $c+1$ の基本交換子の数を数える。
• 証明は、$\gamma_{c+1}(F)/\rho_{c+1}(S)\gamma_{c+2}(F)$ と $T(H_1, \dots, H_t)_{c+1}$ の間の逆の準同型を構成することに依拠しており、交換子とテンソル積の普遍性により、これらが同型であることが示される。