Se puede demostrar que el grupo "G^" con la topología así definida es un grupo abeliano localmente compacto.