{"id":"arxiv/2606.23987","url":"https://arxiv.org/abs/2606.23987","tags":["math.GN","math.FA","math.GR"],"score":0,"title":"Totally Disconnected Semigroup Compactifications: Non-Introversion of the Full Boolean Algebra of Clopen Sets","domain":"math.GN","source":"arxiv","authors":["Joshua Basman Monterrubio","Thomas Czyzowicz","Ross Stokke","Emily Thevenot"],"reviews":0,"subject":"math.GN","summary":"In terms of the existence of a single clopen set and two related nets, we characterize when the full Boolean algebra, ${\\mathfrak B}(G)$, of clopen subsets of a topological group $G$ is left introverted. We employ this characterization to show that when $G$ is a first countable, $σ$-compact, totally disconnected locally compact group, ${\\mathfrak B}(G)$ is left introverted if and only if $G$ is compact or discrete, thus providing a strong positive answer to a question posed in Stephens and Stokke (Q J Math 2023). Examples of clopen sets and nets witnessing our non-introversion theorem are…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-22","reactions":{}}