[논문 리뷰] Infinitely many not locally soluble $SI^*$-groups

Vahagn H. Mikaelian|arXiv (Cornell University)|2012. 01. 25.

Finite Group Theory Research참고 문헌 17인용 수 4

한 줄 요약

이 논문은 특정 자유 노름군을 특별히 선택한 와이어드 프로덕트를 통해 가산 $SI^*$-군을 두 생성자 $SI^*$-군에 통합하는 문장적 통합 기법을 사용하여, 상호 비동형이면서 국소적으로 가역적이지 않은 $SI^*$-군의 연속체를 구성한다. 핵심 기여는 이러한 군들이 생성하는 다양체의 집합이 연속체의 기수를 가지며, 이는 전체 군 다양체의 수와 일치함을 증명하는 것이다.

ABSTRACT

The class of those (torsion-free) $SI^*$-groups which are not locally soluble, has the cardinality of the continuum. Moreover, these groups are not only pairwise non-isomorphic, but also they generate pairwise different varieties of groups. Thus, the set of varieties generated by not locally soluble $SI^*$-groups is of the same cardinality as the set of all varieties of groups. It is possible to localize a variety of groups which contains all groups and varieties constructed. The examples constructed here continue the well known example of a not locally soluble $SI^*$-group built by Hall and by Kovács and Neumann.

연구 동기 및 목표

• 비가산 수의 국소적으로 가역적이지 않은 $SI^*$-군의 존재를 보여주는 것.
• 이 군들이 상호 비동형이며, 서로 다른 군 다양체를 생성함을 보여주는 것.
• 단 하나의 국소적으로 가역적이지 않은 $SI^*$-군을 구성하는 고전적 Hall-Kovács-Neumann 구성법을, 풍부한 구조적 다양성을 지닌 군의 가족으로 확장하는 것.
• 이 군들이 생성하는 다양체가 국소화될 수 있으며, 모든 구성된 예시를 포함함을 확립하는 것.
• 이 방법이 $SI$-군 및 $SN$-군과 같은 다른 일반화된 가역군 계열로의 적용 가능성을 탐색하는 것.

제안 방법

• Mikaelian(2002)의 문장적 통합 구성법을 활용하여, 가산 $SI^*$-군 $G$ 를 자유 노름군 $S$ 와의 와이어드 프로덕트를 통해 두 생성자 $SI^*$-군 $H=H(G,V)$ 로 통합한다.
• 그러나 $S$ 는 그 문장 부분군 $V(S)$ 가 비자명하고, $S$ 가 자신의 다양체를 분별함을 보장하도록 선택하여, 통합 과정이 $SI^*$-구조를 유지하도록 한다.
• Ol’shanskii의 $\mathfrak{G}_5 \cap \mathfrak{B}_{8qr}$ 내에서 연속체의 부분다양체를 생성하는 구성법을 응용하여, 비가산 수의 서로 다른 $SI^*$-군을 유도한다.
• 연속체의 매개변수로 인덱싱된 군의 가족에 대해 통합 과정을 적용하여, 비동형성과 서로 다른 다양체 생성을 보장한다.
• 초기 군 $G$ 와 자유 노름군 $S$ 에서의 선형 순서를 결과 와이어드 프로덕트 구조로 옮겨, 최종 $SI^*$-군들에 대한 선형 순서를 가능하게 한다.
• 구성에서 전체 프로덕트가 아니라, 와이어드 프로덕트의 부분군만을 사용한다는 사실을 활용하여, 선형 순서의 유지 가능성을 보존한다.

실험 결과

연구 질문

• RQ1 비가산 수의 상호 비동형이면서 국소적으로 가역적이지 않은 $SI^*$-군을 구성할 수 있는가?
• RQ2 이 군들이 상호 다른 군 다양체를 생성하는가?
• RQ3 국소적으로 가역적이지 않은 $SI^*$-군들이 생성하는 다양체의 집합은 모든 군 다양체의 집합과 같은 크기인가?
• RQ4 문장적 통합 방법을 다른 일반화된 가역군 계열, 예를 들어 $SI$-군 및 $SN$-군에 적용할 수 있는가?
• RQ5 이러한 $SI^*$-군들은 선형적으로 순서를 가질 수 있으며, 만약 그렇다면 순서는 구성 과정 동안 어떻게 유지되는가?

주요 결과

• 국소적으로 가역적이지 않은 $SI^*$-군의 집합은 연속체의 기수를 가진다.
• 구성된 $SI^*$-군들은 상호 비동형이며, 서로 다른 군 다양체를 생성한다.
• 국소적으로 가역적이지 않은 $SI^*$-군들이 생성하는 다양체의 집합은 모든 군 다양체의 집합과 같은 기수를 가진다.
• 모든 구성된 군을 포함하는 다양체는 국소화될 수 있으며, 이는 해당 방법을 통해 구축된 모든 예시를 포함함을 의미한다.
• 이 구성법은 Hall-Kovács-Neumann 예제를 일반화하여, 단 하나의 군이 아니라 연속체의 수의 군을 생성함으로써 확장된다.
• 구성된 군들은 선형적으로 순서를 가질 수 있으며, 이는 방법의 적용 범위를 순서가 있는 군 이론으로 확장한다.