pith. machine review for the scientific record. sign in

arxiv: 2605.09763 · v1 · submitted 2026-05-10 · 🧮 math.GR

Recognition: 2 theorem links

· Lean Theorem

Cyclic Subgroups of Belk-Hyde-Matucci Group V\!mathcal{A}

Jos\'e Burillo, Marc Felipe

Pith reviewed 2026-05-12 03:08 UTC · model grok-4.3

classification 🧮 math.GR
keywords Belk-Hyde-Matucci groupVA groupdistorted cyclic subgroupsabelian subgroupssubgroup distortioninfinite groupscyclic subgroupsgroup embeddings
0
0 comments X

The pith

The Belk-Hyde-Matucci group VA contains every countable abelian group yet contains no subgroups with distorted cyclic subgroups.

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

The paper establishes that the Belk-Hyde-Matucci group VA, which contains every countable abelian group as a subgroup, does not contain any subgroups that have distorted cyclic subgroups. This separates the combinatorial size of VA from the presence of metric distortion in its cyclic parts. A sympathetic reader would care because many groups that embed large families of abelian groups also introduce distortion in cyclic subgroups, and the absence of this feature in VA is a structural property worth noting. The proof proceeds from the explicit construction of VA and standard comparisons of word metrics.

Core claim

It is proved that the Belk-Hyde-Matucci group VA does not contain subgroups with distorted cyclic subgroups, even though VA contains every countable abelian group.

What carries the argument

The Belk-Hyde-Matucci group VA, whose construction embeds all countable abelian groups while controlling word lengths so that no cyclic subgroup becomes distorted inside any larger subgroup.

If this is right

  • Every cyclic subgroup of every subgroup of VA is undistorted relative to the ambient metric of that subgroup.
  • Any embedding of a countable abelian group into VA preserves the undistorted character of its cyclic subgroups.
  • VA supplies an example of a group whose subgroup lattice is rich in abelian groups yet free of cyclic distortion.
  • The absence of distorted cyclic subgroups holds uniformly across all subgroups of VA.

Where Pith is reading between the lines

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

  • The result suggests that VA may admit quasi-isometric embeddings of its abelian subgroups that preserve cyclic lengths exactly.
  • Similar control over cyclic distortion might be checked directly in other groups constructed by the same Belk-Hyde-Matucci method.
  • One could test the boundary by attempting to force a distorted cyclic inside a carefully chosen subgroup of VA and see where the construction breaks.

Load-bearing premise

The standard definitions of the group VA and of distorted cyclic subgroups as used in the literature are sufficient to carry the proof without hidden extra assumptions on how distortion is measured.

What would settle it

The explicit construction of a subgroup H inside VA together with an element g in H such that the word length of g^n computed inside H grows asymptotically faster than the word length of g^n computed inside VA would falsify the claim.

Figures

Figures reproduced from arXiv: 2605.09763 by Jos\'e Burillo, Marc Felipe.

Figure 1
Figure 1. Figure 1: An element of V . Brin’s group A, sometimes known as Aut+ (F), is a certain group of functions f from R to R introduced by Brin in [3]. By conjugating by the map ψ : (0, 1) → R that sends linearly [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: An element of A. It is worth noting that, even though an element of A may have infinitely many linear pieces, there is only a finite number of slopes these pieces can have, as the ones near 0 and 1 are bound to have the same slope as a further segment. The Belk-Hyde-Matucci group VA, introduced in [2], is the group of functions that is gener￾ated by V and A, when both are seen as functions from C to C. The… view at source ↗
Figure 3
Figure 3. Figure 3: Element of VA with two singularities, one at 1 8 + and one at 7 8 − . When multiplying two elements of VA, we can approximately locate its singularities. Indeed, if f, g ∈ VA and f ·g (= g ◦f) has a singularity at s ∈ C, then it can only be due to the following two reasons: f itself has a singularity at s, or f sends s to t, where t is a singularity of g. That is, s ∈ Sing(f)∪f −1 (Sing(g)). On the other… view at source ↗
Figure 4
Figure 4. Figure 4: y = g(x) in black, y = x in red and y = p−λ(p−x) in blue. The singularity s = p − is at the top right [PITH_FULL_IMAGE:figures/full_fig_p007_4.png] view at source ↗
read the original abstract

In this paper it is proved that the Belk-Hyde-Matucci group $V\!\mathcal{A}$, a group containing every countable abelian group, does not contain subgroups with distorted cyclic subgroups.

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.

Referee Report

1 major / 0 minor

Summary. The manuscript asserts that it proves the Belk-Hyde-Matucci group V𝒜, which contains every countable abelian group, has no distorted cyclic subgroups. The argument is described as proceeding from the standard presentation and combinatorial action on the Cantor set, showing quasi-isometric embedding of cyclic subgroups via comparison of support size or breakpoint count to the exponent.

Significance. If established, the result would be of interest in geometric group theory by exhibiting a group with maximal abelian subgroup diversity (embedding all countable abelian groups) yet with all cyclic subgroups undistorted in the word metric. The reliance on standard definitions of V𝒜 and distortion (without auxiliary length functions or restrictions on elements) is a strength, as is the direct comparison to the usual word-length function d_VA(1, g^n) ≍ |n|.

major comments (1)
  1. Abstract: The abstract asserts that a proof exists, but the manuscript supplies no derivation steps, definitions of the group or of distortion, lemmas, or explicit checks. This prevents any evaluation of soundness beyond the bare claim statement.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their review of our manuscript. We address the single major comment below and will revise the abstract to improve accessibility while preserving the existing proof content.

read point-by-point responses

  1. Referee: Abstract: The abstract asserts that a proof exists, but the manuscript supplies no derivation steps, definitions of the group or of distortion, lemmas, or explicit checks. This prevents any evaluation of soundness beyond the bare claim statement.

    Authors: The full manuscript does contain the standard presentation of V𝒜, the definition of distortion (failure of d_VA(1,g^n) to grow linearly with |n|), and the explicit argument via the combinatorial action on the Cantor set, comparing support size or breakpoint count to the exponent to obtain the quasi-isometric embedding d_VA(1,g^n) ≍ |n|. We nevertheless agree that the abstract is too terse and provides no outline of these elements. We will expand the abstract to include a concise statement of the group, the distortion notion used, and the main comparison technique, thereby allowing direct evaluation of the proof strategy. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper states a direct proof that the Belk-Hyde-Matucci group VA, known to embed every countable abelian group, contains no distorted cyclic subgroups. The argument relies on the standard presentation, action on the Cantor set, and combinatorial comparison of support size or breakpoint count to the exponent in the word metric, without introducing auxiliary length functions, fitted parameters, or reductions to self-citations. No load-bearing step equates a claimed prediction or uniqueness result to its own inputs by construction; the derivation remains self-contained against the given definitions of distortion.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the prior definition of the Belk-Hyde-Matucci group VA and the standard notion of distortion in groups; no new parameters or entities are introduced in the abstract.

axioms (1)
  • standard math Standard axioms and definitions of group theory and distortion
    The paper works inside the established framework of geometric group theory.

pith-pipeline@v0.9.0 · 5317 in / 998 out tokens · 47739 ms · 2026-05-12T03:08:43.684613+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

64 extracted references · 64 canonical work pages

  1. [1]

    Arzhantseva, G. N. and Burillo, J. and Lustig, M. and Reeves, L. and Short, H. and Ventura, E. , TITLE =. Adv. Math. , FJOURNAL =. 2005 , NUMBER =

    work page 2005

  2. [2]

    and Tarski, A

    Banach, S. and Tarski, A. , TITLE =. Fund. Math. , VOLUME =. 1924 , PAGES =

    work page 1924

  3. [3]

    and Brown, Kenneth S

    Belk, James M. and Brown, Kenneth S. , TITLE =. Internat. J. Algebra Comput. , FJOURNAL =. 2005 , NUMBER =

    work page 2005

  4. [4]

    Geometric methods in group theory , SERIES =

    Belk, James and Bux, Kai-Uwe , TITLE =. Geometric methods in group theory , SERIES =. 2005 , MRCLASS =

    work page 2005

  5. [5]

    Belk, James and Hyde, James and Matucci, Francesco , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 2022 , NUMBER =. doi:10.1090/bull/1762 , URL =

    work page doi:10.1090/bull/1762 2022

  6. [6]

    Belk, James and Bleak, Collin and Matucci, Francesco and Zaremsky, Matthew C. B. , TITLE=

    work page

  7. [7]

    Internat

    Birget, Jean-Camille , TITLE =. Internat. J. Algebra Comput. , FJOURNAL =. 2004 , NUMBER =

    work page 2004

  8. [8]

    and Brendle, Tara E

    Birman, Joan S. and Brendle, Tara E. , TITLE =. Handbook of knot theory , PAGES =. 2005 , MRCLASS =

    work page 2005

  9. [9]

    Word distance on the discrete

    Blach. Word distance on the discrete. Colloq. Math. , FJOURNAL =. 2003 , NUMBER =. doi:10.4064/cm95-1-2 , URL =

    work page doi:10.4064/cm95-1-2 2003

  10. [10]

    Thomas Brady and Jos\'e Burillo and Sean Cleary and Melanie Stein , title=

    work page

  11. [11]

    , TITLE =

    Bridson, Martin R. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 1999 , NUMBER =. doi:10.1090/S0894-0347-99-00308-2 , URL =

    work page doi:10.1090/s0894-0347-99-00308-2 1999

  12. [12]

    , TITLE =

    Brin, Matthew G. , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1996 , PAGES =

    work page 1996

  13. [13]

    , TITLE =

    Brin, Matthew G. , TITLE =

    work page

  14. [14]

    , TITLE =

    Brin, Matthew G. , TITLE =. Internat. J. Algebra Comput. , FJOURNAL =. 2006 , NUMBER =

    work page 2006

  15. [15]

    and Squier, Craig C

    Brin, Matthew G. and Squier, Craig C. , TITLE =. Invent. Math. , FJOURNAL =. 1985 , NUMBER =

    work page 1985

  16. [16]

    and Geoghegan, Ross , TITLE =

    Brown, Kenneth S. and Geoghegan, Ross , TITLE =. Invent. Math. , FJOURNAL =. 1984 , NUMBER =

    work page 1984

  17. [17]

    Burillo, Jos\'e and Cleary, Sean and Stein, Melanie , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2001 , NUMBER =

    work page 2001

  18. [18]

    Combinatorial and metric properties of

    Burillo, Jos. Combinatorial and metric properties of. Trans. Amer. Math. Soc. , FJOURNAL =. 2009 , NUMBER =. doi:10.1090/S0002-9947-08-04381-X , URL =

    work page doi:10.1090/s0002-9947-08-04381-x 2009

  19. [19]

    Quasi-isometrically embedded subgroups of

    Burillo, Jos. Quasi-isometrically embedded subgroups of. J. Algebra , FJOURNAL =. 1999 , NUMBER =

    work page 1999

  20. [20]

    Growth of positive words in

    Burillo, Jos. Growth of positive words in. Comm. Algebra , FJOURNAL =. 2004 , NUMBER =. doi:10.1081/AGB-120039280 , URL =

    work page doi:10.1081/agb-120039280 2004

  21. [21]

    Metric properties of higher-dimensional

    Burillo, Jos. Metric properties of higher-dimensional. Pacific J. Math. , FJOURNAL =. 2010 , NUMBER =. doi:10.2140/pjm.2010.248.49 , URL =

    work page doi:10.2140/pjm.2010.248.49 2010

  22. [22]

    Metric properties of braided

    Burillo, Jos. Metric properties of braided. Indiana Univ. Math. J. , FJOURNAL =. 2009 , NUMBER =. doi:10.1512/iumj.2009.58.3468 , URL =

    work page doi:10.1512/iumj.2009.58.3468 2009

  23. [23]

    The automorphism group of

    Burillo, Jos\'e. The automorphism group of. Rev. Mat. Iberoam. , FJOURNAL =. 2013 , NUMBER =. doi:10.4171/RMI/741 , URL =

    work page doi:10.4171/rmi/741 2013

  24. [24]

    Commensurations and subgroups of finite index of

    Burillo, Jos. Commensurations and subgroups of finite index of. Geom. Topol. , FJOURNAL =. 2008 , NUMBER =. doi:10.2140/gt.2008.12.1701 , URL =

    work page doi:10.2140/gt.2008.12.1701 2008

  25. [25]

    Burillo, Jos\'e and Cleary, Sean and Martino, Armando and Rver, Claas , TITLE =

    work page

  26. [26]

    Burillo, Jos\'e and Elder, Murray , TITLE =

    work page

  27. [27]

    and Burillo, Jos

    Bridson, Martin R. and Burillo, Jos. On groups whose geodesic growth is polynomial , JOURNAL =. 2012 , NUMBER =. doi:10.1142/S0218196712500488 , URL =

    work page doi:10.1142/s0218196712500488 2012

  28. [28]

    Bi-orderings on pure braided

    Burillo, Jos. Bi-orderings on pure braided. Q. J. Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.1093/qmath/ham029 , URL =

    work page doi:10.1093/qmath/ham029 2008

  29. [29]

    and Gutierrez, M

    Burillo, J. and Gutierrez, M. and Krsti. Crossing matrices and. Topology Appl. , FJOURNAL =. 2002 , NUMBER =

    work page 2002

  30. [30]

    Quasi-potency and cyclic subgroup separability , JOURNAL =

    Burillo, Jos. Quasi-potency and cyclic subgroup separability , JOURNAL =. 2006 , NUMBER =. doi:10.1016/j.jalgebra.2006.01.040 , URL =

    work page doi:10.1016/j.jalgebra.2006.01.040 2006

  31. [31]

    The conjugacy problem in extensions of

    Burillo, Jos. The conjugacy problem in extensions of

    work page

  32. [32]

    Cannon, J. W. and Floyd, W. J. and Parry, W. R. , TITLE =. Enseign. Math. (2) , FJOURNAL =. 1996 , NUMBER =

    work page 1996

  33. [33]

    Cleary, Sean and Taback, Jennifer , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2004 , NUMBER =

    work page 2004

  34. [34]

    Sean Cleary and Jennifer Taback , title=

    work page

  35. [35]

    Crisp, John , TITLE =. Geom. Topol. , FJOURNAL =. 2005 , PAGES =

    work page 2005

  36. [36]

    Dehornoy, Patrick , TITLE =. Adv. Math. , FJOURNAL =. 2006 , NUMBER =

    work page 2006

  37. [37]

    and Young, Robert , TITLE =

    Dison, Will and Elder, Murray and Riley, Timothy R. and Young, Robert , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00039-009-0011-9 , URL =

    work page doi:10.1007/s00039-009-0011-9 2009

  38. [38]

    and Johnson, D

    Edjvet, M. and Johnson, D. L. , TITLE =. J. Austral. Math. Soc. Ser. A , FJOURNAL =. 1992 , NUMBER =

    work page 1992

  39. [39]

    Elder, Murray , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2004 , PAGES =. doi:10.2140/agt.2004.4.23 , URL =

    work page doi:10.2140/agt.2004.4.23 2004

  40. [40]

    Farb, Benson and Mosher, Lee , TITLE =. Invent. Math. , FJOURNAL =. 1998 , NUMBER =

    work page 1998

  41. [41]

    On groups with full

    F. On groups with full. Math. Scand. , FJOURNAL =. 1955 , PAGES =

    work page 1955

  42. [42]

    Blake Fordham , TITLE =

    S. Blake Fordham , TITLE =

    work page

  43. [43]

    Blake , TITLE =

    Fordham, S. Blake , TITLE =. Geom. Dedicata , FJOURNAL =. 2003 , PAGES =

    work page 2003

  44. [44]

    Sur un groupe remarquable de diff\'eomorphismes du cercle , JOURNAL =

    Ghys,. Sur un groupe remarquable de diff\'eomorphismes du cercle , JOURNAL =. 1987 , NUMBER =

    work page 1987

  45. [45]

    , TITLE =

    Greenleaf, Frederick P. , TITLE =. 1969 , PAGES =

    work page 1969

  46. [46]

    , TITLE =

    Gromov, M. , TITLE =. Essays in group theory , SERIES =. 1987 , MRCLASS =

    work page 1987

  47. [47]

    , TITLE =

    Gromov, M. , TITLE =. Geometric group theory,. 1993 , MRCLASS =

    work page 1993

  48. [48]

    Guba, V. S. , TITLE =. Invent. Math. , FJOURNAL =. 2006 , NUMBER =. doi:10.1007/s00222-005-0462-z , URL =

    work page doi:10.1007/s00222-005-0462-z 2006

  49. [49]

    Guba, V. S. , TITLE =. Internat. J. Algebra Comput. , FJOURNAL =. 2004 , NUMBER =

    work page 2004

  50. [50]

    1989 , PAGES =

    Hansen, Vagn Lundsgaard , TITLE =. 1989 , PAGES =

    work page 1989

  51. [51]

    1974 , PAGES =

    Higman, Graham , TITLE =. 1974 , PAGES =

    work page 1974

  52. [52]

    and Margalit, Dan , TITLE =

    Leininger, Christopher J. and Margalit, Dan , TITLE =. J. Algebra , FJOURNAL =. 2006 , NUMBER =

    work page 2006

  53. [53]

    Stephen McCleary and Matatyahu Rubin , title=

    work page

  54. [54]

    On the question of the existence of an invariant mean on a group , JOURNAL =

    Ol. On the question of the existence of an invariant mean on a group , JOURNAL =. 1980 , NUMBER =

    work page 1980

  55. [55]

    On the distortion of subgroups of finitely presented groups , JOURNAL =

    Ol. On the distortion of subgroups of finitely presented groups , JOURNAL =. 1997 , NUMBER =. doi:10.1070/SM1997v188n11ABEH000276 , URL =

    work page doi:10.1070/sm1997v188n11abeh000276 1997

  56. [56]

    Abstract commensurators of groups acting on rooted trees , BOOKTITLE =

    R. Abstract commensurators of groups acting on rooted trees , BOOKTITLE =. Geom. Dedicata , FJOURNAL =. 2002 , PAGES =

    work page 2002

  57. [57]

    Non-amenable finitely presented torsion-by-cyclic groups , JOURNAL =

    Ol. Non-amenable finitely presented torsion-by-cyclic groups , JOURNAL =. 2003 , PAGES =

    work page 2003

  58. [58]

    Length and area functions on groups and quasi-isometric

    Ol. Length and area functions on groups and quasi-isometric. Internat. J. Algebra Comput. , FJOURNAL =. 2001 , NUMBER =. doi:10.1142/S0218196701000401 , URL =

    work page doi:10.1142/s0218196701000401 2001

  59. [59]

    Paradoxical decompositions and growth conditions , JOURNAL =

    Elek, G. Paradoxical decompositions and growth conditions , JOURNAL =. 2005 , NUMBER =

    work page 2005

  60. [60]

    Stein, Melanie , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1992 , NUMBER =

    work page 1992

  61. [61]

    , TITLE =

    Thompson, Richard J. , TITLE =. Word problems, II (Conf. on Decision Problems in Algebra, Oxford, 1976) , SERIES =. 1980 , MRCLASS =

    work page 1976

  62. [62]

    1993 , PAGES =

    Wagon, Stan , TITLE =. 1993 , PAGES =

    work page 1993

  63. [63]

    Whyte, Kevin , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2001 , NUMBER =

    work page 2001

  64. [64]

    2000 , PAGES =

    Woess, Wolfgang , TITLE =. 2000 , PAGES =

    work page 2000