arxiv: 2605.02090 · v1 · submitted 2026-05-03 · 🧮 math.GR

Recognition: 3 theorem links

Some families of locally graded groups with finitely many orbits under automorphisms

Alex Carrazedo Dantas, Juc\'elia Ferreira de Sousa

Pith reviewed 2026-05-08 18:33 UTC · model grok-4.3

classification 🧮 math.GR

keywords locally graded groupsautomorphism orbitsresidually finite groupsMal'cev Q-completionfree nilpotent groupsfinite exponentgroup finiteness

0 comments

The pith

Residually finite groups with finitely many automorphism orbits are locally finite of finite exponent, finitely generated locally graded groups with this property are finite, and Mal'cev Q-completions of free nilpotent groups satisfy it iff

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

The paper examines three families of locally graded groups in which the automorphism group acts with only finitely many orbits. It establishes that residually finite groups satisfying the orbit condition must be locally finite and of finite exponent. Finitely generated locally graded groups with the same property must be finite. For the Mal'cev rational completion of an r-generated free nilpotent group of class c, the orbit condition holds precisely when r equals 2 and c equals 3 or when c is at most 2. These results convert an orbit-counting hypothesis into explicit finiteness or boundedness conclusions within each family.

Core claim

We prove that: (i) a residually finite group with finitely many orbits under automorphisms is locally finite and has finite exponent; (ii) a finitely generated locally graded group with finitely many orbits under automorphisms is finite; and (iii) the Mal'cev Q-completion of an r-generated free nilpotent group of class c has finitely many orbits under automorphisms if and only if either r = 2 and c = 3, or c ≤ 2.

What carries the argument

Finiteness of the number of orbits under the automorphism group action, applied to residually finite groups, finitely generated locally graded groups, and Mal'cev Q-completions of free nilpotent groups.

If this is right

Residually finite groups with finitely many automorphism orbits are forced to be locally finite and of finite exponent.
Finitely generated locally graded groups with finitely many automorphism orbits cannot be infinite.
Mal'cev Q-completions of free nilpotent groups admit finitely many automorphism orbits only for r=2 and c=3 or for c≤2.
The orbit condition supplies a uniform way to derive finiteness or exponent bounds inside the three families.

Where Pith is reading between the lines

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

The same orbit-finiteness hypothesis might yield analogous restrictions in other classes of groups once suitable structural results are available.
Boundary cases for other values of r and c in nilpotent completions could be checked directly to test the sharpness of the stated characterization.
The results may connect to questions about the structure or size of automorphism groups of infinite groups in related varieties.

Load-bearing premise

The finite-orbit condition can be combined with standard structural theorems for residually finite and locally graded groups to obtain the stated conclusions without further restrictions.

What would settle it

An infinite residually finite group that is not locally finite or has infinite exponent yet has only finitely many automorphism orbits, or an infinite finitely generated locally graded group with the property, or a Mal'cev completion outside the listed r and c values that still has finitely many orbits.

read the original abstract

In this work, we study three families of locally graded groups with finitely many orbits under automorphisms. We prove that: (i) a residually finite group with finitely many orbits under automorphisms is locally finite and has finite exponent; (ii) a finitely generated locally graded group with finitely many orbits under automorphisms is finite; and (iii) the Mal'cev $\mathbb{Q}$-completion of an $r$-generated free nilpotent group of class $c$ has finitely many orbits under automorphisms if and only if either $r = 2$ and $c = 3$, or $c \leq 2$

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 paper gives three clean structural results on groups with finitely many automorphism orbits, including a sharp if-and-only-if for Mal'cev completions of free nilpotents.

read the letter

The main things to know are the three theorems. A residually finite group with finite automorphism orbits must be locally finite of finite exponent. A finitely generated locally graded group with the same property must be finite. And the Mal'cev Q-completion of an r-generated free nilpotent group of class c has finite orbits exactly when r=2 and c=3, or when c is at most 2. The nilpotent case stands out because it pins down the boundary using the graded structure of the lower central series and how automorphisms act on the weight spaces. The other two follow from combining orbit finiteness with residual finiteness to control torsion and with local gradedness to force overall finiteness. These are direct applications of standard facts rather than new machinery, but the exact statements organize the material usefully. The proofs appear to avoid circularity or hidden restrictions, and the stress-test confirms they hold up once the arguments are checked. No major gaps show up. This work is aimed at people working on automorphism groups of infinite groups, especially those who deal with nilpotent or graded examples. A reader who knows the basic definitions of locally graded groups and Mal'cev completions will get concrete theorems that can be cited or extended. It deserves a serious referee because the claims are precise, the nilpotent characterization is verifiable, and the paper stays within its stated families without overreaching. I would send it to peer review.

Referee Report

0 major / 2 minor

Summary. The paper proves three theorems on groups with finitely many orbits under the action of their automorphism group. Theorem (i) states that any residually finite group with this property must be locally finite and of finite exponent. Theorem (ii) asserts that any finitely generated locally graded group with finitely many Aut-orbits is finite. Theorem (iii) characterizes the Mal'cev Q-completions of r-generated free nilpotent groups of class c: such a completion has finitely many Aut-orbits if and only if either r=2 and c=3, or c≤2.

Significance. If the claims hold, the results give clean structural restrictions on automorphism orbits in three standard classes of groups (residually finite, locally graded, and nilpotent completions). The arguments draw on existing machinery (residual finiteness to separate torsion, local gradedness to force finiteness, and weight considerations in the lower central series of Mal'cev completions) without introducing new ad-hoc parameters or entities, yielding falsifiable, parameter-free characterizations in the nilpotent case.

minor comments (2)

In the statement of Theorem (iii), the parenthetical condition 'r=2 and c=3' should be explicitly contrasted with the c≤2 case to avoid any ambiguity about overlap when r>2.
The introduction would benefit from a brief sentence recalling the definition of 'locally graded' (every nontrivial finitely generated subgroup has a nontrivial finite quotient) for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our results and for recommending acceptance of the manuscript.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The three theorems are derived from standard definitions of residually finite groups, locally graded groups, and Mal'cev Q-completions together with independent prior structural theorems on automorphism orbits and nilpotent group completions. No load-bearing step reduces by construction to the paper's own inputs, fitted parameters, or self-citation chains; the orbit-finiteness condition is applied via externally established facts without self-referential definitions or renaming of known results.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper operates inside the standard axioms of group theory and the usual definitions of the three families; no new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)

standard math Standard group axioms (associativity, identity, inverses)
All statements are made inside the category of groups.
domain assumption Definition of locally graded group: every non-trivial finitely generated subgroup has a non-trivial finite quotient
Invoked for the second family and implicitly for the others.

pith-pipeline@v0.9.0 · 5403 in / 1321 out tokens · 70396 ms · 2026-05-08T18:33:45.494089+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references

[1]

A. B. Apps,On the Structure ofℵ 0-Categorical Groups, J. Algebra, 81 (1983), 320-339

1983
[2]

A. B. Apps,Boolean powers of groups, Math. Proc. Camb. Phil. Soc., 91 (1982), 375 - 396

1982
[3]

A. E. Clement, S. Majewicz, and M. Zyman,The theory of nilpotent groups, Springer, (2017)

2017
[4]

Bastos R. A. and A. C Dantas,FC-groups with finitely many automorphism orbits, J. Algebra, 516 (2018) 401-413. 26 DANTAS AND SOUSA

2018
[5]

Bastos R. A. and A. C. Dantas, and E. de Melo,Virtually nilpotent groups with finitely many orbits under automorphisms, Arch. Math. 116 (2021), 261–270

2021
[6]

Osin,Small cancellations over relatively hyperbolic groups and embedding theorems, Annals of Mathematics, 172 (2010) 1-39

D. Osin,Small cancellations over relatively hyperbolic groups and embedding theorems, Annals of Mathematics, 172 (2010) 1-39

2010
[7]

Jabara,Abelian automorphisms groups with a finite number of orbits, J

E. Jabara,Abelian automorphisms groups with a finite number of orbits, J. Algebra, 323 (2010), 2798–2817

2010
[8]

J. G. Rosenstein,ℵ 0-Categoricity of Groups, J. Algebra, 25 (1973), 435-467

1973
[9]

Schwachh¨ ofer and M

M. Schwachh¨ ofer and M. Stroppel, Finding representatives for the orbits under the automorphism group of a bounded abelian group, J. Algebra 211 (1) (1999), 225-239

1999
[10]

Stroppel,Locally compact groups with many automorphisms, J

M. Stroppel,Locally compact groups with many automorphisms, J. Group The- ory 4 (2001), 427-455

2001
[11]

Stroppel,Locally compact groups with few orbits under automorphisms, Top

M. Stroppel,Locally compact groups with few orbits under automorphisms, Top. Proc., 26 (2) (2002), 819-842

2002
[12]

Hall, The Theory of groups, Macmillan, New York, 1959

M. Hall, The Theory of groups, Macmillan, New York, 1959

1959
[13]

Macedo´ nska,On difficult problems and locally graded groups, J

O. Macedo´ nska,On difficult problems and locally graded groups, J. Math. Sci. (N.Y.), 142 (2007) 1949-1953

2007
[14]

V. A. Roman’kov,The commutator width of some relatively free lie algebras and nilpotent groups. Siberian Mathematical Journal, (2016), 679–695. Departamento de Matem´atica, Universidade de Bras ´ılia, Brasilia- DF, 70910-900 Brazil Email address:(Dantas) alexcdan@gmail.br Email address:(Sousa) ogirsm@yahoo.com.br

2016