if D is a dual ideal in the lattice L(A) of all subgroups of A, and if the D-topology of A is Hausdorfs, then it makes A into a 0-dimensional topological group
nếu D là một lý tưởng kép trong L lưới (A) của tất cả các phân nhóm A, và nếu sản phẩm D-topology của A là Hausdorfs, sau đó nó làm cho A vào một 0-chiều nhóm tôpô