Commutators in groups definable in o-minimal structures

DOI10.1090/S0002-9939-2012-11209-2MaRDI QIDQ2845879zbMATH OpenOpenAlexFDO

Authors Eric Jaligot, Margarita Otero, Elías Baro

Publication date 3 September 2013

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

commutatorsdefinableo-minimality

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Applications of logic to group theory (20A15) Commutator calculus (20F12) Other groups related to topology or analysis (20F38)

Abstract: We prove the definability, and actually the finiteness of the commutator width, of many commutator subgroups in groups definable in o-minimal structures. It applies in particular to derived series and to lower central series of solvable groups. Along the way, we prove some generalities on groups with the descending chain condition on definable subgroups and/or with a definable and additive dimension.

Review text

In [On the connections between groups definable in o-minimal structures and real Lie groups: the non-compact case. Siena: University of Siena (PhD Thesis) (2009)], \textit{A. Conversano} exhibits an o-minimal, definably connected group \(G\) such that \(G'\) is not definable. Furthermore, \(G\) is a central extension of a simple group by an infinite centre. In the authors' words, the paper essentially proves that central extensions of this type are the only obstructions to the definability of the commutator subgroups in the o-minimal case. More precisely, a definably connected group \(G\) definable in an o-minimal structure is said to be a \textit{strict central extension} of a definably simple group if \(Z(G)\) is infinite and \(G/Z(G)\) is infinite non-abelian and definably simple. The main theorem shows the following. Let \(G\) be a group definable in an o-minimal structure, \(A\) and \(B\) two definable subgroups normalizing each other and such that \(A^\circ B^\circ\) satisfy the following assumption: the derived subgroup \((H/K)'\) is definable for every definable section \(H/K\) of \(A^\circ B^\circ\) that is a strict central extension of a definably simple group. Then, the subgroup \([A,B]\) is definable.

Recommendations

• On groups and fields definable in o-minimal structures
• Groups definable in o-minimal structures: various properties and a diagram
• A survey on groups definable in o-minimal structures
• Definably simple groups in o-minimal structures
• Definable homomorphisms of abelian groups in o-minimal structures
• Linear groups definable in o-minimal structures
• Groups definable in linear o-minimal structures: the non-compact case
• scientific article; zbMATH DE number 1222928
• A reduction to the compact case for groups definable in o-minimal structures
• Linearity of groups definable in o-minimal structures

Cites work

• A reduction to the compact case for groups definable in o-minimal structures
• A survey on groups definable in o-minimal structures
• scientific article; zbMATH DE number 3758564 (Why is no real title available?)
• scientific article; zbMATH DE number 47220 (Why is no real title available?)
• scientific article; zbMATH DE number 705165 (Why is no real title available?)
• scientific article; zbMATH DE number 1014886 (Why is no real title available?)
• scientific article; zbMATH DE number 1063290 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 3409586 (Why is no real title available?)
• Lie rank in groups of finite Morley rank with solvable local subgroups.
• Linear groups definable in o-minimal structures
• Nilpotent groups
• o-minimal structures
• On ω_1-categorical theories of abelian groups
• On a Result of Baer
• On central extensions and definably compact groups in o-minimal structures
• On commutators in real semisimple Lie groups
• Solvable groups definable in o-minimal structures.
• The Ore conjecture.

Cited in

(15)

• The derived subgroup of linear and simply-connected o-minimal groups
• Cartan subgroups of groups definable in o-minimal structures
• Real Lie groups and o-minimality
• The Definability of the Commutator Subgroup in a Variety Generated by a Finite Group
• scientific article; zbMATH DE number 702024 (Why is no real title available?)
• SOLVABLE LIE GROUPS DEFINABLE IN O-MINIMAL THEORIES
• Cartan subgroups and regular points of o‐minimal groups
• Linearity of groups definable in o-minimal structures
• On central extensions and definably compact groups in o-minimal structures
• A definability criterion for connected Lie groups
• Relative Maltsev definability of some commutator properties
• Dimensional quasi-Frobenius groups
• A nonabelian Brunn-Minkowski inequality
• Semisimple groups interpretable in various valued fields
• Finite central extensions of o-minimal groups

This page was built for publication: Commutators in 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 Q2845879)