Bourbaki

Bài tập 1, § 2

Nhãn 02MP, cố định. Trích dẫn là [Bourbaki, Tag 02MP].

Các lý thuyết phổ, II, p. 304

(a) Để GG có một cơ sở đếm được, điều kiện cần và đủ là G^\widehat{G} có một cơ sở đếm được. (Nếu GG có một cơ sở đếm được, thì L1(G)L^1(G) có một cơ sở đếm được, do đó X(L1(G))\mathsf{X}(L^1(G)) có một cơ sở đếm được.) b) Để GG là đếm được tại vô hạn, điều kiện cần và đủ là G^\widehat{G} có một nhóm con mở với một cơ sở đếm được, hoặc tương đương là G^\widehat{G} mêtric hóa được. (Dùng Mệnh đề 3 của II, p. 248.)

c) Giả sử rằng GG là compact. Để GG mêtric hóa được, điều kiện cần và đủ là G^\widehat{G} đếm được, hoặc tương đương là GG đẳng cấu với một nhóm con đóng của TN\mathbf{T}^{\mathbf{N}}. (Một nhóm giao hoán rời rạc đếm được là một nhóm thương của Z(N).\mathbf{Z}^{(\mathbf{N})}.)

Lời giải

Chưa có lời giải nào được viết.

Được trích dẫn bởi

Không có.

Trích dẫn đến

Không có.

Bản dịch máy từ tiếng Anh, bởi gpt-5-6-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.