Product Embedding Methods for Free (Para)topological groups
Main Article Content
Abstract
Product embedding methods constitute one of the fundamental tech- niques in the construction of free topological groups and in the study of their universal properties. In this paper, we investigate the role of these methods in the construction of free topological and free paratopo- logical groups. Beginning with the classical constructions of Kakutani and Hewitt–Ross, we analyze the use of separating families of continuous mappings, evaluation maps, diagonal embeddings, and product represen- tations as the main ingredients in the existence and structural character- ization of free objects. We then examine Elfard’s adaptation of this ap- proach to free paratopological groups, where the absence of continuous in- version requires substantial modifications of the classical arguments while preserving the universal mapping property. A comparison between the topological and paratopological constructions is given, highlighting both the common embedding framework and the essential differences arising from the weaker algebraic-topological assumptions. The analysis demon- strates that product embeddings provide a unifying mechanism for free (para)topological group constructions and suggests possible extensions of these methods to categories with weaker continuity conditions, such as quasitopological and semitopological groups.
Article Details

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
You are free to:
- Share — copy and redistribute the material in any medium or format.
- Adapt — remix, transform, and build upon the material.
Under the following terms:
- Attribution — You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
- NonCommercial — You may not use the material for commercial purposes.
- No additional restrictions — You may not apply legal terms or technological measures that legally restrict others from doing anything the license permits.
References
[1] A. A. Markov, “On free topological groups,” Izvestiya Akademii Nauk SSSR, Seriya Matematicheskaya, vol. 9, no. 1, pp. 3–64, 1945.
[2] S. Kakutani, “Free topological groups and infinite direct product topological groups,” Proc. Imperial Academy (Tokyo), vol. 20, pp. 595–598, 1944.
[3] E. Hewitt and K. A. Ross, Abstract Harmonic Analysis, vol. I, Die Grundlehren der mathematischen Wissenschaften, vol. 115. Berlin, Germany: Springer-Verlag, 1963.
[4] C. Romaguera, M. Sanchis, and M. Tkachenko, “Free paratopological groups,” Topology Proc., vol. 27, no. 2, pp. 613–640, 2003.
[5] O. V. Ravsky, “Paratopological groups. I,” Mat. Stud., vol. 16, no. 1, pp. 37–48, 2001.
[6] A. Ravsky, “On the metrizability of topological groups,” Visnyk Lviv Univ., Ser. Mech. Math., vol. 61, pp. 82–92, 2004.
[7] N. Pyrch and A. Ravsky, “Free paratopological groups,” Topology Appl., vol. 194, pp. 108–118, 2015.
[8] A. S. Elfard and P. Nickolas, “On the topology of free paratopological groups,” Bull. London Math. Soc., vol. 44, pp. 1103–1115, 2012.
[9] A. S. Elfard and P. Nickolas, “On the topology of free paratopological groups. II,” Topology Appl., vol. 160, pp. 220–229, 2013.
[10] A. S. Elfard, “Free paratopological groups,” Appl. Gen. Topol., vol. 16, no. 2, pp. 89–98, 2015, doi: 10.4995/agt.2015.1874.
[11] A. S. Elfard, “Free paratopological groups. II,” Topology Proc., vol. 43, pp. 331–339, 2014.
[12] A. S. Elfard, “Neighborhood bases at the identity of free paratopological groups,” Topol. Algebra Appl., vol. 1, pp. 31–36, 2013.
[13] R. Ellis, “A note on the continuity of inversion in a group,” Proc. Amer. Math. Soc., vol. 8, pp. 372–373, 1957.
[14] A. V. Arhangel'skii and M. G. Tkachenko, Topological Groups and Related Structures, Atlantis Studies in Mathematics, vol. 1. Paris, France: Atlantis Press, 2008.
[15] J. L. Kelley, General Topology. Toronto, ON, Canada: D. Van Nostrand Company, Inc., 1955.
[16] J. Brazas and S. Emery, “Free quasitopological groups,” Topology Appl., vol. 326, Art. no. 108416, 202