On Mon, 25 Mar 2013 06:42:46 -0600, "G. A. Edgar" <email@example.com> wrote:
>In article <firstname.lastname@example.org>, David C. >Ullrich <email@example.com> wrote: > >> A topological group is > >Now there is overkill for you.
Yes. First thing I thought of was using some sort of structure theorem. But I don't know any such theorems. Then I realized that the Pontryagin Duality Theorem was in fact a sort of structuure theorem that would suffice, and I rushed into print.