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