Based on Hrushovski, Palacín and Pillay’s example (Selecta Mathematica 19:4
(2013), 865–877), we produce a new structure without the canonical base
property, which is interpretable in Baudisch’s group. Said structure is, in
particular, CM-trivial, and thus at the lowest possible level of the ample
hierarchy.
Keywords
canonical base property, CM-triviality, Hrushovski
constructions, Lie algebras, Baudisch's group