Products of derived structures on topological spaces (Q5963970)

The authors study structures of the type \((X,\mathfrak{S},{\mathcal A},{\mathcal I})\), where \(X\)~is a set, \(\mathfrak{S}\)~is a topology on~\(X\), \ \({\mathcal A}\)~is an algebra of subsets of~\(X\), and \({\mathcal I}\)~an ideal of subsets of~\(X\). To this one associated a derived structure \(\partial(X,\mathfrak{S},{\mathcal A},{\mathcal I})= (X,\mathfrak{S},\partial{\mathcal A},\partial{\mathcal I})\), where \(\partial{\mathcal A}\)~is the set of members of~\({\mathcal A}\) whose boundary (with respect to~\(\mathfrak{S}\)) belongs to~\({\mathcal I}\), and \(\partial{\mathcal I}={\mathcal I}\cap\partial{\mathcal A}\).NEWLINENEWLINEThe main notion of interest in this pare is that of a lifting, a map, \(\gamma\), from~\({\mathcal A}\) to itself that is the identity modulo~\({\mathcal I}\); this means that \(\gamma(A)=_{\mathcal I}\gamma(A)\) always, that \(\gamma(A)=\gamma(B)\) whenever \(A=_{\mathcal I}B\), and \(\gamma()X)=X\) and \(\gamma(\emptyset)=\emptyset\). One may demand further properties such as monotonicity, disjointness-preserving, or even intersection-preserving.NEWLINENEWLINEAfter quoting some results from [\textit{M. R. Burke} et al., Topology Appl. 159, No. 7, 1787--1798 (2012; Zbl 1242.28004)] the authors go on to study the relation between such liftings on product structures and on the factors in the products. The main results give sufficient conditions on the derived structures and on the factor~liftings for a natural product to share one or more of the above-mentioned properties.