首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Definably simple groups in o-minimal structures
Authors:Y Peterzil  A Pillay  S Starchenko
Institution:Department of Mathematics and Computer Science, Haifa University, Haifa, Israel ; Department of Mathemetics, University of Illinois at Urbana-Champaign, 1409 W. Green St., Urbana, Illinois 61801 ; Department of Mathemetics, University of Notre Dame, Room 370, CCMB, Notre Dame, Indiana 46556
Abstract:

Let $\mathbb{G} =\langle G, \cdot\rangle$ be a group definable in an o-minimal structure $\mathcal{M}$. A subset $H$ of $G$ is $\mathbb{G} $-definable if $H$ is definable in the structure $\langle G,\cdot\rangle$(while definable means definable in the structure $\mathcal{M}$). Assume $\mathbb{G} $ has no $\mathbb{G} $-definable proper subgroup of finite index. In this paper we prove that if $\mathbb{G} $has no nontrivial abelian normal subgroup, then $\mathbb{G} $ is the direct product of $\mathbb{G} $-definable subgroups $H_1,\ldots,H_k$ such that each $H_i$ is definably isomorphic to a semialgebraic linear group over a definable real closed field. As a corollary we obtain an o-minimal analogue of Cherlin's conjecture.

Keywords:
点击此处可从《Transactions of the American Mathematical Society》浏览原始摘要信息
点击此处可从《Transactions of the American Mathematical Society》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号