Constructing the hyperdefinable group from the group configuration

2005/08/29 by Tristram De Piro, De Piro, Tristram, Byunghan Kim +3
Mathematics · #03C45 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03C45

paper · pdf · doi:10.48550/arxiv.math/0508583

15 pages, 2 figures. Submitted to the Journal of Mathematical Logic

arxiv created 2005/08/29 · arxiv updated 2009/12/01

Abstract

For simple theories with a strong version of amalgamation we obtain the canonical hyperdefinable group from the group configuration. This provides a generalization to simple theories of the group configuration theorem for stable theories.

Related

• Groups in simple theories
• Higher amalgamation properties in stable theories
• Amalgamation functors and boundary properties in simple theories
• The group configuration theorem for generically stable types
• Solubility of groups can be characterized by configuration