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 đó, một cosets + 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
đang được dịch, vui lòng đợi..
