[논문 리뷰] Higher Schur-multiplicator of a Finite Abelian Group

Mohammad Reza R. Moghaddam, Behrooz Mashayekhy|arXiv (Cornell University)|2011. 04. 03.

graph theory and CDMA systems참고 문헌 2인용 수 11

한 줄 요약

이 논문은 유한 아벨 군에 대해 낮추어진 다중군의 다양체에서의 높은 슈어-곱승자에 대한 명시적 공식을 유도한다. 자유 표현과 자유곱에서의 기본 교환자 부분군을 사용하여, 높은 슈어-곱승자는 기본 교환자에서의 무게 $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$ 이하의 다양체에 대해 높은 슈어-곱승자 $\mathcal{N}_cM(G)$ 의 구조를 규명하기 위해.
• 고전적 슈어-곱승자에 대한 명시적 공식을 $G$의 생성자에 해당하는 기본 교환자에서의 무게 $c+1$에 대응하는 순환군의 텐서곱으로 표현하기 위해.
• 자유곱 표현과 교환자 해석학을 사용하여 기존의 고전적 슈어-곱승자 결과를 더 높은 다중군의 경우로 확장하기 위해.

제안 방법

• 무한 순환군의 자유곱인 $F = \ast_{i=1}^t F_i$ 를 사용하여, $H_i \cong \mathbb{Z}_{r_i}$ 이고 $G = \prod_{i=1}^t H_i$ 인 유한 아벨 군 $G$ 에 대해 자유 표현 $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$ 기본 교환자 집합과 동형으로 식별하기 위해.
• 기본 교환자에서의 무게 $c+1$ 에 대응하는 순환군 $H_i$ 의 텐서곱의 직합으로서 $T(H_1, \dots, H_t)_{c+1}$ 을 정의하며, 괄호의 순서를 유지하기 위해.
• 교환자에서 텐서로의 사상에 의해 유도된 호모모르피즘을 통해 $\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}$ 사이의 역 호모모르피즘을 구성함으로써, 교환자와 텐서곱의 보편성 성질을 통해 이들이 동형임을 보여준다.