https://arxiv.org/api/PHiFfAUB2NAzaAka6aRFzIWNvDg 2026-07-24T06:17:10Z 25936 135 15 http://arxiv.org/abs/2606.02898v2 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.

2026-06-01T21:12:34Z 22 pp; accepted for publication in Archive for Mathematical Logic Tomasz Kania http://arxiv.org/abs/2606.03930v2 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.

2026-06-02T17:22:27Z Sebastian Meyer http://arxiv.org/abs/2607.11161v1 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$.

2026-07-13T06:54:14Z Nepur Ranjan Hazarika Kukil Kalpa Rajkhowa http://arxiv.org/abs/2607.11140v1 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.

2026-07-13T06:20:25Z Tal Weissblat http://arxiv.org/abs/2607.10961v1 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)).

2026-07-12T23:55:48Z Gili Golan http://arxiv.org/abs/2607.10774v1 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.

2026-07-12T14:03:41Z 16 pages Alexander Barg Qëndrim R. Gashi Tianyuan Xu http://arxiv.org/abs/2412.20065v4 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.

2024-12-28T07:39:49Z 25 pages. Updated version after publication. Incorporated revisions made during the refereeing and proof stages; added Theorem 7.8' answering Question 7.8 Pacific J. Math. 343 (2026) 231-260 Bingxue Tao 10.2140/pjm.2026.343.231 http://arxiv.org/abs/2607.10710v1 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.

2026-07-12T11:04:54Z Paula Hähndel Christoph Möller Rebecca Waldecker http://arxiv.org/abs/2607.05698v2 2026-07-12T03:57:30Z

We attach to a finite group $G$ and a structured payoff probe $φ$ an integer \emph{payoff-difference lattice} $M_φ(G)$ and its \emph{conductor} $C_φ(G)$: the primes at which $M_φ(G)$ loses rank modulo $p$. Our main result is an exact computation: for any CA-group the commuting conductor is rad$(b-1)$, where $b$ is the number of maximal abelian subgroups. In particular, conductor primes need not divide $|G|$: the prime $3$ occurs for a $2$-group of order $64$ with $b=7$. The commuting Smith spectrum is an invariant of the isoclinism class and obeys an exact direct-product law, giving ${\rm C_{comm}}(G\times H) = {\rm C_{comm}}(G) \cup {\rm C_{comm}}(H)$ unconditionally. A Galois-orbit-trace character probe reads a complementary layer: an index-$2$ subgroup forces $2\in {\rm C_{char}}(G)$ while no odd prime is forced, and ${\rm C_{comm}}(D_{2q}) = \{q\}$, ${\rm C_{char}}(D_{2q}) = \{2\}$ for all odd primes $q$. Certified exhaustive computation ($|G|\le128$ commuting, $|G|\le64$ character) and a deformation-family analysis support the general program: classify the Smith torsion of the compressed centralizer-type incidence matrix $B_G$.

2026-07-06T23:35:18Z 17 Pages Matthew Fried http://arxiv.org/abs/2607.10552v1 2026-07-12T03:44:20Z

Which discrete symmetry groups can arise from strategic interaction? We tile the plane with copies of a bimatrix game's support complex, joined by controlled boundary rules, and show that all seventeen wallpaper groups act on the resulting covers: explicit generators, each a machine-verified graph automorphism, every realization certified as the exact toroidal quotient, with types identified by a crystallographic recognizer in exact rational arithmetic and cross-validated in GAP. A three-line lemma turns the classical symmorphic/non-symmorphic distinction into a lattice classification: realizations whose translations contain the full tile lattice exist precisely for the thirteen symmorphic groups, and the four non-symmorphic groups are realized at translation-lattice index exactly two, the minimum possible: the tile is the glide's half-step. Two computational tracks accompany the construction. On the graph track, quotienting a straight cover by its translations recovers the tile exactly, $\beq(M/\calT)=\beq(K)$, and swap boundaries add exactly $\binom m2$, independent of payoffs and of cover size. On the game track, detecting a duplicated-strategy cover is a linear-time payoff scan, one tile solution folds to a full translation orbit of cover equilibria, and the tiled correlated-equilibrium system has dimension exactly $r(d-q)+q$, with expansion impossible. The polymatrix cover then carries the symmetry outright: every wallpaper action, glides included, is a group of genuine game automorphisms, equilibria collapse along any symmetry subgroup to a folded fixed-point problem, and a decorated refinement has game automorphism group exactly the toroidal wallpaper group.

2026-07-12T03:44:20Z 27 pages Matthew Fried http://arxiv.org/abs/2607.10266v1 2026-07-11T11:48:43Z

A triple $(S, +, \cdot)$ is called a {\em left semibrace} if $(S, +)$ is a semigroup, $(S, \cdot)$ is a group and $x(y+z)=(xy)+(x(x^{-1}+z))$ for all $x, y, z\in S$, where $x^{-1}$ is the inverse of $x$ in the group $(S, \cdot)$. In this note, we show that $(S,+)$ is always a rectangular group in this case, i.e., it is isomorphic to the direct product of a group and a rectangular band, and obtain a structure theorem for general left semibraces by the generalized matched products of right zero left semibraces and right cancellative left semibraces. This improves and enriches some results obtained by Jespers and Van Antwerpen in [Forum Math. 31 (2019) 241--263.]

2026-07-11T11:48:43Z 9 pages Shoufeng Wang http://arxiv.org/abs/2212.03104v3 2026-07-11T11:45:59Z

For a finite group $G$, let $LC(G)$ be the subgroup generated by elements $x$ such that, for all $y \in G$ and all integers $n$, the order of $x^n y$ divides the least common multiple of the orders of $x$ and $y$. This subgroup is a nilpotent characteristic subgroup of $G$. In this article, among other results, we show that a finite solvable group $G$ admits an $LC$-nilpotent series if and only if $G$ does not contain any $2$-Frobenius subgroup of type $(p, q, p)$. As a consequence of this theorem, we conclude that the algebraic system comprising all $LC$-nilpotent groups forms a variety.

2022-12-04T13:49:25Z Published vrsion M. Amiri I. Kashuba I. Lima http://arxiv.org/abs/2607.10264v1 2026-07-11T11:43:49Z

In this paper, we prove that for $p\geq 13$ and $5\leq n\leq p-3$, every reduction simple fusion system on the finite $p$-group $S(n,p)$ is block-exotic. Furthermore, we establish the block-exoticity of three infinite families of reduction simple exotic fusion systems.

2026-07-11T11:43:49Z 11 pages Jun Liao Yikun Liu http://arxiv.org/abs/2606.27753v2 2026-07-11T04:29:19Z

Assume $n \geq 2$ and $\ell = (r_{1}, \ldots, r_{k}) \in [0,1]^{k}$ is an increasing sequence of real numbers. Let $G_{n,\ell}$ denote the group of orientation-preserving piecewise linear homeomorphisms $h$ of $I = [r_{1}, r_{k}]$ such that: (i) $h'(x)$ is a power of $n$ where it is defined; (ii) if $h'(x)$ is undefined, then $x$ is an $n$-adic rational number, (iii) $h$ fixes each entry of $\ell$, and (iv) $h(\mathbb{Z}[1/n] \cap I) = \mathbb{Z}[1/n] \cap I$. We prove that $G_{n,\ell}$ is a diagram group $D(\mathcal{P}_{n,\ell}, ω_{n,\ell})$ for all integers $n \geq 2$ and for all finite sequences $\ell$. The semigroup presentation $\mathcal{P}_{n,\ell}$ and the word $ω_{n,\ell}$ can be computed from the $n$-ary expansions of the numbers $r_{i}$. If all entries in $\ell$ are rational, then $G_{n,\ell}$ has type $F_{\infty}$. Otherwise, $G_{n,\ell}$ is not finitely generated.

2026-06-26T06:16:02Z 27 pages, 4 figures. Updated with a new section on alternate approaches to the main theorem and overlap with work of others Daniel S. Farley http://arxiv.org/abs/2512.04531v2 2026-07-10T22:20:41Z

We construct a continuum sized family $\{G_x\}_{x\in\{0,1\}^{\mathbb N}}$ of pairwise non-measure equivalent countable groups which have property (T) (hence are finitely generated), have zero $\ell^2$-Betti numbers of all orders, and are torsion-free. We also prove that the equivalence relation $\simeq^{\mathrm{fg}}_{\mathrm{ME}}$ of measure equivalence between finitely generated groups is non-smooth, resolving a question of S. Thomas. Our proof moreover shows that $\simeq^{\mathrm{fg}}_{\mathrm{ME}}$ sits above every countable Borel equivalence relation in the Borel reducibility hierarchy.

2025-12-04T07:27:34Z Added a new result showing that the ME-relation on the space of finitely generated groups is not smooth Adrian Ioana Robin Tucker-Drob