Topological implications in varieties (Q5950777): Difference between revisions

It was shown by W. Tylor in 1977 that in congruence permutable varieties, every \(T_0\) topological algebra is \(T_2\). This result was generalized to 3-permutable varieties by H.-P. Gumm. In 1977, J. Coleman showed that a variety \(\mathcal {V}\) is \(n\)-permutable for some \(n\geq 2\) iff every \(T_0\) topological algebra in \(\mathcal {V}\) is \(T_1\). The author shows that the implication ``\(T_0\Rightarrow \) sober'' is another characterization of \(n\)-permutable varieties and, if \(\mathcal {V}\) is \(n\)-permutable and has a majority term, then \(\mathcal {V}\) satisfies \(T_0\Rightarrow T_2\).