We study hyperdefinable groups, the most general kind of groups interpretable in a simple theory. After developing their basic theory, we prove the appropriate versions of Hrushovski's group quotient theorem and the Weil–Hrushovski group chunk theorem. We also study locally modular hyperdefinable groups and prove that they are bounded-by-Abelian-by-bounded. Finally, we analyze hyperdefinable groups in supersimple theories.

We reconstruct the group action in the group configuration theorem. We apply it to show that in an ω-categorical theory a finitely based pseudolinear regular type is locally modular, and the geometry associated to a finitely based locally modular regular type is projective geometry over a finite field.

We continue the study of simple theories begun in [3] and [5]. We first find the right analogue of definability of types. We then develop the theory of generic types and stabilizers for groups definable in simple theories. The general ideology is that the role of formulas (or definability) in stable theories is replaced by partial types (or ∞-definability) in simple theories.

1. We show that if p is a real type which is internal in a set $\sigma$ of partial types in a simple theory, then there is a type p' interbounded with p, which is finitely generated over $\sigma$ , and possesses a fundamental system of solutions relative to $\sigma$ . 2. If p is a possibly hyperimaginary Lascar strong type, almost \sigma-internal$ , but almost orthogonal to $\sigma^{\omega}$ , then there is a canonical non-trivial almost hyperdefinable polygroup which multi-acts (...) on p while fixing $\sigma$ generically. In case p is $\sigma-internal$ and T is stable, this is the binding group of p over \sigma$. (shrink)

We continue [2], developing simplicity in the framework of compact abstract theories. Due to the generality of the context we need to introduce definitions which differ somewhat from the ones use in first order theories. With these modified tools we obtain more or less classical behaviour: simplicity is characterized by the existence of a certain notion of independence, stability is characterized by simplicity and bounded multiplicity, and hyperimaginary canonical bases exist.

We study in detail the blow-up procedure described in [BTW01]. We obtain a structure theorem for coreless polygroups as a double quotient space G//H, and a polygroup chunk theorem. Seeking to remove the arbitrary parameter needed for the blow-up, we find canonical Ø-invariant groupoids.

We develop the theory of germs of generic functions in simple theories. Starting with an algebraic quadrangle (or other similar hypotheses), we obtain an "almost" generic group chunk, where the product is denned up to a bounded number of possible values. This is the first step towards the proof of the group configuration theorem for simple theories, which is completed in [3].

We continue the study of simple theories begun in [3] and [5]. We first find the right analogue of definability of types. We then develop the theory of generic types and stabilizers for groups definable in simple theories. The general ideology is that the role of formulas in stable theories is replaced by partial types in simple theories.