2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/153124Groups definable in simple theories retain the chain conditions and decomposition properties known from stable groups, up to commensurability. In the small case, if a generic type of G is not foreign to some type q, there is a q-internal quotient. In the supersimple case, the Berline-Lascar decomposition works. One-based simple groups are finite-by-abelian-by-finite.Group TheoryLogictext