[论文解读] Unsolved problems in ordered and orderable groups

V. V. Bludov, A. M. W. Glass+2 more|ArXiv.org|Jun 15, 2009

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!

研究动机与目标

• 整理并更新有序群与格序群领域中未解问题的权威列表，建立在康rad、Malcev与Baer等人的基础工作之上。
• 提供评述、解答与新问题，以指导有序群结构理论的未来研究。
• 将《科罗夫卡笔记》的范围扩展至有序群与格序群这一专门领域。
• 突出显示关于种类、嵌入、可判定性及可序性等未解问题，尤其关注幂零群、幂零-可换群与幂零群等群类。
• 通过识别关键挑战，如存在有限个序的群的存在性问题，以及自由格序群理论的可判定性，激发研究兴趣。

提出的方法

• 系统性地整理文献中的未解问题，特别是来自尼古拉·亚·梅德韦杰夫纪念文集及后续研究的成果。
• 将此前以俄文发表的问题列表翻译并扩展为英文版本，附带详细评述与最新状态更新。
• 整合由Glass、Bludov与Navas等顶尖研究者提出的最新问题，尤其关注可序性、嵌入与可判定性方面。
• 按主题分类问题：格序群、可序群、种类与拟种类，重点强调结构与模型论性质。
• 运用Holland的表示定理与普遍代数工具，连接群论性质与序论性质。
• 对原始列表中约八分之一的问题提供解答，并以星号标记未解问题以突出显示。

实验结果

研究问题

• RQ1 自由ℓ-群上的格序能否扩展为弱阿贝尔全序？
• RQ2 每个无挠阿贝尔群是否都存在阿基米德格序？
• RQ3 n > 1个生成元的自由ℓ-群理论是否可判定？
• RQ4 是否存在一个有限呈现的可序群，其字问题不可解？
• RQ5 每个恩格尔ℓ-群是否都是剩余有序的？

主要发现

• 问题3.5已解决：Bludov、Kopytov与Rhemtulla证明了存在一个可解可序群，其阿贝尔化为周期群。
• 问题3.12与3.13的答案是否定的：戈洛德群提供了反例，表明无非交换自由子半群并不意味着幂零性。
• 问题3.14已否定地解决：并非所有可序幂零-可换群都能嵌入到可除有序群中。
• 问题3.24部分解决：当k = 4n或k = 2(4n+3)时，存在恰好具有k个格序的可解群，但G₁₀与G₁₈仍为开放问题。
• 问题3.25已解决：自由群的任意非空有限子集均无法拥有唯一右序使得所有元素严格为正。
• 问题3.28已否定地解决：相对凸子群的正规化子不一定是相对凸的。