Trong nhóm abelian, topology có thể được giới thiệu trong nhiều cách khác nhau mà là
tự nhiên trong một ý nghĩa nào đó. Những cấu trúc liên kết là không nhất thiết phải Hausdorff;
một số trong số họ thậm chí không làm cho các hoạt động nhóm liên tục. Các
tầm quan trọng của cấu trúc liên kết trong nhóm abelian sẽ được hiển nhiên từ sau
phát triển.
Các cấu trúc liên kết quan trọng nhất để được xem xét ở đây là topo tuyến tính;
đó là để nói, có một cơ sở [hệ thống cơ bản] của khu phố về 0
trong đó bao gồm các phân nhóm như vậy mà cosets các nhóm này tạo thành một
cơ sở của bộ mở. Để xây dựng định nghĩa của chúng tôi trong một cách hợp lý nói chung
thời trang, chúng ta hãy bắt đầu với một lý tưởng kép (ví dụ, bộ lọc) D trong L lưới (A) của tất cả các
phân nhóm A, và tuyên bố các phân nhóm U của A trong D như là một cơ sở mở
các khu phố về 0. Sau đó cosets a + U (UED) sẽ là cơ sở của
bộ mở về một. Bởi vì các giao điểm của hai cosets (al + U,) n (a, + U,)
là ngớ ngẩn hoặc một coset mod U, U n ,, và U, U n, ED bất cứ khi nào U ,, U, ED,
tất cả các mở bộ sẽ được công đoàn của một cosets + U với UE D. Tính liên tục
của hoạt động nhóm là rõ ràng từ việc quan sát đơn giản mà
x - y E a + U ám (x + U) - (y + U) ca + U. Chúng tôi gọi phát sinh
topology của D-topology của A. Rõ ràng, đó là Hausdorfs khi và chỉ khi
nu = o,
UED
và rời rạc chính xác nếu 0 E D.
Thỉnh thoảng, một có một topo đó đáp ứng các tiên đề đầu tiên của countability,
tức là, có là một cơ sở đếm được của các khu phố mở về 0. Nếu
U ,, U2,. . . , U ,,, *. * Là một hệ thống như các khu vực lân cận, sau đó U ,, U, U
n,,. - -, U, n 1. . n U ,,. * * Cũng là một; do đó, trong trường hợp này chúng ta có thể mà không mất
tính tổng quát giả sử chuỗi giảm.
An mở phân nhóm B được thiết đóng cửa. Thật vậy, bổ sung của nó trong
nhóm là công đoàn của cosets của nó a + B (một $ B); đây là mở và như vậy là họ
công đoàn. Do đó các phân nhóm UED đều mở cửa và đóng cửa. Do đó:
đang được dịch, vui lòng đợi..
