RANDOMIZATIONS OF GROUPS ARE CONNECTED

Randomizations are continuous structures consisting of random variables with values on a given family of structures. We show that if G is a definable group on a continuous structure then G^R , the randomization of the group, defined as the set of variables whose values belong to the group, is definably connected, i.e. it has no proper invariant subgroups of bounded index.