Bourbaki

Exercise 1, § 2

Tag 02MP, permanent. Cite it as [Bourbaki, Tag 02MP].

Spectral Theories, II, p. 304

(a) For GG to have a countable basis, it is necessary and sufficient that G^\widehat{G} have a countable basis. (If GG has a countable basis, then L1(G)L^1(G) has a countable basis, hence X(L1(G))\mathsf{X}(L^1(G)) has a countable basis.) b) For GG to be countable at infinity, it is necessary and sufficient that G^\widehat{G} admit an open subgroup with a countable basis, or equivalently that G^\widehat{G} be metrizable. (Use prop. 3 of II, p. 248.)

c) Suppose that GG is compact. For GG to be metrizable, it is necessary and sufficient that G^\widehat{G} be countable, or equivalently that GG be isomorphic to a closed subgroup of TN\mathbf{T}^{\mathbf{N}}. (A countable commutative discrete group is a quotient of Z(N).\mathbf{Z}^{(\mathbf{N})}.)

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-6. Not checked by a person.