Hasse diagrams and orbit class spaces (Q633015)

This paper gives a rather general dynamical realization property for finite Hasse diagrams. Given a \(G\)-action by homeomorphisms of a topological space \(X\), the orbit class space of the action is the space of equivalence classes for the relation \(x\sim y\) if \(\overline{Gx}=\overline{Gy}\). With the quotient topology, this space always satisfies the \(T_0\) separation axiom but is not automatically \(T_1\). The orbit class space inherits an order from inclusion of the classes. The main result here is that any finite Hasse diagram can be realized as the orbit class space of a topological \(G\)-space with \(X\) compact and \(G\) finitely generated.