Solvable groups definable in o-minimal structures

In this paper we develop group extension theory over an o-minimal structure and use it to describe -definable solvable groups. We prove an o-minimal analogue of the Lie–Kolchin–Malʹcev theorem and we describe -definable G-modules and -definable rings.