Every regular countably sieve-complete semitopological group is a topological group

A semitopological group (topological group) is a group endowed with a topology for which multiplication is separately continuous (multiplication is jointly continuous and inversion is continuous). In this paper we answer (Arhangel’skii et al., Math Maced 8:1–19, 2010, Problem 10.4), by showing that if (G, ·, τ) is a semitopological group and (G, τ) is homeomorphic to a product of Cech-complete spaces, then (G, ·, τ) is a topological group.

1. Introduction.Let S be a locally compact semigroup with a dense maximal subgroup G.We ask the following question: When is G a topological group under the induced topology?It was proved recently by P. S. Mostert [8] that in general G is not a topological group.However, there are several good reasons motivating the study of such a problem.First, for an arbitrary locally compact semigroup, the closure of the maximal subgroup containing an idempotent forms a locally compact semigroup.If we know this maximal subgroup is a topological group, then it is a locally compact topological group.(This fact will be proved in the following paragraph.)By our rather good knowledge of locally compact topological groups, we can obtain information about the structure of this locally compact semigroup.Second, if we look at this problem from the point of view of transformation groups, we have a group G acting on a locally compact topological space.Naturally, we would like this group to be topologized so that it is a topological group.It is known that the weakest topology for G to be a topological group is the g-topology [1].It is somewhat harder to deal with the g-topology than with the fc-topology, but under some conditions the ^-topology will coincide with the fe-topology.Among the known conditions, the local compactness of the group seems most interesting.If one tries to generalize such a condition, it is rather natural to ask the following : If G is a group of homeomorphisms of X onto X, and the closure of G is locally compact in the fc-topology, does the induced topology of G coincide with the g-topology?Third, in the past few years there have been several papers about such questions : What is the relationship between the algebraic structure and the topological structure?When can one strengthen the topological structure so that even under weak conditions the algebraic operations will be continuous in a certain sense?For instance, in topological groups, if the group space is locally compact, and if the multiplication is separately continuous with respect to the topology of the space, then the group is a topological group.We are able to prove the same theorem when the space is second countable and second category without the assumption of local compactness [9].Now, our present problem arises quite

Covering group theory for topological groups

LetS be a uniform semigroup (this includes all topological groups and affine semigroups). We show that a certain space of uniformly continuous functions onS has a left invariant mean iffS has the fixed point property for uniformly continuous affine actions ofS on compact convex sets. This is closely related to but independent of the results of T. Mitchell in [13] and A. Lau in [10]. Interesting examples and consequences are given for the special cases of topological groups and affine convolution semigroups of probability measures on a locally compact semigroup or group.

In this paper, it is shown that every compact Hausdorff $K$-space has countable tightness. This result gives a positive answer to a problem posed by Malykhin and Tironi [‘Weakly Fréchet–Urysohn and Pytkeev spaces’, Topology Appl.104 (2000), 181–190]. We show that a semitopological group $G$ that is a $K$-space is first countable if and only if $G$ is of point-countable type. It is proved that if a topological group $G$ is a $K$-space and has a locally paracompact remainder in some Hausdorff compactification, then $G$ is metrisable.

The Ellis theorem and continuity in groups

Given a T0 paratopological group G and a class C of continuous homomorphisms of paratopological groups, we define the C-semicompletionC[G) and C-completionC[G] of the group G that contain G as a dense subgroup, satisfy the T0-separation axiom and have certain universality properties. For special classes C, we present some necessary and sufficient conditions on G in order that the (semi)completions C[G) and C[G] be Hausdorff. Also, we give an example of a Hausdorff paratopological abelian group G whose C-semicompletion C[G) fails to be a T1-space, where C is the class of continuous homomorphisms of sequentially compact topological groups to paratopological groups. In particular, the group G contains an ω-bounded sequentially compact subgroup H such that H is a topological group but its closure in G fails to be a subgroup.

Totally Lindelöf and totally ω-narrow paratopological groups

ABSTRACT. Some results of Mukherjea and Tserpes are generalized by showing that any sequentially compact, cancellative topological semigroup is a topological group. Hence, any countably compact, cancellative topological semigroup with any additional condition that would imply sequential compactness is also a topological group. Finally, it is shown that any w‐bounded, cancellative topological semigroup is also a topological group.

M. Sion and T. Traynor investigated ([15]-[17]), measures and integrals having values in topological groups or semigroups. Their definition of integrability was a modification of Phillips-Rickart bilinear vector integrals, in locally convex topological vector spaces.The purpose of this paper is to develop a good notion of an integration process in partially ordered groups, based on their order structure. The results obtained generalize some of the results of J. D. M. Wright ([19]-[22]) where the measurable functions are real-valued and the measures take values in partially ordered vector spaces.Let if be a σ-algebra of subsets of T, X a lattice group, Y, Z partially ordered groups and m : H → F a F-valued measure on H. By F(T, X), M(T, X), E(T, X) and S(T, X) are denoted the lattice group of functions with domain T and with range X, the lattice group of (H, m)-measurable functions of F(T, X) and the lattice group of (H, m)-elementary measurable functions of F(T, X) and the lattice group of (H, m)-simple measurable functions of F(T, X) respectively.

Countably compact sequential topological semigroup with two-sides cancellations is a topological group

We prove that the existence of a selective ultrafilter implies the existence of a countably compact Hausdorff group topology on the free Abelian group of size continuum. As a consequence, we show that the existence of a selective ultrafilter implies the existence of a Wallace semigroup (i.e., a countably compact both-sided cancellative topological semigroup which is not a topological group).

Topological groups with thin generating sets

Under GCH, there are described the cardinalities of all Hausdorff topological groups G such that there is a nonzero Borel measure on G having the card ⁢ ( G ) {{\rm card}(G)} -Suslin property and quasi-invariant with respect to an everywhere dense subgroup of G. Some connections are pointed out with the method of Kodaira and Kakutani (1950) for constructing a nonseparable translation invariant extension of the standard Lebesgue (Haar) measure on the circle group 𝐒 1 {{\bf S}_{1}} .

We show that the topological groups Diff 1 + (I) and Diff 1 + (S 1 ) of orientation-preserving C 1 -diffeomorphisms of the interval and the circle, respectively, admit finitely generated dense subgroups.We also investigate the question of genericity (in the sense of Baire category) of such finite topological generating sets in related groups.We show that the generic pair of elements in the homeomorphism group Homeo + (I) generate a dense subgroup of Homeo + (I).By contrast, if M is any compact connected manifold with boundary other than the interval, we observe that an open dense set of pairs from the associated boundary-fixing homeomorphism group Homeo 0 (M, ∂M ) will generate a discrete subgroup.We make similar observations for homeomorphism groups of manifolds without boundary including S 1 .