[논문 리뷰] Unsolved problems in ordered and orderable groups

V. V. Bludov, A. M. W. Glass외 2명|ArXiv.org|2009. 06. 15.

Finite Group Theory Research참고 문헌 30인용 수 5

한 줄 요약

이 논문은 함수해석학, 군론, 그리고 순서 이론에서 유래한 자료들을 종합적으로 정리하고 업데이트하여 순서군과 격자순서군 이론 분야의 미해결 문제들을 종합적으로 제시한다. 격자순서, 잔여 성질, 다양체, 임베딩, 결정 가능성에 관한 개방 문제들을 제시하며, 해결된 문제들에 대한 논평과 향후 연구를 위한 새로운 과제들을 함께 제시한다.

ABSTRACT

We provide a list of (mainly unsolved) problems in ordered and orderable groups. These were originally compiled 10 years ago by the last two authors. New problems have been added to the list. Progress on some of these is noted and references provided. A few have been solved and their solutions are noted and referenced. We hope that this submission will act as a spur to mathematicians to solve some of them!

연구 동기 및 목표

• 콘라드, 말체프, 베어의 기초적 연구를 바탕으로 순서군과 격자순서군 분야의 개방 문제들에 대한 정의된 목록을 편성하고 업데이트하는 것.
• 순서군의 구조 이론 분야의 향후 연구를 이끌기 위해 논평, 해결책, 그리고 새로운 문제들을 제공하는 것.
• 쿠로브카 노트의 범위를 순서군과 격자순서군이라는 특수 분야로 확장하는 것.
• 엔겔군, 노름군, 메타아벨군과 같은 군의 유형에서 다양체, 임베딩, 결정 가능성, 순서 가능성에 관한 미해결 질문들을 부각하는 것.
• 유한한 순서를 갖는 군의 존재성과 자유 격자순서군의 이론의 결정 가능성과 같은 핵심 과제를 규명하여 연구를 자극하는 것.

제안 방법

• 특히 니콜라이 야. 메드베데프 기념집과 이후의 연구에서 유래한 문헌들로부터 개방 문제들을 체계적으로 정리하는 것.
• 이전에 러시아어로 작성된 문제 목록을 영어로 번역하고, 상세한 논평과 업데이트된 상태를 추가하여 확장하는 것.
• 글래스, 블루도프, 나바스와 같은 주요 연구자들이 제안한 새로운 문제들을 통합하여, 특히 순서 가능성, 임베딩, 결정 가능성에 초점을 맞추는 것.
• 주제별로 문제들을 분류: 격자순서군, 순서 가능 군, 다양체, 준다양체; 특히 구조적 성질과 모형이론적 성질에 중점을 두는 것.
• 홀랜드의 표현 정리와 보편 대수학적 도구를 활용하여 군론적 성질과 순서론적 성질 간의 연결 고리를 설정하는 것.
• 원래 목록의 약 1/8에 해당하는 문제들에 대해 해결책을 제시하고, 미해결 문제들은 별표(*)로 강조하는 것.

실험 결과

연구 질문

• RQ1 자유 ℓ군에서의 격자순서는 약한 아벨 전체순서로 확장될 수 있는가?
• RQ2 모든 순환 없는 아벨 군은 아르키메데스 격자순서를 갖는가?
• RQ3 n > 1인 생성자를 갖는 자유 ℓ군의 이론은 결정 가능한가?
• RQ4 해결 불가능한 단어 문제를 갖는 유한형성 순서 가능 군이 존재하는가?
• RQ5 모든 엔겔 ℓ군은 잔여적으로 순서 가능한가?

주요 결과

• 문제 3.5는 해결됨: 블루도프, 코피토프, 레임트룰라에 의해, 주기적인 아벨화를 갖는 해석 가능 군이 존재함을 보였다.
• 문제 3.12와 3.13은 부정적으로 해결됨: 골로드 군은 비아벨 자유 부분반군이 없는 것이 노름성을 암시한다는 추측에 대한 반례를 제공한다.
• 문제 3.14는 부정적으로 해결됨: 모든 순서 가능 노름-아벨 군이 분할 순서군에 임베딩되지는 않는다.
• 문제 3.24는 부분적으로 해결됨: k = 4n 또는 k = 2(4n+3)인 경우, 정확히 k개의 격자순서를 갖는 메타아벨 군이 존재하지만, G₁₀와 G₁₈는 여전히 미해결이다.
• 문제 3.25는 해결됨: 자유군의 유한한 비어있지 않은 부분집합은 모든 원소가 엄격히 양수인 유일한 오른쪽 순서를 갖지 않는다.
• 문제 3.28은 부정적으로 해결됨: 상대적으로 볼록인 부분군의 정규화군이 반드시 상대적으로 볼록일 필요는 없다.