A dual characterization of subdirectly irreducible BAOs (Q1876093)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A dual characterization of subdirectly irreducible BAOs |
scientific article |
Statements
A dual characterization of subdirectly irreducible BAOs (English)
0 references
16 August 2004
0 references
Given a Boolean algebra with operators \({\mathbf{A}} = ({\mathbf{B}}_{{\mathbf{A}}} , (f_i)_{i \in I})\), a relation \(R^{\star}\), called the {topo-reachability relation}, is defined on the set \(A_*\) of ultrafilters of \({\mathbf{B}}_{{\mathbf{A}}}\). If \(T_{{{\mathbf{A}}}_*}\) is the collection of those ultrafilters \(u\) of \({\mathbf{B}}_{{\mathbf{A}}}\) such that \(R^{\star}[u] = A_*\), it is proved that \({\mathbf{A}}\) is simple iff \(T_{{\mathbf{A}}_*} = A_*\), and \({\mathbf{A}}\) is subdirectly irreducible iff \(T_{{\mathbf{A}}_*}\) is non-empty and open in \(A_*\) with the Stone topology.
0 references
Boolean algebras with operators
0 references
subdirect irreducibility
0 references
duality
0 references
ultrafilters
0 references
Stone topology
0 references