. "Description: Suppose L is a complete separable metric topological group (ring, field, etc.)." . . .