On commutativity of quasi-minimal groups

Abstract

We investigate if every quasi-minimal group is abelian, and give a positive answer for a quasi-minimal pure group having a ∅-definable partial order with uncountable chains. We also relate two properties of a complete theory in a countable language: the existence of a quasi-minimal model and the existence of a strongly regular type. As a consequence we derive the equivalence of conjectures on commutativity of quasi-minimal groups and commutativity of regular groups.