Domains of imprimitivity and localization of ideals of sets (Q755914)

It is shown in this paper that in the G-space (X,\({\mathcal T})\), on which the group G acts transitively and imprimitively, for any proper G- invariant ideal of sets \({\mathcal J}\) having strong localization property the following assertion holds: \({\mathcal J}\cap {\mathcal T}=\{\emptyset \},\) \({\mathcal J}\cap {\mathcal T}|_{X\setminus M}=\{\emptyset \},\) in particular \(X\setminus M\not\in {\mathcal J}\), M an arbitrary domain of imprimitivity in the group G. The author establishes a criterion in order that in the G-space X the orbit \(Hx,\) with respect to the transitive subgroup H in G, of the point \(x\in X\) is an imprimitivity domain of an imprimitive subgroup F in G.