On one-based theories

Abstract

We know from [H1], [H2] that in a stable theory, given a nontrivial locally modular regular type q, one can define a group with generic domination equivalent to q, and that the dependence relation on q can be analyzed in terms of this group. In a stable one-based theory, every regular type is locally modular; hence, this result holds for every nontrivial regular type. We show here that, in fact, in a stable one-based theory, a similar type of construction can be done without the assumption of regularity. More precisely, we show that for any type q, the nontrivial part of q can be analyzed by generics of groups and that any nontrivial relation can be described by affine relations (Theorem A).This construction is then used to answer a question about homogeneity in pairs of models which is still open in the case of arbitrary stable theories (Theorem C).