Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2312.10724

On the product of almost discrete Grothendieck spaces

Alexander V. Osipov
View original source ↗Read source document ↗Export metadata ↓

Abstract

A topological space $X$ is called almost discrete, if it has precisely one nonisolated point. In this paper, we get that for a countable product $X=\prod X_i$ of almost discrete spaces $X_i$ the space $C_p(X)$ of continuous real-valued functions with the topology of pointwise convergence is a $μ$-space if, and only if, $X$ is a weak $q$-space if, and only if, $t(X)=ω$ if, and only if, $X$ is functionally generated by the family of all its countable subspaces. This result makes it possible to solve Archangel'skii's problem on the product of Grothendieck spaces. It is proved that in the model of $ZFC$, obtained by adding one Cohen real, there are Grothendieck spaces $X$ and $Y$ such that $X\times Y$ is not weakly Grothendieck space. In $(PFA)$: the product of any countable family almost discrete Grothendieck spaces is a Grothendieck space.

Explore related subjects

math.GN

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alexander V. Osipov. 2023-12-17. On the product of almost discrete Grothendieck spaces. https://arxiv.org/abs/2312.10724

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Calibers of canonical hyperconnected spaces and their Vietoris hyperspaces

For infinite cardinals $λ\leq κ$, we calculate the calibers of topological spaces $X$ of cardinality $κ$ whose open sets are the subsets $A$ satisfying $|X \setminus A| < λ$. We also prove that the set of calibers of $X$ coincides with the set of calibers of the Vietoris hyperspace $\mathcal{H}(X)$, where the space $\mathcal{H}(X)$ has as its underlying set a collection of subsets of $X$ that includes all its finite subsets and is contained within the collection of its closed subsets.

math.GN↗
arXiv2026

The circle as a topological fractal

We prove that no family of two continuous self-maps witnesses that the circle is a topological fractal, answering a question of Karasová and the present author. Since three maps are known to suffice, this bound is optimal. In contrast, for every $\varepsilon>0$ there are two continuous self-maps of the circle, depending on $\varepsilon$, whose images cover the circle and an integer $N$ such that every composition of $N$ of them has image of diameter less than $\varepsilon$. Thus two maps suffice at any prescribed scale, but no fixed pair works at all scales.

math.GN↗
arXiv2026

Singular Submodules of Abelian Groups over Their Endomorphism Rings

Let $A$ be an abelian group and $E=\Endo_{\Z}(A)$. We give a module-theoretic description of the singular $E$-submodules asked for in Fuchs' Problem~1.2. For a unital ring $R$ and a left $R$-module $M$, put $W=I_R({}_RR)\oplus I_R(M)$ and $J=\Jaco(\Endo_R(W))$, and let $u$ be the image of $1_R$. The classical essential-kernel criterion yields \[ Z_R(M)=M\cap Ju. \] For $R=E$ and $M=A$, all singular submodules are therefore the $E$-submodules of $A\cap Ju$. Writing $T=t(A)$ and $B=A/T$, we prove a torsion-transfer formula, identify the torsion part as $\bigoplus_p pT_p$, and describe simultaneous prime lifting by a canonical obstruction. The resulting extension gives an $\Extt/\Homm$ parametrization of all singular submodules. We obtain explicit formulas for torsion groups and for $\Z(p^\infty)\oplus B$ with $B$ torsion-free; in the latter case the fully invariant subgroup lattice of $B$ occurs as an interval. The general description retains the induced endomorphism action and extension data, rather than giving a classification by classical group invariants.

math.GN↗