Deje que %-%-% sea el conjunto de todas las topologías de grupo en %-%-%. Se sabe que %-%-% es una celosía completa modular [1].
¿Es de %-%-% distributivo?
$\mathcal L$$
[1] Lamper, Milán. Complementos en la celosía de todas las topologías de grupos topológicos. (Brno) 10 (1974), No. 4, 221--230 (1975).
