[논문 리뷰] Groups in simple theories

Frank Olaf Wagner|ArXiv.org|1997. 04. 25.

Advanced Topology and Set Theory참고 문헌 5인용 수 16

한 줄 요약

이 논문은 단순(first-order) 이론에서 정의 가능한 군의 기초적인 구조적 성질을 확립하며, 이러한 군이 공명성(commensurability)에 대해 체인 조건을 만족하고, 일기본(one-based) 단순 군이 유한-아벨-유한임을 보여준다. 안정 군 이론의 결과들을 단순한 설정으로 확장하여, 작고, 내부 몫이 존재함을 증명하고, 초단순 초수의 경우 베르린-라스카르 분해가 성립함을 보인다.

ABSTRACT

Groups definable in simple theories retain the chain conditions and decomposition properties known from stable groups, up to commensurability. In the small case, if a generic type of G is not foreign to some type q, there is a q-internal quotient. In the supersimple case, the Berline-Lascar decomposition works. One-based simple groups are finite-by-abelian-by-finite.

연구 동기 및 목표

• . 이 논문은 안정 군 이론에서의 핵심 구조 결과들을 단순 이론 내 군으로 확장하는 것을 목적으로 한다.
• . 단순 이론에서 체인 조건(icc, ucc)의 행동을 조사하여, 그것이 공명성에 대해 성립함을 보인다.
• . 내부 몫이 존재하는 조건을 확립하며, 특히 일반형 타입이 어떤 타입에 대해 외부적이지 않을 경우를 중심으로 한다.
• . 초단순 경우에 베르린-라스카르 분해가 성립함을 증명한다.
• . 일기본 단순 군을 분류하여, 그것이 유한-아벨-유한임을 보인다.

제안 방법

• . Pillay와 Kim-Pillay의 일반형 타입 및 안정자 이론에서 유래한 국소적 랭크 D(⋅, ϕ, k)를 사용한다.
• . 컴팩턴스와 Erdös-Rado 정리를 적용하여 타입-정의 가능한 부분군의 지수를 유계로 제한한다.
• . 표준 기저와 분할 독립성을 사용하여 일기본 군 내의 정의 가능한 부분군을 분석한다.
• . 공명성과 Schlichting의 정리를 활용하여, 일관된 공명성을 갖는 부분군을 구성한다.
• . 군에 대한 Lascar 부등식을 적용하여 중심자 및 공轭류의 U-랭크를 분석한다.
• . 일기본 구조에서 표준 기저가 대수적 폐쇄에 속하므로, 정의 가능한 부분군을 제어할 수 있음을 활용한다.

실험 결과

연구 질문

• RQ1 . 단순 이론에서 정의 가능한 군의 일반형 타입이 내부 몫을 유도하는 조건은 무엇인가?
• RQ2 . 초단순 이론 내 군에 대해 베르린-라스카르 분해가 성립하는가?
• RQ3 . 일기본성과 단순성은 군에 어떤 구조적 제약을 가하는가?
• RQ4 . 단순 이론에서 일관된 정의 가능한 부분군의 교차에 대한 체인 조건은 공명성에 대해 복원 가능한가?
• RQ5 . 단순 이론 내에서 정의 가능한 단순 군은 반드시 단순한가?

주요 결과

• . 단순 이론에서, 조상의 지수가 무한히 증가하는 타입-정의 가능한 부분군의 내림차순 체인의 길이는 |T|+ 이하이다.
• . 어떤 군이 일관된 공명성을 갖는 일관된 정의 가능한 부분군의 가족과 공명성일 경우, 그 교차의 지수가 일관되게 유계이다.
• . 소수의 경우, 일반형 타입이 어떤 타입 q에 대해 외부적이지 않다면, q-내부 몫이 존재한다.
• . 초단순의 경우, 군의 분해가 그의 유리수 부분군과 토르션 부분군으로 이루어진 베르린-라스카르 분해가 성립한다.
• . 단순 이론 내 일기본 군은 유한-아벨-유한이며, 유도 부분군은 유한하고 적절한 유한지수 부분군 내에서 중심이다.
• . 단순 이론 내에서 유한 U-랭크를 갖는 정의 가능한 단순 군은 비자명한 타입-정의 가능한 정규 부분군이 없다면 반드시 단순하다.