Definable group extensions and o-minimal group cohomology via spectral sequences

We provide the theoretical foundation for the Lyndon-Hochschild-Serre spectral sequence as a tool to study the group cohomology and with this the group extensions in the category of definable groups. We also present various results on definable modules and actions, definable extensions and group coh...