On feebly compact topologies on the semilattice _n_

DOI10.15330/MS.46.1.29-43MaRDI QIDQ2407959zbMATH OpenOpenAlexFDO

Authors O. Sobol, O. Gutik

Publication date 6 October 2017

Published in Matematychni Studiï (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1606.00395

zbMATH Keywords

compactcountably compactfeebly compactsemiregular spacesemitopological semilatticetopological semilattice

Mathematics Subject Classification ID

Structure of topological semigroups (22A15) Topological semilattices, lattices and applications (22A26) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Compactness (54D30) Topological lattices, etc. (topological aspects) (54H12)

Abstract: We study feebly compact topologies $au$ on the semilattice $left(ex{p}_{n}lambda,capight)$ such that $left(ex{p}_{n}lambda,auight)$ is a semitopological semilattice. All compact semilattice $T_1$-topologies on $ex{p}_{n}lambda$ are described. Also we prove that for an arbitrary positive integer $n$ and an arbitrary infinite cardinal $lambda$ for a $T_1$-topology $au$ on $ex{p}_{n}lambda$ the following conditions are equivalent: $(i)$ $left(ex{p}_{n}lambda,auight)$ is a compact topological semilattice; $(ii)$ $left(ex{p}_{n}lambda,auight)$ is a countably compact topological semilattice; $(iii)$ $left(ex{p}_{n}lambda,auight)$ is a feebly compact topological semilattice; $(iv)$ $left(ex{p}_{n}lambda,auight)$ is a compact semitopological semilattice; $(v)$ $left(ex{p}_{n}lambda,auight)$ is a countably compact semitopological semilattice. We construct a countably pracompact $H$-closed quasiregular non-semiregular topology $a{u}_{operatornameextsffc}^2$ such that $left(ex{p}_{2}lambda,a{u}_{operatornameextsffc}^{2}ight)$ is a semitopological semilattice with discontinuous semilattice operation and prove that for an arbitrary positive integer $n$ and an arbitrary infinite cardinal $lambda$ every $T_1$-semiregular feebly compact semitopological semilattice $ex{p}_{n}lambda$ is a compact topological semilattice.

Review text

A topological space \(X\) is called feebly compact if each locally finite open cover of \(X\) is finite. The semilattice announced in the title is \(\exp_n \lambda = \{A\subset \lambda : |A|\leq n\}\) with the operation \(\cap\), where \(\lambda\) is a non-zero cardinal, \(n\in \mathbb{N}\). The semilattice \(\exp_n \lambda\) is isomorphic to the band of symmetric inverse semigroups of finite transformations of rank \(\leq n\), \(n\in \mathbb{N}\). In analogy with [\textit{O. Gutik} et al., Mat. Stud. 32, No. 2, 115--131 (2009; Zbl 1224.22004)], the authors construct on \(\exp_n \lambda\) a unique topology \(\tau_c^n\) which makes \(\exp_n \lambda\) into a compact semilattice with the \(T_1\)-topology (the family \[ \{ \{\uparrow x \backslash (\uparrow x_1 \cup \cdots \cup \uparrow x_j): x_1,\ldots,x_j \in \uparrow x \backslash \{x\}\} \mid x\in \exp_c^n\} \] forms a neighbourhood system for \((\exp_n \lambda, \tau_c^n)\)). The constructed topology makes \(\exp_n \lambda\) into a countably compact semilattice, feebly compact semilattice, countably compact semitopological semilattice and countable compact semitopological semilattice. Further, the authors investigate conditions under which the semitopological semilattice \(\exp_n \lambda\) is a topological semilattice.

Recommendations

• Characterizing chain-compact and chain-finite topological semilattices
• On feebly compact semitopological semilattice \(\exp_n\lambda\)
• On feebly compact inverse primitve (semi)topological semigroups
• Symmetric inverse topological semigroups of finite rank n
• Compact semilattices with open principal filters
• On H-closed topological semigroups and semilattices
• On the structure of the sheaf of a compact inverse semigroup with open translations
• On countably compact 0-simple topological inverse semigroups
• Compact topological inverse semigroups
• The spectral theory of semitopological semilattices. II.

Cited in

(2)

• On feebly compact topologies on the semigroup \(\mathbb{B}_{\omega}^{\mathfrak{F_1}}\).
• On feebly compact semitopological semilattice \(\exp_n\lambda\)

This page was built for publication: On feebly compact topologies on the semilattice \(\exp_{n_{\lambda}}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2407959)