On idempotent measure conjecture and decomposition of invariant measures

We work with the *-product introduced in [GHK25] and f-generic types to describe the minimal ideals of invariant types and to classify ergodic Keisler measures in amenable NIP theories. Moreover, we analyze the situation around the so-called Idempotent Measure Conjecture studied in [CGK24] and [GHK25].