The weak Hilbert–Smith conjecture for free proper actions
Weak Hilbert–Smith conjecture. GGG is a Lie group.