The diameter of a Lascar strong type
Volume 176 / 2003
Fundamenta Mathematicae 176 (2003), 157-170
MSC: Primary 03C45.
DOI: 10.4064/fm176-2-4
Abstract
We prove that a type-definable Lascar strong type has finite diameter. We also answer some other questions from [1] on Lascar strong types. We give some applications on subgroups of type-definable groups.