On medial Latin quandles and affine modules

2026-07-13T15:50:32Z

In this note, we show that the category of Latin (resp. commutative) medial quandles is equivalent to the category of affine modules over a certain Laurent polynomial ring (resp. the dyadic rationals). As applications, we describe free objects in these categories and obtain a structure theorem for finitely generated medial commutative quandles. We also characterize racks whose duals are commutative. Collectively, this solves two open problems of Bardakov and Elhamdadi (arXiv:2601.07057).

Engel probability in wreath products of $p$-groups

2026-07-13T14:28:56Z

We give upper and lower bounds for the number of solutions of the equation $e_n(x,y) = g$ in the group $W_k=(C_p\wr C_{p^k})^2$, where $e_n(x,y)$ is the $n$-th Engel word and $g\in W_k$. We obtain several corollaries from this. First, we prove a stronger version of the Amit-Ashurst conjecture for Engel words in $W_k$. We also prove that Engel words are not probabilistic identities in profinite groups with arbitrarily large wreath product quotients $W_k$. To conclude, we construct closed subsets of $(C_p\wr\Z_p)^2$ with positive Haar measure, empty-interior, and which are the preimage of an Engel word map.

Fixed-point-free elements in two-orbit permutation groups

2026-07-13T13:29:30Z

Let $G$ be a two-orbit permutation group on $n > 2$ points. We show that $G$ contains either a derangement or an element of prime-power order with a unique fixed point. As a corollary, if the orbits of $G$ have length $n_1$ and $n_2$ and $\gcd(n_1, n_2-1) = \gcd(n_1-1, n_2) = 1$, then $G$ contains a derangement. The special case $n_1 = n_2$ was recently conjectured by Ellis and Harper and proved under various restrictive hypotheses. We prove our result by reducing to the case of simple groups and leveraging the classification of normal $2$-coverings of simple groups due to Bubboloni, Spiga, and Weigel.

Pure-homogeneous Abelian groups

2026-07-13T13:10:40Z

We study Fraïssé classes of Abelian groups with pure embeddings. We characterize Abelian groups that are universal and homogeneous for: finitely co-generated groups, finite groups, groups of size less that $κ$, where $κ$ is strongly inaccessible.

Structures with not too fast unlabelled growth

2026-07-13T11:45:24Z

Let $\mathscr{S}$ be the class of all structures whose growth rate on orbits of subsets of size $n$ is not faster than $\frac{2^n}{p(n)}$ for any polynomial $p$. In this article we give a complete classification of all structures in $\mathscr{S}$ in terms of their automorphism groups. As a consequence of our classification we show that $\mathscr{S}$ has only countably many structures up to bidefinability, all these structures are first-order interpretable in $(\mathbb{Q};<)$ and they are interdefinable with a finitely bounded homogeneous structure. Furthermore, we also show that all structures in $\mathscr{S}$ have finitely many first-order reduct up to interdefinability, thereby confirming Thomas' conjecture for the class $\mathscr{S}$.

Local-to-global fixed point properties for graphical C(4)-T(4) and C(6) small cancellation complexes

2026-07-13T10:25:01Z

Graphical small cancellation extends the classical small cancellation theory and provides a powerful method for constructing groups with prescribed subgraphs in their Cayley graphs. We prove that torsion subgroups of groups defined by possibly infinite C(4)-T(4) graphical small cancellation presentations are finite. We also prove the corresponding result for groups defined by C(6) graphical small cancellation presentations under the additional assumption that the presentation is torsion-essentially C(6)-free. Both results follow from a more general result on local-to-global fixed point properties for torsion groups acting by automorphisms on simply connected graphical small cancellation complexes.

A Schur--Zassenhaus Theorem for Finite Skew Braces

2026-07-13T10:01:07Z

We prove a Schur--Zassenhaus theorem for finite skew braces. More precisely, if $B$ is a finite skew brace and $I$ is an ideal of $B$ such that $|I|$ and $|B/I|$ are coprime, then $I$ admits a complement in $B$.

Canonical reconstruction and forcing absoluteness of standard structures

2026-07-13T09:50:26Z

We isolate a simple preservation principle governing when it is absolute, between transitive models of set theory, that a given algebraic or topological-algebraic structure has a standard form $F(X)$ indexed by a set $X$. The principle is: if the index $X$ (or a proxy for it) can be recovered from $F(X)$ by a uniform definable construction, then the class of structures isomorphic to some~$F(X)$ is downward absolute from forcing extensions. Answering a question raised by Noah Schweber, we deduce in particular that no group that fails to be a full symmetric group in the ground model can become one after forcing; the result holds already in ZF. The same mechanism applies to full transformation monoids, powerset Boolean algebras, full relation algebras, full clones, full partition lattices, products $R^X$ of finitely generated centrally indecomposable rings, the commutative $C^*$-algebras $\ell_\infty(X)$ and $c_0(X)$, full endomorphism rings, the operator algebras $\mathcal{B}(H)$ and $\mathcal{K}(H)$, and $\ell_1(X)$ as a real Banach lattice. In the motivating symmetric-group case, the same reconstruction gives more than descent: it yields a uniform $Π^1_1$ definition of fullness over transitive ZF-models. We then exhibit clean torsor obstructions, in the standard symmetric-model situation: finite covers $Y \times n$ already separate ZF-failure from ZFC-descent without any completeness caveat, and the finite-support normed space $c_{00}(I)$ provides the analogous Banach example. Bare-Banach-space isomorphism with $\ell_1(Γ)$ exhibits a genuine ZFC-descent. We conclude with the corresponding, relative, obstructions to $Π^1_1$-definability of standardness over transitive ZF-models.

Primitive Positive Constructions Among Finite Permutation Groups

2026-07-13T09:40:19Z

Primitive positive constructions of first order structures have been shown to be a very useful tool in universal algebra for the study of constraint satisfaction problems. However, they seemed to be very rarely studied in classical algebra such as group theory. This paper fills in this gaps by looking at structures and obstructions based on permutation groups and giving a full classification in this sub-area. This special case is also very important for the generalization to all first order structures as every permutation group describes an easy-to-check necessary condition for the existence of primitive positive constructions, also between structures that are not at all linked to permutation groups.

Group action-stabilizer graph of group actions of a group on a set

2026-07-13T06:54:14Z

In this paper we introduce the group action-stabilizer graph $GAS(G)$ of a group $G$ on a set $X$ with vertex set as the collection of all the group actions of $G$ on $X$, and any two vertices $φ$ and $ψ$ are adjacent if and only if the non-trivial subgroups $\cap G_x^φ$ and $\cap G_x^ψ$ of $G$ intersect non-trivially, where $G_x^φ$ and $G_x^ψ$ are two stabilizers of $x$ with respect to the actions $φ$ and $ψ$, respectively. We characterize a special subgraph $gas(G)$ of $GAS(G)$ in which the vertex set contains the actions $φ$ of $G$ on $X$ such that $\cap G_x^φ$'s are distinct. We determine the number of group actions within some specific groups and find certain conditions under which $GAS(G)$ is equal to $gas(G)$. We also examine the conditions under which $gas(G)$ and its complement are derived graph for a finite nilpotent group $G$.

Learning Subgroup Relations Using Siamese Graph Neural Networks

2026-07-13T06:20:25Z

Determining whether one finite group is isomorphic to a subgroup of another is a fundamental problem in computational group theory. In this work, we propose a Siamese Graph Neural Network (Siamese GNN) for subgroup prediction using Cayley graph representations of finite groups. Each input group is represented by its undirected Cayley graph and encoded by one branch of a Siamese GNN to produce a graph embedding. The resulting graph embeddings are combined with algebraic features derived directly from the input groups to construct a joint feature vector, which is processed by a fully connected classifier to predict subgroup relations between finite groups. By integrating graph-based structural representations with algebraic features, the proposed framework provides a unified approach for learning subgroup relations from finite groups. Experimental results demonstrate the effectiveness of the proposed architecture, achieving a test accuracy of 95.9% (47/49) on an independent test set and illustrating the potential of geometric deep learning for subgroup prediction.

Irreducible fast sets of bump homeomorphisms generate copies of Thompson's groups $F_n$

2026-07-12T23:55:48Z

A homeomorphism of an interval is a positive bump if its support is a single open interval on which it moves every point to the right. Choosing a fundamental domain $[m,b(m))$ for the action of a positive bump $b$ on its support splits the remainder of the support into two intervals, called the feet of $b$. A finite set of positive bumps is geometrically fast if fundamental domains can be chosen so that all the resulting feet are pairwise disjoint. The crossing graph of such a set has the bumps as its vertices, two bumps being adjacent whenever their supports overlap but are not nested, and the set is irreducible if its crossing graph is connected. We prove that for every $n\geq 2$, every group generated by an irreducible geometrically fast set of $n$ positive bumps is isomorphic to the $n$-ary Thompson group $F_n$. This answers the strong version of a problem posed by Brin and Zaremsky (Oberwolfach Rep. 15 (2018)).

Minimum distance and decoding of Coxeter codes

2026-07-12T14:03:41Z

A binary Coxeter code associated with a finite Coxeter system $(W,S)$ is an ${\mathbb F}_2$-linear span of indicators of standard cosets of a fixed rank. Coxeter codes, introduced in a recent paper by N. Coble and A. Barg, are a generalization of Reed--Muller codes which arise when $W={\mathbb Z}_2^m$ is the Coxeter group of type $mA_1$. In that paper, the authors proposed a conjectural value for the minimum distance of a general Coxeter code. This conjecture is proved in the present work. As a consequence, we obtain a Coxeter-theoretic generalization of Reed's majority-logic decoding algorithm for Reed--Muller codes.

Property QT of relatively hierarchically hyperbolic groups

2026-07-12T14:01:51Z

Using the projection complex machinery, Bestvina--Bromberg--Fujiwara, Hagen--Petyt, and Han--Nguyen--Yang have proved that several classes of nonpositively curved groups admit equivariant quasi-isometric embeddings into finite products of quasi-trees, i.e. having property QT. In this paper, we unify and generalize these results by establishing a sufficient condition for relatively hierarchically hyperbolic groups to have property QT. As applications, we show that a group has property QT if it is residually finite and belongs to one of the following classes of groups: admissible groups, hyperbolic-$2$-decomposable groups with no distorted elements, Artin groups of large and hyperbolic type, and $π_1$-extension groups of lattice Veech groups. We also introduce a slightly stronger version of property QT, called property QT$_0$, and show the invariance of property QT$_0$ under graph products.

Corrigendum to "Transitive permutation groups with trivial four point stabilizers"

2026-07-12T11:04:54Z

This article revisits earlier work by the last author together with Kay Magaard. We correct mistakes in results about the Sylow 2- and 3-structure of groups that act with fixity 3 and one result about possible components, we improve some results and we add details.