Simple stable homogeneous groups
The paper generalizes tools and results developed in first-order stable theories to analyse definable and type-definable groups to simple stable strongly homogeneous models. Key notions such as generics, stabilizers, connected components are considered in this new framework. Some remarkable differences arise; for instance, generics may not always exist. On the other hand it is shown, among other things, that supersimple strongly homogeneous stable fields with generics are algebraically closed, which generalizes a classical theorem of Macintyre in the first-order setting. 1-based groups are studied as well, and 1-based strongly homogeneous simple stable connected groups are proved to be abelian; furthermore it is shown that in this setting the type of a tuple is the generic of a coset of its stabilizer and the geometry of an \(SU\)-rank one connected group is that of a module over a division ring. Finally, the binding group is examined. Here, ideas working in the simple (first-order) case are again extended to simple stable homogeneous models \(M\). Starting from internality, a super group of the binding group whose domain is \(\star\)-type-definable over a set is constructed. When \(M\) is strongly \(| M| \)-homogeneous, the group obtained in this way is the binding group. Moreover, assuming a strong notion of internality, the domain of the group can be taken to be type-definable over a set. The paper is self-contained, in particular it provides a short introduction reviewing the main definitions and theorems about dividing, freeness, simplicity and stability in simple homogeneous structures, as developed in some previous papers by Buechler, Lessmann and the author himself.
- Coordinatisation and canonical bases in simple theories
- scientific article; zbMATH DE number 1002918 (Why is no real title available?)
- Internality and interpretable automorphism groups in simple theories
- Model theory: An introduction
- Omega-stable groups
- On the binding group in simple theories
- Simple homogeneous models
- Simple theories
- SIMPLICITY IN COMPACT ABSTRACT THEORIES
- Unidimensional theories are superstable
- Simplicity and uncountable categoricity in excellent classes
- Hyperdefinable groups in simple theories
- scientific article; zbMATH DE number 493066 (Why is no real title available?)
- scientific article; zbMATH DE number 624858 (Why is no real title available?)
- Groupoids and relative internality
- Dimension theory inside a homogeneous model
- scientific article; zbMATH DE number 2222028 (Why is no real title available?)
This page was built for publication: Simple stable homogeneous groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4650274)