https://arxiv.org/api/1Iby8sWejvFi+i0WYndD0io5Uh0 2026-07-25T16:14:00Z 25936 300 15 http://arxiv.org/abs/2606.27977v1 2026-06-26T11:26:56Z

We consider finite groups with at least three conjugacy class sizes that are composite numbers and we prove that, in that situation, the number of prime class sizes is bounded by the number of composite class sizes. The analogous result for (non-)prime-power class sizes is also addressed.

2026-06-26T11:26:56Z Vittorio Bagnara Víctor Sotomayor http://arxiv.org/abs/2409.13240v2 2026-06-26T07:40:15Z

Reid-Smith recently parametrised groups acting on trees with Tits' independence property (P) using graph-based combinatorial structures known as local action diagrams. Properties of the acting (topological) group, such as being locally compact, compactly generated or simple, are reflected in its local action diagram. In this article we provide necessary and sufficient conditions on the local action diagram for the associated group to be discrete.

2024-09-20T05:55:06Z 17 pages, 3 figures. Revised Definition 1.2 and added Lemma 2.3, Proposition 2.4, and Proposition 3.1. Improved proof of Theorem 3.2 Marcus Chijoff Stephan Tornier http://arxiv.org/abs/2605.16478v2 2026-06-26T04:23:34Z

Hall's theorem on differences of bijections characterizes the multisets $$ \{a_1,\ldots,a_{|G|}\} $$ in a finite abelian group $G$ that can be written in the form $$ a_i=b_i-c_i, $$ where both $b_1,\ldots,b_{|G|}$ and $c_1,\ldots,c_{|G|}$ are enumerations of $G$. The necessary and sufficient condition is the zero-sum condition $$ a_1+\cdots+a_{|G|}=0. $$ This paper studies the corresponding problem for finite nonabelian groups, with differences replaced by quotients. Thus we ask when a multiset $A$ of cardinality $|G|$ can be represented as $$ A=\{b(i)c(i)^{-1}:1\le i\le |G|\}, $$ where $b$ and $c$ are bijections onto $G$. Passing to the abelianization gives a necessary condition, namely that the product of the images of the elements of $A$ is trivial in $ G_{\rm ab}. $ We show that this condition is not sufficient in general, even when the elements of $A$ admit an ordering whose product is the identity in $G$. The main structural result is a cycle-tiling criterion: quotient-realizability is equivalent to a decomposition of $A$ into product-one words whose partial-product sets tile $G$ by right translates. The use of permutation cycles is standard, but the criterion translates quotient-realizability into an exact tiling condition. We then use this criterion to construct a counterexample in $ S_3, $ and we extend the same obstruction to infinitely many finite nonabelian groups.

2026-05-15T16:15:43Z Remark 5.3 has been added, and minor typos have been corrected. To appear in Utilitas Mathematica Mohsen Aliabadi http://arxiv.org/abs/2606.07619v2 2026-06-26T02:23:13Z

We present a Graph Neural Network (GNN) framework for the classification of finite groups according to their solvability. Using graph representations associated with finite groups, including Cayley graphs (CG), the proposed model is trained to distinguish solvable and non-solvable groups using structural graph information alone. The framework is evaluated on groups outside the training dataset in order to investigate the extent to which GNNs can learn algebraic properties arising in group theory. More broadly, the present work explores the relationship between algebraic structure and graph-based geometric representations of finite groups. The present study is intended as a proof-of-concept investigation of whether GNNs can learn algebraic properties of finite groups from graph-based representations

2026-05-30T08:34:26Z 7 pages, 3 tables Tal Weissblat http://arxiv.org/abs/2606.27647v1 2026-06-26T01:56:46Z

We study the shadowing property for continuous endomorphisms of locally compact groups, using the left uniformity. For Lie groups we obtain a complete infinitesimal characterization: an endomorphism has shadowing if and only if its differential is hyperbolic. As consequences, positively expansive Lie group endomorphisms are automatically topologically expanding, and for Lie group automorphisms, expansiveness, shadowing, two-sided shadowing and being topologically Anosov are equivalent. We also show that, for connected semisimple Lie groups, shadowing endomorphisms are precisely nilpotent endomorphisms. In contrast, for totally disconnected locally compact groups, shadowing is automatic: every continuous endomorphism has shadowing. The proof uses Willis' tidy-above decomposition for endomorphisms. This yields, in the totally disconnected case, that topological expansion is equivalent to positive expansiveness and that being topologically Anosov is equivalent to expansiveness. We also discuss connections with group shifts and derive a compactness consequence for topologically mixing automorphisms.

2026-06-26T01:56:46Z Dekui Peng http://arxiv.org/abs/2606.27528v1 2026-06-25T20:20:23Z

We show that under a suitable additional hypothesis the restricted Zassenhaus $\F_p$-Lie algebra or the rational Magnus Lie algebra of a free amalgamated product is the free amalgamated product of the corresponding Lie algebras of the factors. This generalises a Theorem of A.I.\,Lichtman, who proved the analoguous statement for free products. Our conditions include the case when the amalgamated product is a retract in both factors. As a by-product, we show that a free product of residually torsion free nilpotent groups amalgamated along retracts is also residually torsion free nilpotent and obtain also some results on cohomological completeness. In the final sections we apply our main results to two recently raised open questions.

2026-06-25T20:20:23Z 22 pages Giorgio Leoni Conchita Martínez-Pérez Thomas Weigel http://arxiv.org/abs/2511.08705v4 2026-06-25T17:12:10Z

Let $G\leqslant {\rm Sym}(Ω)$ be a finite transitive permutation group with point stabiliser $H$. A base for $G$ is a subset of $Ω$ whose pointwise stabiliser is trivial, and the minimal cardinality of a base is called the base size of $G$, denoted by $b(G, Ω)$. Equivalently, $b(G, Ω)$ is the minimal positive integer $k$ such that $G$ has a regular orbit on the Cartesian product $Ω^k$. A well-known conjecture of Cameron from the 1990s asserts that if $G$ is an almost simple primitive group and $H$ is a so-called non-standard subgroup, then $b(G, Ω) \leqslant 7$, with equality if and only if $G$ is the Mathieu group ${\rm M}_{24}$ in its natural action of degree $24$. This conjecture was settled in a series of papers by Burness et al. (2007-11). In this paper, we complete the proof of a natural generalisation of Cameron's conjecture. Our main result states that if $G$ is an almost simple group and $H_1, \ldots, H_k$ are any non-standard maximal subgroups of $G$ with $k \geqslant 7$, then $G$ has a regular orbit on $G/H_1 \times \cdots \times G/H_k$, noting that Cameron's original conjecture corresponds to the special case where the $H_i$ are pairwise conjugate subgroups. In addition, we show that the same conclusion holds with $k = 6$, unless $G = {\rm M}_{24}$ and each $H_i$ is isomorphic to ${\rm M}_{23}$. For example, this means that if $G$ is a simple exceptional group of Lie type and $H_1, \ldots, H_6$ are proper subgroups of $G$, then there exist elements $g_i \in G$ such that $\bigcap_i H_i^{g_i} = 1$. By applying recent work in a joint paper with Burness, we may assume $G$ is a group of Lie type and our proof uses probabilistic methods based on fixed point ratio estimates.

2025-11-11T19:13:32Z 73 pages; to appear in J. London Math. Soc Marina Anagnostopoulou-Merkouri http://arxiv.org/abs/2605.23829v2 2026-06-25T16:16:41Z

We prove that the outer automorphism group of a one-ended hyperbolic group is virtually a hierarchically hyperbolic group (HHG), under mild orientability conditions on the associated JSJ decomposition. This is done by proving that a finite-index subgroup is a central extension of a product of orbifold mapping class groups, and the extension has bounded Euler class. Our theorem is sharp: we exhibit a surface amalgam whose fundamental group has full outer automorphism group which is not a HHG.

2026-05-22T16:35:53Z V2: Many results in the literature were only proven for orbifolds without mirrors; hence we now use a different JSJ decomposition, and reduce the questions in the introduction to mapping class groups of non-orientable surfaces. Also, the technical lemma on maximal periodic flats in HHG was known; the original argument can still be found in version 1. Now 26 pages, 3 figures. Comments are welcome! Ervin Hadziosmanovic Giorgio Mangioni http://arxiv.org/abs/2606.27208v1 2026-06-25T16:02:46Z

We study the $R$-sequenceability of finite groups of odd order. Building on the classical theory of $R^*$-sequences and orthomorphisms, we explore two tools: the notion of $R^{**}$-sequenceability, a strengthening of $R^*$-sequenceability tailored for inductive arguments over normal subgroups with cyclic quotients, and the \textit{odd cycle index} $τ(G)$, which measures how many orthomorphisms are required to generate a full cycle together with an involution. Our main result is a Quotient-Normal Gadget theorem, which shows that if $G$ has a normal subgroup $N$ such that $G/N$ is $R^{**}$-sequenceable and $τ(N) \leq |G/N| - 3$, then $G$ itself is $R^{**}$-sequenceable. We prove that $τ(G) = 2$ for cyclic groups of order coprime with $3$, and establish an inductive bound $τ(G) \leq \max\{τ(N), τ(G/N)\}$ for odd ordered groups with a normal subgroup $N$. As consequences, we show that every group whose order is coprime with $30$ is $R$-sequenceable, and that every nilpotent group whose order is coprime with $6$ and not a power of $5$ is $R$-sequenceable. These results extend prior work on abelian groups to broad families of non-abelian groups.

2026-06-25T16:02:46Z Adrián Pastine María Valentina Soldera Ruiz http://arxiv.org/abs/2606.27198v1 2026-06-25T15:58:37Z

For a discrete amenable group $G$ with a two-cocycle $σ$ we first record a few results on when the twisted group $C^*$-algebra $C^*_r(G,σ)$ is selfless, in the sense of Robert. In particular, for an infinite finitely generated virtually nilpotent $G$, this holds exactly when $(G,σ)$ satisfies Kleppner's condition. For the larger class of FC-hypercentral groups the same holds modulo $\mathcal{Z}$-stability, equivalently finite nuclear dimension. Further, using the relative Kleppner condition we obtain corresponding selflessness results for inclusions $C^*_r(H,σ')\subseteq C^*_r(G,σ)$, when $H$ is a normal subgroup of $G$. For amenable $G$ such an inclusion is selfless precisely when $C^*_r(H,σ')$ is selfless and $(H\leq G,σ)$ satisfies the relative Kleppner condition. Thus, for an infinite finitely generated virtually nilpotent $G$, selflessness of the inclusion $C^*_r(H,σ')\subseteq C^*_r(G,σ)$ is equivalent to the relative Kleppner condition.

2026-06-25T15:58:37Z Preliminary version; comments are welcome; 10 pages Tron Omland http://arxiv.org/abs/2606.28420v1 2026-06-25T15:42:22Z

This work introduces and studies strong affine semigroups, extending the notion of strong numerical semigroups to the higher-dimensional setting. We show that non-numerical strong affine semigroups present structural differences with respect to strong numerical semigroups. Special attention is devoted to strong $\mathcal C$-semigroups. We prove that the family of strong $\mathcal C$-semigroups with a given set of multiplicities $E$ admits a maximal element and has a tree structure. We characterize when this family is finite and provide an algorithm to compute all such semigroups up to a fixed genus. We also introduce the notion of special strong affine semigroups and obtain refined versions of several previous results. Finally, we study toric ideals arising from strong affine semigroups, determining their indispensable monomials and Betti elements for several families.

2026-06-25T15:42:22Z I. García-Marco R. Tapia-Ramos A. Vigneron-Tenorio http://arxiv.org/abs/2606.27085v1 2026-06-25T14:22:34Z

We prove that commensurators of a geometrically rigid residually finite hyperbolic group have bounded average distortion.

2026-06-25T14:22:34Z 35 pages, 5 figures Nir Lazarovich Suraj Krishna M S Mahan Mj http://arxiv.org/abs/2606.27065v1 2026-06-25T14:09:56Z

Let $G$ be a finite group, and let $\mathrm{Irr}(G)$ denote the set of irreducible complex characters of $G$. For $ε\in \{ \pm \}$, we define $\mathrm{cd}_ε(G)=\{ χ_ε(1)\mid χ\in \mathrm{Irr}(G) \}$, where $χ_{+}(1)=χ(1)$ denotes the degree of $χ$, $χ_{-}(1)=|G:\ker(χ)|/χ(1)$ denotes the codegree of $χ$. Further, let $ω_ε(G)=\{ π(n)\mid n\in \mathrm{cd}_ε(G) \}$, where $π(n)$ stands for the set of prime divisors of $n$. We established that if $|ω_ε(G)|\leq 3$, then $G$ is solvable. Additionally, a generalization of this result is obtained in the case when $ε=+$.

2026-06-25T14:09:56Z Dongfang Yang http://arxiv.org/abs/2606.22740v2 2026-06-25T11:04:38Z

We prove that a group $G$ is locally finite if and only if, for some (equivalently, every) infinite set $A$, every cellular automaton $A^G\to A^G$ has closed image in the prodiscrete topology. Equivalently, this holds if and only if every linear cellular automaton $V^G\to V^G$ has closed image for some pair $(K,V)$ with $V$ infinite-dimensional over the field $K$ (equivalently, for every such pair). This gives affirmative answers to Open Problems 6 and 7 of Ceccherini-Silberstein and Coornaert. More precisely, if $G$ is not locally finite, then for every infinite set $A$ there is a finite-memory cellular automaton $A^G\to A^G$ with non-closed image, and for every field $K$ and every infinite-dimensional $K$-vector space $V$ there is such a linear cellular automaton $V^G\to V^G$. The common obstruction is constructed on a countable direct-sum alphabet from an infinite ray in a locally finite Cayley graph. A direct-summand argument gives arbitrary vector-space alphabets, while an alphabet-retract principle gives arbitrary infinite set alphabets.

2026-06-22T00:59:20Z Jiang Yang http://arxiv.org/abs/2606.26791v1 2026-06-25T09:24:22Z

Over any commutative ring containing $\tfrac16$, we study Lie algebras $L$ of type $\mathrm{E}_8$ that arise from the Tits--Kantor--Koecher (TKK) construction on a Brown algebra, and their twisted forms. We construct a smooth scheme $\mathbf{Y}$ of pairs of extremal elements in $L$. When $L$ arises from the TKK-construction, we express the automorphism group, of type $\mathrm{E}_8$, as an $\mathrm{E}_7$-torsor over $\mathbf{Y}$. We show that twisting by this torsor produces the graded isomorphism classes of those algebras isomorphic to $L$, and parametrize these classes by using $\mathbf{Y}$. We show that this torsor is non-trivial, yielding isomorphic Lie algebras of type $\mathrm{E}_8$ that are not graded isomorphic, as opposed to the behaviour over fields.

2026-06-25T09:24:22Z 27 pages. Comments welcome! Seidon Alsaody Jari Desmet