arxiv: 2604.17232 · v2 · submitted 2026-04-19 · 🧮 math.GR

Recognition: unknown

Alternating and Symmetric Separability of Free Products

Dongxiao Zhao, Qiang Zhang

Pith reviewed 2026-05-10 05:47 UTC · model grok-4.3

classification 🧮 math.GR

keywords free productsA union S separabilityLERF groupsfree groupssubgroup separabilityalternating groupssymmetric groupsresidual finiteness

0 comments

The pith

Subgroups of free products F ∗ G are A ∪ S-separable when they meet sufficient conditions on H, with the key case being all finitely generated infinite-index subgroups of the free factor F.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper supplies sufficient conditions on a subgroup H inside the free product of a free group F and a LERF group G so that H can be separated from any finite list of elements outside it by a homomorphism onto an alternating or symmetric group. A sympathetic reader would care because this form of separability gives concrete finite quotients that distinguish the subgroup, extending what is already known for free groups alone. The main corollary states that every finitely generated infinite-index subgroup of F satisfies the property no matter which LERF group is chosen for the second factor. This supplies a uniform way to produce alternating and symmetric quotients that respect the subgroup structure in these free products.

Core claim

Let F ∗ G be a free product of a free group F and a LERF group G. Under sufficient conditions on a subgroup H of F ∗ G, for any finite set {γ1, …, γn} outside H there exists a surjection f : F ∗ G → A or S (alternating or symmetric group) with f(γi) not in f(H) for all i. As a corollary, every finitely generated infinite-index subgroup of F is A ∪ S-separable in F ∗ G for arbitrary LERF G, generalizing Wilton’s result for free groups.

What carries the argument

A ∪ S-separability: the property that any finite set of elements outside H can be separated from H by a surjection of the whole group onto an alternating or symmetric group.

If this is right

Every finitely generated infinite-index subgroup of the free factor F is A ∪ S-separable inside F ∗ G whenever G is LERF.
The same separability holds for other subgroups of F ∗ G that meet the stated sufficient conditions on H.
The result supplies alternating and symmetric quotients that witness the separation for any finite list of outsiders.
The statement recovers and extends Wilton’s earlier theorem when G is trivial.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The LERF hypothesis on G can be checked for many concrete classes (surface groups, hyperbolic groups) to obtain explicit families of examples.
One could ask whether the sufficient conditions on H are close to necessary by testing small-rank free products and low-index subgroups.
The construction may combine with other residual properties to produce simultaneous separations in several quotient types at once.

Load-bearing premise

G must be LERF and H must satisfy the sufficient conditions supplied in the paper.

What would settle it

An explicit LERF group G together with a finitely generated infinite-index subgroup H of a free group F for which some element outside H remains in the image of H under every surjection of F ∗ G onto an alternating or symmetric group.

read the original abstract

Let $F \ast G$ be a free product of a free group $F$ and a LERF group $G$. In this note, we provide sufficient conditions for a subgroup $H$ of $F \ast G$ to be $\mathcal{A} \cup \mathcal{S}$-separable, that is, for any finite set $\{\gamma_1, \ldots, \gamma_n\} \subset (F \ast G) \setminus H$, there is a surjection $f$ from $F \ast G$ to an alternating or symmetric group such that $f(\gamma_i) \notin f(H)$ for all $i$. As a corollary, any finitely generated infinite-index subgroup of a free group is $\mathcal{A} \cup \mathcal{S}$-separable in the free product of the free group and an arbitrary LERF group, generalizing a result of Wilton.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This note gives explicit conditions for A∪S-separability in free products F*G and extends Wilton's result via a direct combination with LERF assumptions on G.

read the letter

The main thing to know is that this short note states sufficient conditions for a subgroup H of F * G to be A∪S-separable and uses them to extend Wilton's result on free groups to the free-product setting with any LERF group G. The conditions appear in Theorem 1.1: H must be finitely generated, satisfy a malnormality-type condition relative to the free factor F, and carry a residual property inherited from G. The corollary then checks that these hold for finitely generated infinite-index subgroups of F by composing known maps on the free factor with auxiliary quotients from the LERF property of G. The argument is a straightforward gluing of existing free-group separability facts with the free-product decomposition, with no circular steps or hidden restrictions. The LERF assumption is used narrowly and appropriately to produce the needed finite quotients. The paper does this cleanly and makes the requirements on H explicit, which is helpful for anyone trying to apply the result. The main limitation is that the advance is incremental. It organizes a combination of prior work rather than introducing new techniques or settling larger questions in the area. The conditions on H are restrictive enough to work for the corollary but will not cover arbitrary subgroups without further restrictions. Soundness looks solid on the description, though a referee should verify the exact composition of the alternating and symmetric quotients in the free-product case. This is aimed at specialists in combinatorial group theory who track separability and residual properties. Readers already familiar with Wilton's work and LERF groups will get the clearest value as a reference for how these properties behave under free products. It is not broad enough to interest a general audience. I would send it to peer review. The claim is precise, the argument is checkable, and short notes of this type still benefit from confirmation that the conditions compose correctly.

Referee Report

0 major / 2 minor

Summary. The manuscript claims to provide sufficient conditions for subgroups H of a free product F ∗ G, with F free and G LERF, to be A ∪ S-separable. That is, for any finite set of elements outside H, there is a homomorphism to an alternating or symmetric group that separates those elements from the image of H. The main theorem (Theorem 1.1) specifies that H must be finitely generated, satisfy a malnormality-type condition with respect to the free factor F, and inherit a residual property from G. As a corollary, this implies that any finitely generated infinite-index subgroup of a free group is A ∪ S-separable in the free product with an arbitrary LERF group, thereby generalizing a result of Wilton.

Significance. If the claims hold, the result is significant as it extends separability properties from free groups to free products with LERF groups using a direct combination of known results on free-group separability and the free-product structure. This generalization could facilitate further research on residual finiteness and subgroup separability in geometric group theory, particularly in contexts involving free products. The paper credits the combination of existing techniques without introducing new circular dependencies, which strengthens its contribution.

minor comments (2)

[Theorem 1.1] While the sufficient conditions are stated, the precise definition of the 'malnormality-type condition' should be recalled or referenced explicitly in the theorem statement for clarity, as it is central to the application in the corollary.
[Corollary] The verification that the conditions hold for finitely generated infinite-index subgroups of F could include a brief outline of why the malnormality condition is satisfied, even if it follows from standard facts about free groups.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and accurate summary of our main results on A∪S-separability in free products F ∗ G. We appreciate the recognition that the work generalizes Wilton's theorem by combining known techniques on free-group separability with the free-product structure, without circular dependencies. The recommendation for minor revision is noted, and we will incorporate any such changes in the revised manuscript.

Circularity Check

0 steps flagged

No significant circularity; derivation is a direct combination of independent external results

full rationale

The paper explicitly states sufficient conditions (finitely generated H with malnormality-type condition w.r.t. F and residual property from G) in Theorem 1.1 for A∪S-separability in F*G with G LERF. The corollary for infinite-index f.g. subgroups of F is obtained by verifying these conditions via LERF on G to build auxiliary quotients, then composing with known A∪S-separability maps on the free factor (citing Wilton, an external result). No self-definitional loops, no fitted parameters renamed as predictions, no load-bearing self-citations, and no ansatz smuggled via prior work by the same authors. The argument is self-contained against external benchmarks and does not reduce any claim to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The abstract relies on standard definitions of free products, LERF groups, and A∪S-separability without introducing new parameters, axioms beyond domain assumptions, or invented entities.

axioms (1)

domain assumption G is LERF
Invoked as the hypothesis on the second factor in the free product F ∗ G.

pith-pipeline@v0.9.0 · 5448 in / 1218 out tokens · 57452 ms · 2026-05-10T05:47:53.264645+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

19 extracted references

[1]

Agol,The virtual Haken conjecture, Documenta Math

I. Agol,The virtual Haken conjecture, Documenta Math. 18 (2013), 1045-1087

2013
[2]

Buran,Alternating quotients of right-angled Coxeter groups, Groups Geom

M. Buran,Alternating quotients of right-angled Coxeter groups, Groups Geom. Dyn., 15(2021), 965-987

2021
[3]

Burns,On finitely generated subgroups of free products, J

R. Burns,On finitely generated subgroups of free products, J. Austral. Math. Soc., 12(1971), 358-364

1971
[4]

Dixon and B

J. Dixon and B. Mortimer,Permutation groups, Graduate Texts in Mathematics, 163. Springer-Verlag, New York, 1996

1996
[5]

Gitik,Graphs and separability properties of groups, J

R. Gitik,Graphs and separability properties of groups, J. Algebra, 188(1997), 125-143

1997
[6]

Hall,Coset representations in free groups, Trans

M. Hall,Coset representations in free groups, Trans. Amer. Math. Soc., 67(1949), 421-432

1949
[7]

Kurosch,Die Untergruppen der freien Produkte von beliebigen Gruppen, Math

A. Kurosch,Die Untergruppen der freien Produkte von beliebigen Gruppen, Math. Ann., 109(1934), 647-660

1934
[8]

Mal’cev,On homomorphisms onto finite groups, Ivanov

A. Mal’cev,On homomorphisms onto finite groups, Ivanov. Gos. Ped. Inst. Ucen. Zap., 18(1958), 49-60

1958
[9]

Markus-Epstein,Stallings foldings and subgroups of amalgams of finite groups, Internat

L. Markus-Epstein,Stallings foldings and subgroups of amalgams of finite groups, Internat. J. Algebra Comput., 17(2007), 1493-1535

2007
[10]

Markus-Epstein,Reading off Kurosh decompositions, Internat

L. Markus-Epstein,Reading off Kurosh decompositions, Internat. J. Algebra Comput., 18(2008), 1117-1136

2008
[11]

Niblo and D

G. Niblo and D. Wise,Subgroup separability, knot groups and graph manifolds, Proc. Amer. Math. Soc. 129(3)(2001), 685-693

2001
[12]

Romanovskii,On the residual finiteness of free products with respect to subgroups, Izv

N. Romanovskii,On the residual finiteness of free products with respect to subgroups, Izv. Akad. Nauk SSSR Ser. Mat., 33(1969), 1324-1329

1969
[13]

Scott,Subgroups of surface groups are almost geometric, J

P. Scott,Subgroups of surface groups are almost geometric, J. London Math. Soc., 17(1978), 555-565

1978
[14]

Stallings,Topology of finite graphs, Invent

J. Stallings,Topology of finite graphs, Invent. Math., 71(1983), 551-565

1983
[15]

Sun,Non-LERFness of arithmetic hyperbolic manifold groups and mixed 3-manifold groups, Duke Math

H. Sun,Non-LERFness of arithmetic hyperbolic manifold groups and mixed 3-manifold groups, Duke Math. J., 168(2019), 655-696

2019
[16]

Tamburini and J

M. Tamburini and J. Wilson,A residual property of certain free products, Math. Z., 186(1984), 525-530

1984
[17]

Wilton,Hall’s theorem for limit groups, Geom

H. Wilton,Hall’s theorem for limit groups, Geom. Funct. Anal., 18(2008), 271-303

2008
[18]

Wilton,Alternating quotients of free groups, Enseign

H. Wilton,Alternating quotients of free groups, Enseign. Math., 58(2012), 49-60

2012
[19]

Wise,The structure of groups with a quasiconvex hierarchy, V ol.209 of Annals of Mathematics Studies., Princeton University Press, 2021

D. Wise,The structure of groups with a quasiconvex hierarchy, V ol.209 of Annals of Mathematics Studies., Princeton University Press, 2021. SCHOOL OFMATHEMATICS ANDSTATISTICS, XI’ANJIAOTONGUNIVERSITY, XI’AN710049, CHINA Email address:zdxmath@stu.xjtu.edu.cn, ORCID: 0009-0006-7919-9244 SCHOOL OFMATHEMATICS ANDSTATISTICS, XI’ANJIAOTONGUNIVERSITY, XI’AN71004...

2021