Weird $\mathbb R$-Factorizable Groups

The problem of the existence of non-pseudo-$\aleph_1$-compact $\mathbb R$-factorizable groups is studied. It is proved that any such group is submetrizable and has weight larger than $ω_1$. Closely related results concerning the $\mathbb R$-factorizability of products of topological groups and spaces are also obtained (a product $X\times Y$ of topological spaces is said to be $\mathbb R$-factorizable if any continuous function $X\times Y\to \mathbb R$ factors through a product of maps from $X$ and $Y$ to second-countable spaces). In particular, it is proved that the square $G\times G$ of a topological groups $G$ is $\mathbb R$-factorizable as a group if and only if it is $\mathbb R$-factorizable as a product of spaces, in which case $G$ is pseudo-$\aleph_1$-compact. It is also proved that if the product of a space $X$ and an uncountable discrete space is $\mathbb R$-factorizable, then $X^ω$ is heredirarily separable and heredirarily Lindelöf.

Publication Details

Journal
ArXiv.org
Published
2025-06-23
Primary Topic
Advanced Topology and Set Theory
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Weird $\mathbb R$-Factorizable Groups

ArXiv.org
Advanced Topology and Set Theory
article

Weird $\mathbb R$-Factorizable Groups

article en

Abstract

The problem of the existence of non-pseudo-$\aleph_1$-compact $\mathbb R$-factorizable groups is studied. It is proved that any such group is submetrizable and has weight larger than $ω_1$. Closely related results concerning the $\mathbb R$-factorizability of products of topological groups and spaces are also obtained (a product $X\times Y$ of topological spaces is said to be $\mathbb R$-factorizable if any continuous function $X\times Y\to \mathbb R$ factors through a product of maps from $X$ and $Y$ to second-countable spaces). In particular, it is proved that the square $G\times G$ of a topological groups $G$ is $\mathbb R$-factorizable as a group if and only if it is $\mathbb R$-factorizable as a product of spaces, in which case $G$ is pseudo-$\aleph_1$-compact. It is also proved that if the product of a space $X$ and an uncountable discrete space is $\mathbb R$-factorizable, then $X^ω$ is heredirarily separable and heredirarily Lindelöf.

ArXiv.org
Openalex Percentile: Top 44%
Advanced Topology and Set Theory
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Weird $\mathbb R$-Factorizable Groups · ArXiv.org (2025) | TGRS Research Map | TGRS