[논문 리뷰] A combinatorial problem in infinite groups

Aliréza Abdollahi|ArXiv.org|2002. 12. 02.

Finite Group Theory Research참고 문헌 42인용 수 3

한 줄 요약

이 논문은 단어 $ w = 1 $ 로 정의된 군의 다양체와 모든 무한 튜플의 부분집합들이 $ w = 1 $ 의 해를 포함한다는 더 강한 조건 $ w^* $ 사이의 관계를 조사한다. 국소 유한성, 국소 가역성 또는 유한 랭크 등의 특정 유한성 및 구조 조건이 만족될 경우, $ w^* $ 를 만족하는 군은 실제로 다양체 $ \mathcal{V}(w) $ 에 속해야 하며, 이는 넓은 범위의 군에서 $ \mathcal{V}(w) \cup \mathcal{F} = \mathcal{V}(w^*) $ 를 성립시킨다.

ABSTRACT

Let $w$ be a word in the free group of rank $n \in \mathbb{N}$ and let $\mathcal{V}(w)$ be the variety of groups defined by the law $w=1$. Define $\mathcal{V}(w^*)$ to be the class of all groups $G$ in which for any infinite subsets $X_1, ..., X_n$ there exist $x_i \in X_i$, $1\leq i\leq n$, such that $w(x_1, ..., x_n)=1$. Clearly, $\mathcal{V}(w) \cup \mathcal{F} \subseteq \mathcal{V}(w^*)$; $\mathcal{F}$ being the class of finite groups. In this paper, we investigate some words $w$ and some certain classes $\mathcal{P}$ of groups for which the equality $(\mathcal{V}(w) \cup \mathcal{F})\cap \mathcal{P}= \mathcal{P} \cap \mathcal{V}(w^*)$ holds.

연구 동기 및 목표

• 모든 무한 튜플의 부분집합들이 $ w = 1 $ 의 해를 포함하는 군으로 구성된 $ \mathcal{V}(w^*) $ 의 군들에 대해 $ \mathcal{V}(w) \cup \mathcal{F} = \mathcal{V}(w^*) $ 를 해결하는 것.
• 국소 유한성, 국소 가역성, 유한 랭크 등의 구조 조건이 $ \mathcal{V}(w^*) $-군이 반드시 $ \mathcal{V}(w) $ 에 속하도록 하는 조건을 규명하는 것.
• 이전의 엔겔 군, 단순 군, 노름 군 및 메타아벨 군에 대한 결과를 일반화하여, 더 넓은 군의 범주로 등식을 확장하는 것.
• 특정 무한 단순 또는 국소 유한 부분군이 $ \mathcal{V}(w^*) $-군에 존재하지 않는다는 분석을 통해 등식 문제를 단순화하는 것.

제안 방법

• 모든 $ n $ 개의 무한 부분집합에 대해, 각 부분집합에서 추출한 원소들이 $ w(x_1,\dots,x_n) = 1 $ 을 만족하는 군들의 집합으로서 $ \mathcal{V}(w^*) $ 를 정의한다.
• 특히 최소화 군, 유한 잔여 구조, 유한 랭크 가역 군에 관한 결과를 포함한 구조적 군 이론을 적용한다.
• 크로플러의 정리를 이용하여, $ C_p \text{wr} C_\infty $ 와 동형인 부분군을 갖지 않는 유한 생성 가역 군은 최소화 군임을 보인다.
• 잔여 유한성 및 국소 순서가 있는 군에 관한 결과를 적용하며, 특히 무한 국소 순서가 있거나 유한 랭크인 군이 $ \mathcal{V}(w^*) $ 에 속해 있다면 반드시 $ \mathcal{V}(w) $ 에 속한다는 사실을 활용한다.
• 특정 군들인 $ M(\alpha,p) $ 와 $ C_q \text{wr} C_\infty $ 가 장애물 역할을 하는 것을 분석: 이러한 군들이 $ \mathcal{V}(w) $ 에 속하지 않는 한, $ \mathcal{V}(w^*) $-군은 반드시 $ \mathcal{V}(w) $ 에 속해야 한다.
• 부정법을 통해 부분군 이론을 활용: $ \mathcal{V}(w^*) $ 에 속하지만 $ \mathcal{V}(w) $ 에 속하지 않는 군이 존재한다면, 그 군은 무한 단순 부분군을 가져야 하는데, 주어진 조건 하에서는 이를 배제할 수 있다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 단어 $ w $ 와 군의 범주 $ \mathcal{P} $ 에 대해 $ \mathcal{V}(w^*) \cap \mathcal{P} = (\mathcal{V}(w) \cup \mathcal{F}) \cap \mathcal{P} $ 가 성립하는가?
• RQ2 $ \mathcal{V}(w) \cup \mathcal{F} = \mathcal{V}(w^*) $ 가 무한 국소 가역성 또는 유한 랭크 군에 대해 성립할 수 있는가?
• RQ3 $ C_p \text{wr} C_\infty $ 와 $ M(\alpha,p) $ 와 같은 특정 군들이 $ \mathcal{V}(w^*) = \mathcal{V}(w) \cup \mathcal{F} $ 의 등식을 방해하거나 가능하게 하는 데 어떤 역할을 하는가?
• RQ4 $ \mathcal{V}(w^*) $ 에서 무한 선형 단순 국소 유한 군이 존재하지 않는다는 것은 $ \mathcal{V}(w^*) $-군이 반드시 $ \mathcal{V}(w) $ 에 속한다는 것을 의미하는가?
• RQ5 국소 유한성, 국소 가역성, 잔여 유한성 등의 성질이 $ w^* $-조건과 어떻게 상호작용하여 군이 $ \mathcal{V}(w) $ 에 속하도록 강제하는가?

주요 결과

• 모든 유한 생성 국소 순서가 있는 제약 있는 군이 $ \mathcal{V}(w^*) $ 에 속해 있다면, $ \mathcal{V}(w) $ 에 속하는 것으로 밝혀지며, 이는 $ \mathcal{V}(w) $ 에 속하는 모든 유한 생성 잔여 유한 군이 다항식-유한임을 전제로 한다.
• 모든 무한 잔여 [(국소 $ \mathcal{P} $)-유한] 군이 $ \mathcal{V}(w^*) $ 에 속해 있다면, $ \mathcal{V}(w) $ 에 속하는 것으로 밝혀지며, 이는 $ \mathcal{P} $ 가 부분군에 대해 닫혀 있고 가역 군으로 구성되며, $ (\mathcal{P} \text{ by finite}) $-군에 대해 등식이 성립함을 전제로 한다.
• 모든 무한 국소 가역 군이 $ \mathcal{V}(w^*) $ 에 속해 있다면, $ \mathcal{V}(w) $ 에 속하는 것으로 밝혀지며, 이는 모든 소수 $ q $ 에 대해 $ C_q \text{wr} C_\infty \not\in \mathcal{V}(w) $ 이거나, 모든 $ p \geq 0 $ 에 대해 $ M(\alpha,p) \not\in \mathcal{V}(w) $ 라는 조건을 전제로 한다.
• 비선형 단순 국소 유한 군은 $ \mathcal{V}(w^*) $ 에 속하지 않으며, 이는 $ \mathcal{V}(w) \cup \mathcal{F} = \mathcal{V}(w^*) $ 의 등식에 대한 반례를 제거하는 데 기여한다.
• 가역 단어 $ w = w_d $ 에 대해, 무한 국소 유한 $ \mathcal{V}(w^*) $-군이 $ \mathcal{V}(w) $ 에 속하는 것은 그 군이 무한 선형 단순 국소 유한 부분군을 갖지 않을 때이고, 그 경우에만 성립한다.
• 무한 국소 가역 유한 랭크 군이 $ \mathcal{V}(w^*) $ 에 속해 있다면, 그 군은 최소화 군이므로 필요한 유한성 조건을 만족하므로 $ \mathcal{V}(w) $ 에 속한다.