En théorie des groupes, le théorème de Kurosh est un résultat de structure concernant les sous-groupes d’un produit libre de groupes. Le théorème principal de cet article est un résultat analogue dans le cadre des relations d’équivalence boréliennes à classes dénombrables, que nous démontrons en développant une théorie de Bass-Serre dans ce cadre particulier.

We investigate topological AE(0)-groups, a class which contains the class of Polish groups as well as the class of all locally compact groups. We establish the existence of a universal AE(0)-group of a given weight as well as the existence of a universal action of an AE(0)-group of a given weight on an AE(0)-space of the same weight. A complete characterization of closed subgroups of powers of the symmetric group $S_{\infty }$ is obtained. It is also shown that every AE(0)-group is Baire isomorphic to a product...