The Lascar Group and the Strong Types of Hyperimaginaries

Abstract

This is an expository note on the Lascar group. We also study the Lascar group over hyperimaginaries and make some new observations on the strong types over those. In particular, we show that in a simple theory $Ltp\equiv stp$ in real context implies that for hyperimaginary context.