Cartan subgroups of groups definable in o-minimal structures

DOI10.1017/S1474748013000352MaRDI QIDQ2921052zbMATH OpenOpenAlexFDO

Authors Eric Jaligot, Margarita Otero, Elías Baro

Publication date 30 September 2014

Published in Journal of the Institute of Mathematics of Jussieu (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1109.4349

zbMATH Keywords

Cartan subgroupsgroups definable in o-minimal structuresLie groupssemialgebraic groups

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) General structure theorems for groups (20E34) Linear algebraic groups over the reals, the complexes, the quaternions (20G20) Structure of general topological groups (22A05) General properties and structure of real Lie groups (22E15)

Abstract: We prove that groups definable in o-minimal structures have Cartan subgroups, and only finitely many conjugacy classes of such subgroups. We also delineate with precision how these subgroups cover the ambient group, in general very largely in terms of the dimension.

Review text

A subgroup \(Q\) of a group \(G\) is a \textit{Cartan subgroup} if \(Q\) is a maximal nilpotent subgroup of \(G\) and every finite index normal subgroup of \(Q\) is of finite index in its normalizer in \(G\). The present paper studies Cartan subgroups of groups definable in o-minimal structures, i.e. first-order structures \(\mathcal{M}=\langle M,<,\ldots\rangle\) such that \(<\) is a dense linear order without endpoints on \(M\) and every subset of \(M\) that is definable in \(\mathcal{M}\) is the union of a finite set and finitely many intervals with endpoints in \(M\cup\{\pm\infty\}\). The main result of this paper shows that, given a group \(G\) definable in an o-minimal structure \(\mathcal{M}\), Cartan subgroups of \(G\) exist, they are definable in \(\mathcal{M}\) and they fall into finitely many conjugacy classes. The paper also contains a stronger result for definably connected groups definable in o-minimal structures, where a group \(G\) definable in a structure \(\mathcal{M}\) is called \textit{definably connected} if \(G\) has no proper subgroup of finite index that is definable in \(\mathcal{M}\).

Recommendations

• Maximal compact subgroups in the o-minimal setting
• On groups and fields definable in o-minimal structures
• The derived subgroup of linear and simply-connected o-minimal groups
• Commutators in groups definable in o-minimal structures
• A descending chain condition for groups definable in o-minimal structures

Cites work

• A remark on divisibility of definable groups
• Abnormal subgroups in solvable groups of finite Morley rank
• Commutators in groups definable in o-minimal structures
• Cosets, genericity, and the Weyl group.
• Definably simple groups in o-minimal structures
• Generic subgroups of Lie groups
• Generix never gives up
• Groups of Finite Morley Rank with Solvable Local Subgroups
• Groups with the minimal condition on centralizers
• scientific article; zbMATH DE number 3577496 (Why is no real title available?)
• scientific article; zbMATH DE number 705165 (Why is no real title available?)
• Linear groups definable in o-minimal structures
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• On central extensions and definably compact groups in o-minimal structures
• On groups and fields definable in o-minimal structures
• Simple algebraic and semialgebraic groups over real closed fields
• Solvable groups definable in o-minimal structures.
• Some results on an invariant integral on a semi-simple Lie algebra
• Weakly exponential Lie groups

Cited in

(6)

• The structure of Cartan subgroups in Lie groups
• On Levi subgroups and the Levi decomposition for groups definable in \(o\)-minimal structures
• Maximal compact subgroups in the o-minimal setting
• Cartan subgroups and regular points of o‐minimal groups
• Dimensional quasi-Frobenius groups
• Finite central extensions of o-minimal groups

This page was built for publication: Cartan subgroups of groups definable in o-minimal structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2921052)