Problem 107

Embed automorphisms of compact groups as basic sets.