Topological monomorphisms between free paratopological groups

MaRDI QIDQ690859zbMATH OpenFDO

Authors Fucai Lin

Publication date 29 November 2012

Published in Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1302.4434, https://projecteuclid.org/euclid.bbms/1347642379

zbMATH Keywords

free paratopological groupsfree topological groupsquasi-P-embeddedquasi-P\(^{\ast}\)-embeddedquasi-pseudometricquasi-uniform spacetopological monomorphismuniversal quasi-uniformity

Mathematics Subject Classification ID

Extension of maps (54C20) Embedding (54C25) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Uniform structures and generalizations (54E15) Topological groups (topological aspects) (54H11)

Abstract: Suppose that $X$ is a subspace of a Tychonoff space $Y$. Then the embedding mapping $e_{X,Y}:XightarrowY$ can be extended to a continuous monomorphism $hat{e}_{X,Y}:AP(X)ightarrowAP(Y)$, where $AP(X)$ and $AP(Y)$ are the free Abelian paratopological groups over $X$ and $Y$, respectively. In this paper, we mainly discuss when $hat{e}_{X,Y}$ is a topological monomorphism, that is, when $hat{e}_{X,Y}$ is a topological embedding of $AP(X)$ to $AP(Y)$.

Review text

Let \(Y\) be a Tychonov topological space. The free paratopological group \(FP(Y)\) and the abelian free paratopological group \(AP(Y)\) over \(Y\) were introduced in [\textit{S. Romaguera}, \textit{M. Sanchis} and \textit{M. G. Tkachenko}, Topol. Proc. 27, No. 2, 613-640 (2003; Zbl 1062.22005)] in analogy to the notions of free topological group \(F(Y)\) and abelian free topological group \(A(Y)\) over \(Y\). Let \(X\) be a subspace of \(Y\) and let \(e_{X,Y}:X\to Y\) denote the embedding map; then the extension \(\hat{e}_{X,Y}:AP(X)\to AP(Y)\) is a continuous monomorphism. The main result of this paper characterizes the case when \(\hat{e}_{X,Y}:AP(X)\to AP(Y)\) is a topological monomorphism. This is the counterpart for abelian free paratopological groups of a known result for abelian free topological groups proved in [\textit{M.G. Tkachenko}, Sov. Math., Dokl. 27, 341--345 (1983); translation from Dokl. Akad. Nauk SSSR 269, 299--303 (1983; Zbl 0521.22002)]. An analogous characterization for free topological groups is given in [\textit{E. Nummela}, Topology Appl. 13, 77-83 (1982; Zbl 0471.22001)] and [\textit{V.G. Pestov}, Vestn. Mosk. Univ., Ser. I 1982, No. 1, 35--37 (1982; Zbl 0499.22001)] when \(X\) is dense in \(Y\). So the same problem is considered here for free paratopological groups, and in case \(X\) is dense in \(Y\) a necessary condition is found to have that \(\hat{e}_{X,Y}:FP(X)\to FP(Y)\) is a topological monomorphism. The theory of quasi-uniformities and new results about quasi-pseudometrics on (abelian) free paratopological groups are applied to prove these theorems.

Recommendations

• On the topology of free paratopological groups
• On free paratopological groups
• On monomorphisms of free groups
• scientific article; zbMATH DE number 2104425
• Free paratopological groups
• scientific article; zbMATH DE number 6258284
• Topologies for the free monoid
• A note on free paratopological groups
• On the topology of free paratopological groups. II
• scientific article; zbMATH DE number 2203365

Cited in

(4)

• Free Abelian paratopological groups over metric spaces
• scientific article; zbMATH DE number 6903049 (Why is no real title available?)
• The mapping \(i_2\) on the free paratopological groups
• Direct limit topologies of quasi-uniform spaces and paratopological groups

This page was built for publication: Topological monomorphisms between free paratopological groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q690859)