On the topology of free paratopological groups. II (Q1928433): Difference between revisions

Denoting \(\mathbf{FP}(X)\) as the free paratopological group on a topological space \(X\) and, for each \(n\in \mathbb N, \mathbf {FP}_n(X)\), the subset of \(FP(X)\) consisting of all words of reduced length at most \(n\), the authors consider a natural mapping \(i_{n}: (X\oplus X^{ - 1}\oplus \{e\})^{n}\longrightarrow \mathbf {FP}_{n}(X)\); see Part I of this paper [the authors, Bull. Lond. Math. Soc. 44, No. 6, 1103--1115 (2012; Zbl 1262.22002)]. For \(n= 2\), a neighborhood base at the identity \(e\) in \(\mathbf {FP}_{2}(X)\) is obtained. If \(X\) is a \(T_{1}\) space (resp. transitive \(T_{1}\) space) and \(X^{ - 1}_d\) is the set \(X^{ - 1}\) bestowed with the discrete topology, the authors achieve various characterisations under which the natural mapping \(i_2:(X\oplus X^{ - 1}_d\oplus \{e\})^{2}\longrightarrow \mathbf{FP}_2(X)\) is a quotient mapping. Moreover, as applications, several interesting specific spaces and classes of spaces are taken into account to investigate as to whether the natural mapping \(i_{2}\) is a quotient mapping.