Semigroup Extensions.
Soit un groupe localement compact abélien ou un groupe de Lie et un compact parfait de . Il existe alors un compact de mesure de Haar nulle tel que soit d’intérieur non vide. En particulier si est métrisable, les seuls ensembles analytiques tels que soit de mesure nulle dès que l’est, sont dénombrables.