On Mon, 25 Mar 2013 06:42:46 -0600, "G. A. Edgar" <firstname.lastname@example.org> wrote:
>In article <email@example.com>, David C. >Ullrich <firstname.lastname@example.org> 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.