Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2611.08171

Dense Exact Factorizations of Countable Topological Groups

Mikhail Kabenyuk
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove that every countably infinite group endowed with a topology of countable weight in which every nonempty open set is infinite admits an exact factorization into two dense infinite subsets. More generally, every finite partial exact factorization with nonempty factors extends to an exact factorization of the whole group in which both factors meet every member of a prescribed at most countable family of infinite subsets in infinitely many points. This settles the countable case of a question of Protasov and Slobodianiuk. The proof uses the finite graph Ramsey theorem, invariant finitely additive probability measures on amenable groups, and a structural lemma on quadratic coverings based on Neumann's coset covering lemma.

Explore related subjects

math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mikhail Kabenyuk. 2026-11-05. Dense Exact Factorizations of Countable Topological Groups. https://arxiv.org/abs/2611.08171

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

KEEP EXPLORING

Related papers

arXiv2026

Bounds on Negligible Thresholds in Group Cohomology

Let $F$ be a field, $K/F$ a field extension with $Γ_K:=\text{Gal}(K_\text{sep}/K)$, $G$ a finite group, $j:Γ_K\rightarrow G$ a continuous group homomorphism, and $M$ an abelian group. There is an induced map of profinite cohomology $j^*:H^n (G;M)\rightarrow H^n (K;M)=:H^n (Γ_K;M)$. An element $u\in H^n (G;M)$ is negligible over $F$ if $j^* (u)=0$ for all such $j$ and field extensions $K/F$. The subset of negligible elements forms a subgroup $H^n (G;M)_{\text{neg},F}\subseteq H^n (G;M)$. The negligible threshold $\text{nthres}^G_F (M)$ is the smallest $N\in\mathbb{N}_{\geq 0}\cup\{\infty\}$ such that $H^n (G;M)_{\text{neg},F}=H^n (G;M)$ for all $n\geq N$. In this paper, we first establish some general bounds for negligible thresholds of arbitrary triples $(G,M,F)$ consisting of a finite group $G$, trivial $G$-module $M$, and field $F$. We then compute the negligible thresholds of an arbitrary group when $F$ is a field of characteristic $p$ and $M=\mathbb{Z}/p^k\mathbb{Z}$. Continuing in the characteristic $p$ setting, we compute these thresholds for $G$ a $p$-group and $M=\mathbb{Z}$, and we compute the thresholds for $G=\mathbb{Z}/\ell\mathbb{Z},M=\mathbb{Z}/s\mathbb{Z}$ for integers $s,\ell\in\mathbb{N}_{>1}$ satisfying certain number theoretic conditions. For fields containing sufficiently many roots of unity, we show that the negligible threshold of odd exponent finitely-generated trivial $G$-modules is finite. For $G$-modules of the form $\mathbb{Z}/p\mathbb{Z}$, $p$ an odd prime, we compute an explicit upper bound for the negligible threshold in terms of $p$ and $|G|$. We conclude by providing explicit computations of the negligible thresholds of elementary abelian $p$-groups with mod-$p$ coefficients, negligible thresholds of cyclic groups, and bounds on mod-$p$ negligible thresholds of general finite abelian $p$-groups.

math.GR↗
arXiv2026

On the triple product property for subgroups of finite groups of nilpotency class $2$

Some non-trivial upper bounds are proved relating to the triple product property (TPP) for subgroups of finite nilpotent groups of class $2$ using elementary group theory. The TPP is the property defined for three non-empty subsets $S, T, U$ of a group $G$ that the group equation $s's^{-1}t't^{-1}u'u^{-1} = 1$, over pairs of elements $s', s \in S$, $t', t \in T$, $u', u \in U$, is satisfied if and only if $s' = s$, $t' = t$, $u' = u$. When $G$ is finite, and the parameter $ρ_0(G)$, called \emph{subgroup TPP ratio}, is defined as $ρ_0(G) := \max\frac{|S||T||U|}{|G|}$, where the maximum is over the collection of all triples of subgroups $S, T, U$ of $G$ satisfying the TPP, this paper proves that \textup{(1)} $ρ_0(G) < \sqrt{G:Z(G)}$} for (all) groups of nilpotency class $2$, \textup{(2)} $ρ_0(G) \leq p$ for $p$-groups with a cyclic commutator subgroup of order $p$, \textup{(3)} $ρ_0(G) = 1$ for $p$-groups of nilpotency class $2$ with a "large" centre such that either $G/Z(G)$ is isomorphic to $C_p \times C_p$ or $C_{p^2} \times C_p$, \textup{(4)} and $ρ_0(G) = 1$ for $p$-groups of nilpotency class $2$ with "small" (irreducible, complex) character degrees of $1$ or $p$ where $G/Z(G)$ is not isomorphic to $C_p \times C_p \times C_p$.

math.GR↗