No label defined (Q4948433)

For a vector space \(V\) over a division ring by \({\mathcal L}(V)\) is denoted the lattice of all linear topologies on \(V\). The situation when \(\tau_0,\tau_1\in{\mathcal L}(V)\) and \(\{\tau:\tau_1\leq\tau\leq\tau_0\}=\{\tau_1,\tau_0\}\) is denoted by \(\tau_1\prec\tau_0\). The paper contains two results: (i) if \(\tau_0\in{\mathcal L}(V)\), \((V,\tau_0)\) is non-complete, Hausdorff then there exists \(\tau_1\in{\mathcal L}(V)\), \(\tau_1\prec\tau_0\) such that \(\inf\{\tau_0,\tau_*\}\neq\tau_1\) for every coatom \(\tau_*\in{\mathcal L}(V)\); (ii) if \(\tau_0,\tau_1\in{\mathcal L}(V)\), \(\tau _1\prec\tau_0\), \((V,\tau_0)\) is complete, metrizable and Hausdorff then there exists a coatom \(\tau_*\in{\mathcal L}(V)\) such that \(\inf\{\tau_0,\tau_*\}=\tau_1\). Remark. Various features of the lattice \({\mathcal L}(M)\) of all linear topologies on a module \(M\) were studied by \textit{D. Dikranjan} and \textit{A. Tonolo} [Commun. Algebra 21, No. 1, 275-298 (1993; Zbl 0784.16027)].