[논문 리뷰] On Polynilpotent Covering Groups of a Polynilpotent Group

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

graph theory and CDMA systems참고 문헌 8인용 수 3

한 줄 요약

이 논문은 다항_nilpotent 덮개군의 존재하지 않음을 위한 충분조건을 확립하며, 이는 이전의 nilpotent 및 solvable 덮개군에 대한 결과를 일반화한다. 다항_nilpotent 군 G의 $(c_1,\ldots,c_{t+1})$-다항_nilpotent 승수(멀티플라이어)가 자명하지 않다면, G는 $(c_1,\ldots,c_{t+1})$-다항_nilpotent 덮개군을 가질 수 없으며, 이는 이전의 nilpotent 및 solvable 군에 대한 결과를 확장한다.

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).

연구 동기 및 목표

• 주어진 다항_nilpotent 군의 다양체에 대해 다항_nilpotent 군이 덮개군을 갖지 않는 조건을 규명하는 것.
• 이전의 nilpotent 및 solvable 덮개군의 존재하지 않음 결과를 더 넓은 다항_nilpotent 군의 맥락으로 일반화하는 것.
• 높은 차수의 다항_nilpotent 승수의 자명하지 않은 성질에 기반한 덮개군 부재 기준을 설정하는 것.
• 임의의 계급 행을 가진 다항_nilpotent 군의 다양체로 $\cal V$-덮개군 이론을 확장하는 것.

제안 방법

• Baer-불변량(다항_nilpotent 승수) ${\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 계급 행 $(c_1,\ldots,c_t)$ 를 가진 다항_nilpotent 군 $G$ 가 $\cal N_{c_1,\ldots,c_t,c_{t+1}}$-덮개군을 갖지 않는 조건은 무엇인가?
• RQ2 $(c_1,\ldots,c_t,c_{t+1})$-다항_nilpotent 승수의 자명하지 않은 성질이 덮개군 존재성과 어떻게 관련되는가?
• RQ3 nilpotent 덮개군의 부재 결과를 더 높은 계급 행을 가진 다항_nilpotent 군으로 일반화할 수 있는가?
• RQ4 승수가 자명하지 않고 목표 계급이 원래 계급을 초과할 경우 잠재적 덮개군에 어떤 구조적 제약이 발생하는가?
• RQ5 반복된 하위 중심계열과 교환자 항등식은 ${\cal V}$-덮개군 존재성에 어떤 제약을 가하는가?

주요 결과

• 다항_nilpotent 군 $G$ 의 $(c_1,\ldots,c_t,c_{t+1})$-다항_nilpotent 승수가 자명하지 않다면, $G$ 는 $\cal N_{c_1,\ldots,c_t,c_{t+1}}$-덮개군을 갖지 않는다.
• 길이 $c$ 인 solvable 군 $G$ 가 자명하지 않은 solvable 승수 $\cal S_nM(G)$ 를 가진다면, 모든 $n > c$ 에 대해 $\cal S_n$-덮개군을 갖지 않는다.
• 만약 $G$ 가 계급 행 $(c_1,\ldots,c_t,c_{t+1})$ 을 가진 다항_nilpotent 군이고, $\cal N_{c'_1,\ldots,c'_{t+1}}M(G) \neq 1$ 이며, $1 \leq i \leq t$ 에 대해 $c'_i \geq c_i$ 이고 $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}$ 일 경우 반례가 존재하여 자명하지 않은 승수가 항상 덮개군의 존재를 금지하지는 않음을 보여준다.
• 이 결과는 제1저자가 이전에 수행한 nilpotent 덮개군에 대한 작업을 일반화하며, $\cal V$-덮개군 이론을 다항_nilpotent 다양체로 확장한다.