Year

2012

Degree Name

Doctor of Philosophy

Department

School of Mathematics and Applied Statistics

Abstract

In 2003, Romaguera, Sanchis and Tkachenko proved the existence of the free paratopological group and the free abelian paratopological group on any topological space.

This thesis is a study of some of fundamental properties of the topologies of the free paratopological group FP(X) and the free abelian paratopological group AP(X) on any topological space X (Romaguera, Sanchis and Tkachenko studied Graev free paratopological groups, we study Markov free paratopological groups).

The result often known as Joiner's lemma is fundamental in understanding the topology of the free topological group F(X) on a Tychono space X. In this thesis, analogues of Joiner's lemma for free paratopological groups FP(X) and AP(X) on a T1 space X are proved. For each n ∈ N, let FPn(X) be the subspace of FP(X) consisting of all words of length at most n. The analogue of Joiner's lemma for FP(X) takes the following form: Let X be a T1 space and let w = x1e1x2e2...xnen be a reduced word in FPn(X), where xi ∈ X and ∈i = ±1 for i = 1,2,…,n and if xi = xi+1 for some i = 1,2,…,n - 1 then ∈i = ∈i+1. Let B denote the collection of all sets of the form U1e1U2e2…Unen, where for i = 1,2,…,n the set Ui is a neighbourhood of xi in X when ∈i = 1 and Ui = {xi} when ∈i = -1. Then B is a base for the neighborhood system at w in the subspace FPn(X) of FP(X). Using this, it is shown that the following conditions are equivalent for a space X: (1) X is T1; (2) FP(X) is T1; (3) the subspace X of FP(X) is closed; (4) the subspace X-1 of FP(X) is discrete; (5) the subspace X-1 is T1; (6) the subspace X-1 is closed; and (7) the subspace FPn(X) is closed for all n ∈ N.

In this thesis, a neighborhood base at the identity e in FP2(X) is found. Furthermore, we describe neighborhood bases at the identity for the topologies of free paratopological groups FP(X) and AP(X) on any topological space X. In particular, we describe simple neighborhood bases for free paratopological groups FP(X) and AP(X) on any Alexandro ff space X. Then as applications of this, we prove that if the space X is T0, then the free paratopological group FP(X) is T0 and we characterize the space X for which free paratopological groups FP(X) and AP(X) are topological groups.

For each n ∈ N, denote by in the natural mapping from (X ⊕ X-1 ⊕ {e})n to FPn(X). In this thesis, a number of characterizations are given of the circumstances under which i2 : (X ⊕ Xd-1 ⊕ {e})2 → FP2(X) is a quotient map, where X is a T1 space and Xd-1 denotes the set X-1 equipped with the discrete topology. Further characterizations are given in the case where X is a transitive T1 space. Several specific spaces and classes of spaces are also examined. For example, i2 is a quotient for every countable subspace of R, i2 is not a quotient for any uncountable compact subspace of R, and it is undecidable in ZFC whether an uncountable subspace of R exists for which i2 is a quotient.

Share

COinS