Bounded-orbit lattice representations of finite groups

JiaLi Du; Andrea Lucchini; Joy Morris; Pablo Spiga

Home/Archive/arXiv

arXiv · 2609.35191

Bounded-orbit lattice representations of finite groups

JiaLi Du·Andrea Lucchini·Joy Morris·Pablo Spiga

View original source ↗Read source document ↗Export metadata ↓

Abstract

For a finite group $G$, let $λ(G)$ denote the minimum number of orbits on the elements of a finite lattice $L$ with $\operatorname{Aut}(L)\cong G$. Babai and Goodman conjectured that $λ(G)$ is bounded by an absolute constant. We prove that $λ(G)\leq 50$ for every finite group $G$, thereby confirming their conjecture. Moreover, the lattice can be chosen to have a regular orbit. The main algebraic ingredient is a decomposition of a generating set of an arbitrary finite $2$-group into an elementary abelian part and two sets in which no quotient of distinct elements is an involution.

Explore related subjects

math.GR math.CO

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

JiaLi Du, Andrea Lucchini, Joy Morris, Pablo Spiga. 2026-09-28. Bounded-orbit lattice representations of finite groups. https://arxiv.org/abs/2609.35191

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

KEEP EXPLORING

Related papers

arXiv2026

The classification of endpoint-transitive graphs with geodesic condition

We introduce endpoint k-path-transitive graphs, in which the automorphism group fixing two prescribed vertices pointwise acts transitively on the paths of length k joining them. We study the geodesic case, where k equals the distance between these vertices. We identify the union of these geodesics with the Hasse graph of a finite bounded graded poset and reduce it to proper blocks by complete cuts andmatching compression. Assume that the induced group K acts faithfully and 2-homogeneously on the first distance layer. We first prove that every nontrivial normal subgroup of K is transitive on every internal layer if and only if soc(K) is. Under this normal-basic condition, we classify the proper blocks in the affine case and the equal-width proper blocks with a 2-transitive internal layer in the almost-simple case. The nontrivial design interfaces are Paley or affine symplectic designs in the affine case, and projective designs, the 2-(11, 5, 2) design, the HigmanSims design, or their complements in the almost-simple case. The proper blocks have reduced rank at most four, whereas almost-simple proper blocks can have arbitrarily large reduced rank without the equal-width condition. We also give a stabilizer factorization criterion for assembling blocks while preserving endpoint-geodesic transitivity.

math.GR↗

arXiv2026

One-sided identity and zero sets and an elementary approach to the Rees-Sushkevich Theorem

For a groupoid $S$ with elements $a$ and $b$, if $ba = a$, then $b$ is a left identity of $a$ and $a$ is a right zero of $b$. We define the left identity set of $a$ to be the set of all left identities of $a$ in $S$, and similarly for the right identity set of $a$ in $S$. We defined the left zero set of $a$ to be the set of all left zeroes of $a$ in $S$, and similarly for the right zero set of $a$. We use the one-sided identity and zero sets of a semigroup in the determination of the structure of its maximal subgroups, maximal right and left zero subsemigroups, maximal right and left subgroups, rectangular band subsemigroups, completely simple subsemigroups, rectangular subgroups, and completely $0$-simple subsemigroups. An elementary approach of the Rees-Sushkevich Theorem follows. Then we define rectangular $0$-bands and rectangular $0$-groups as completely $0$-simple analogues of rectangular bands and rectangular groups.

math.GR↗

arXiv2026

Random Quotients of Free Products

We introduce a density model for random quotients of a free product of finitely generated groups. We prove that a random quotient in this model has the following properties with overwhelming probability: if the density is below $1/2$, the free factors embed into the random quotient and the random quotient is hyperbolic relative to the free factors. Further, there is a phase transition at $1/2$, with the random quotient being a finite group above this density. If the density is below $1/6$, the random quotient is cubulated relative to the free factors. Moreover, if the free factors are cubulated, then so is the random quotient.

math.GR↗