Properties of quasi-invariant measures on topological groups and associated algebras
Recall that a P-set is a closed set X such that the intersection of countably many neighborhoods of X is again a neighborhood of X. We show that if 𝔱 = 𝔠 then there is a minimal right ideal of (βℕ,+) that is also a P-set. We also show that the existence of such P-sets implies the existence of P-points; in particular, it is consistent with ZFC that no minimal right ideal is a P-set. As an application of these results, we prove that it is both consistent with and independent of ZFC that the shift...
This paper considers certain pseudometric structures on Ext-semigroups and gives a unified characterization of several topologies on Ext-semigroups. It is demonstrated that these Ext-semigroups are complete topological semigroups. To this end, it is proved that a metric induces a pseudometric on a quotient space with respect to an equivalence relation if it has certain invariance. We give some properties of this pseudometric space and prove that the topology induced by the pseudometric coincides...
A topological group is strongly realcompact if it is topologically isomorphic to a closed subgroup of a product of separable metrizable groups. We show that if H is an invariant Čech-complete subgroup of an ω-narrow topological group G, then G is strongly realcompact if and only if G/H is strongly realcompact. Our proof of this result is based on a thorough study of the interaction between the P-modification of topological groups and the operation of taking quotient groups.