Some model theory of SL(2,ℝ)
We study the action of G = SL(2,ℝ), viewed as a group definable in the structure M = (ℝ,+,×), on its type space . We identify a minimal closed G-flow I and an idempotent r ∈ I (with respect to the Ellis semigroup structure * on ). We also show that the “Ellis group” (r*I,*) is nontrivial, in fact it is the group with two elements, yielding a negative answer to a question of Newelski.