English

The mapping $i_{2}$ on the free paratopological groups

Group Theory 2015-07-22 v1 General Topology

Abstract

Let FP(X)FP(X) be the free paratopological group over a topological space XX. For each non-negative integer nNn\in\mathbb{N}, denote by FPn(X)FP_{n}(X) the subset of FP(X)FP(X) consisting of all words of reduced length at most nn, and ini_{n} by the natural mapping from (XX1{e})n(X\bigoplus X^{-1}\bigoplus\{e\})^{n} to FPn(X)FP_{n}(X). In this paper, we mainly improve some results of A.S. Elfard and P. Nickolas's [On the topology of free paratopological groups. II, Topology Appl., 160(2013), 220--229.]. The main result is that the natural mapping i2:(XXd1{e})2FP2(X)i_{2}: (X\bigoplus X_{d}^{-1}\bigoplus\{e\})^{2}\longrightarrow FP_{2}(X) is a closed mapping if and only if every neighborhood UU of the diagonal Δ1\Delta_{1} in Xd×XX_{d}\times X is a member of the finest quasi-uniformity on XX, where XX is a T1T_{1}-space and XdX_{d} denotes XX when equipped with the discrete topology in place of its given topology.

Keywords

Cite

@article{arxiv.1507.05646,
  title  = {The mapping $i_{2}$ on the free paratopological groups},
  author = {Fucai Lin and Chuan Liu},
  journal= {arXiv preprint arXiv:1507.05646},
  year   = {2015}
}

Comments

7

R2 v1 2026-06-22T10:15:19.942Z