|
Lattices of topologies and quasi-orders on a finite chain
A. A. Veselovaa, I. B. Kozhukhovbc a Volgograd State Social and Pedagogical University (Volgograd)
b NRU «MIET» (Moscow)
c Lomonosov Moscow State University (Moscow)
Abstract:
The lattice of quasi-orders of the universal algebra $A$ is the lattice of those quasi-orders on the set $A$ that are compatible with the operations of the algebra, the lattice of the topologies of the algebra is the lattice of those topologies with respect to which the operations of the algebra are continuous. The lattice of quasi-orders and the lattice of topologies of the algebra $A$, along with the lattice of subalgebras and the lattice of congruences, are important characteristics of this algebra. It is known that a lattice of quasi-orders is isomorphically embedded in a lattice that is anti-isomorphic to a lattice of topologies, and in the case of a finite algebra, this embedding is an anti-isomorphism. A chain $X_n$ of $n$ elements is considered as a lattice with operations $x\wedge y=\min(x,y)$ and $x\vee y=\max(x,y)$. It is proved that the lattice of quasi-orders and the lattice of topologies of the chain $X_n$ are isomorphic to the Boolean lattice of $2^{2n-2}$ elements. A simple correspondence is found between the quasi-orders of the chain $X_n$ and words of length $n-1$ in a 4-letter alphabet. Atoms of the lattice of topologies are found. We deduce from the results on quasi-orders a well-known statement that the congruence lattice of an $n$-element chain is Boolean lattioce of $2^{n-1}$ elements. The results will no longer be true if the chain is considered only with respect to one of the operations $\wedge, \vee$.
Keywords:
finite chain, quasiorder lattice of a finite chain, the lattice of topologies of a finite chain, Boolean lattice.
Received: 17.09.2023 Accepted: 11.12.2023
Citation:
A. A. Veselova, I. B. Kozhukhov, “Lattices of topologies and quasi-orders on a finite chain”, Chebyshevskii Sb., 24:4 (2023), 12–21
Linking options:
https://www.mathnet.ru/eng/cheb1344 https://www.mathnet.ru/eng/cheb/v24/i4/p12
|
Statistics & downloads: |
Abstract page: | 50 | Full-text PDF : | 30 | References: | 16 |
|