Representations of finite skew braces

2026-06-23T16:45:32Z

One of the classical open problems in the theory of skew left braces is the study of their representation theory. We propose in this paper a definition of representation of a skew left brace and study its properties. Representations of the trifactorised groups associated with skew left braces play a fundamental role.

Hyperlinearity, stability and asymptotic spectral gap of higher rank lattices

2026-06-23T16:17:46Z

We prove that if the group $\mathrm{SL}_2(\mathbb Z[1/p])$ is flexibly Hilbert--Schmidt stable for some prime $p$, then it admits a non-hyperlinear finite central extension. Consequently, a positive answer to the following question would yield an explicit example of a non-hyperlinear group: If two representations of the modular group $\mathrm{SL}_2(\mathbb{Z})$ almost agree on an Iwahori subgroup $B$, must they be close to representations that agree on $B$? More generally, we investigate spectral gap properties for asymptotic representations of higher rank lattices and groups with property (T:FD). In this setting, we prove that character rigidity is equivalent to a weak form of stability.

All mixed identities are singular in groups with no algebraicity

2026-06-23T16:05:34Z

We show that if a group $G$ admits an action with no algebraicity then all of its mixed identities are singular. Previously, such groups were only known to be lawless by a theorem of Abért. Our result confirms, in particular, a conjecture of Bodirsky, Schneider, and Thom for a large class of oligomorphic permutation groups. It thereby not only subsumes numerous results from the literature in a simple uniform theorem, but also settles the question for prominent groups for which the conjecture was an open problem, such as the automorphism group of $(\mathbb{Q}; <)$. Outside the oligomorphic context, it moreover applies to much-investigated groups, e.g. to Thompson's groups $F$, $T$, and $V$, to Grigorchuk's group, and to the homeomorphism groups of any manifold of dimension $\geq 1$. More generally, we prove that all mixed identities of a group $G$ are singular as long as $G$ has an action satisfying certain geometric conditions. This additionally covers the infinite-dimensional general and projective linear groups, recovering e.g. results of Bradford, Schneider, and Thom.

Sofic approximations and quantitative measure couplings

2026-06-23T15:27:21Z

We build quantitative measure subgroup couplings from a Brieussel-Zheng diagonal product to a lamplighter group. We use them to answer the inverse problem of the quantification; namely, find a group admitting a measure subgroup coupling with a prescribed group with prescribed quantification, in the case of the lamplighter group.

The number of Sylow subgroups and a generalization of Mersenne primes

2026-06-23T15:17:33Z

Fix an integer $m$ bigger than 2. We prove that if there exists a finite group with $mp+1$ Suylow $p$-subgroups, where $p$ is large enough, then $mp+1$ is prime. This improves on a theorem of M. Hall and is a partial answer to Brauer's Problem 26. Our proof uses techniques from analytic number theory, and it also raises new questions in that area.

Representing alternating groups as self-dual string C-groups of high rank

2026-06-23T14:47:59Z

The highest rank of a string C-group representation of the alternating group $A_n$ is known for each $n$, but no self-dual representations attaining this highest rank are known when $n > 12$. Motivated by computational results for alternating groups of small degree, we examine a vertex-gluing construction for permutation representation graphs. We establish conditions under which gluing two string C-groups produces another string C-group, and use this construction to obtain infinite families of self-dual representations of alternating groups. In particular, for every $n = 4m+3 \geq 15$, we construct $\left \lfloor \frac{n+9}{8} \right \rfloor$ distinct self-dual string C-groups of rank $2m$ isomorphic to $A_{n}$. These representations have rank one below the maximum possible rank of string C-group representations for $A_n$, and to the authors' knowledge are the highest-rank self-dual representations currently known for alternating groups.

On finite trifactorised groups and Sylow and Hall theorems for skew braces

2026-06-23T12:21:43Z

The aim of this short note is to show that the Sylow theorem (respectively Hall theorem) for finite skew braces proved by Truman in arXiv:2606.18414 is a direct consequence of the Sylow structure (resp. Hall structure) of a finite trifactorised group. A Cauchy theorem for finite skew braces naturally emerges.

Coordinate recognition: General theory, Groups, and other surprises

2026-06-23T10:16:42Z

A class of structures \emph{recognizes coordinates} if any reduced product of structures from said class witnesses a certain kind of rigidity phenomenon. We provide several equivalent characterizations of this property. This property has (at least) two remarkable consequences, one set-theoretic and one model-theoretic, for reduced products of structures of the said class. First, under appropriate set-theoretic assumptions every isomorphism between such reduced products associated with the Fréchet ideal lifts (modulo a finite change) to an isomorphism between products of the original structures. Second, with an additional mild assumption, it implies a strong quantifier elimination result. Of note, we show that a class recognizes coordinates if and only if an individual formula witnesses a certain syntactic property. We also consider many concrete classes of structures and determine whether or not they recognize coordinates. We place heavy emphasis on well-known classes of groups, such as permutation groups, acylindircally hyperbolic groups, quasisimple groups, free products, and graph products, but we also discuss other classes of structures.

On Simply Connected Simple Lie Skew Braces with Nilpotent Multiplicative Group

2026-06-23T08:08:29Z

We prove that a simply connected simple Lie skew brace with nilpotent multiplicative Lie group must be one-dimensional and abelian. Equivalently, if $(G,\cdot,\circ)$ is a simply connected Lie skew brace with nilpotent multiplicative Lie group and $\dim G>1$, then $(G,\cdot,\circ)$ is not simple. Thus, in the simply connected Lie setting, nilpotency of the multiplicative group is incompatible with simplicity in every dimension greater than one. The proof is carried out at the post-Lie algebra level. First, if the additive Lie algebra is solvable, then its nilradical is automatically an ideal of the associated post-Lie algebra. Second, when both Lie algebras underlying an integrable post-Lie structure are nilpotent, one always obtains a proper post-Lie ideal with trivial quotient. To pass from infinitesimal ideals to global ideals of the Lie skew brace, we show that trivial post-Lie quotients give rise to homomorphisms onto abelian trivial Lie skew braces, whose kernels yield connected closed ideals.

The endomorphism tower of a finite symmetric group

2026-06-23T07:58:12Z

We consider the endomorphism tower of a monoid $M$, that is, the sequence of monoids End$_i(M)$ where End$_0(M)=M$ and for all $i\geq 1$, End$_i(M)$ is the monoid of all endomorphisms of End$_{i-1}(M)$. We show that for a finite monoid $M$ this sequence does not stabilise in a finite number of steps. Our focus is then on the case where $M=\mathcal{S}_n$, the symmetric group on a finite number $n$ of points. It is well known that other than in exceptional cases (which are avoided by taking $n \geq 7$), the corresponding automorphism tower of $\mathcal{S}_n$ stabilises at the first step. In spite of the natural nature of this question, nothing was known of the endomorphism tower above the level $i=1$. We determine (for each $n \geq 7)$ the elements of End$_2(\mathcal{S}_n)$ and their multiplication and thus verify that the monoids End$_i(\mathcal{S}_n)$ for $i=0,1,2$ all have group of units isomorphic to $\mathcal{S}_n$. We show that the same is true of End$_3(\mathcal{S}_n)$.

Commuting graph of non-abelian groups of order $p^n$ with center having $p^{n-2}$ elements

2026-06-23T07:53:59Z

Let $G$ be a group. The commuting graph $ζ(G, V)$ of a group $G$ has a vertex set $V\subseteq G,$ two vertices are connected with an edge if the corresponding elements commute in $G.$ In this article, we study the commuting graphs for the non-abelian $p$-groups of order $p^n$ with center size $p^{n-2}.$ We study detour distance, metric dimension, resolving polynomials, and the spectral properties for these graphs.

Asymmetry of $\ell^{2}$-cohomology via skewed Følner geometry

2026-06-23T06:47:47Z

We study the two $\ell^{2}$-Dirichlet structures on a countable group $G$ arising from the left and right regular actions on $\mathbb{R}^{G}$. Although the two regular representations are unitarily equivalent, their $\ell^{2}$-Dirichlet subspaces of $\mathbb{R}^{G}$ need not coincide. Our main result gives a complete classification of this asymmetry for countable amenable groups: $$\mathcal{D}_{2}\left(G,λ\right)=\mathcal{D}_{2}\left(G,ρ\right)\quad\Longleftrightarrow\quad G \text{ is an FC-group}.$$ The proof is based on a skewed Følner-geometric mechanism, called a left scheme, combining summability of left boundaries with displacement under a right translation. We develop this mechanism generally, and demonstrate it concretely in the Heisenberg group and amenable wreath products over $\mathbb{Z}$. We also show that this mechanism has a dynamical counterpart in the theory of nonsingular Bernoulli shifts: every countable amenable group that is not an FC-group admits Bernoulli schemes whose left shift is nonsingular, conservative and weakly mixing, whereas the right shift by some element is singular.

Linearity criteria for automorphism groups of malabelian groups

2026-06-23T00:19:32Z

Let $G$ be a finitely generated malabelian group, let $A\leq\mathrm{Out}(G)$ be a finitely generated subgroup, and let $Γ_{G,A}$ denote the preimage of $A$ in $\mathrm{Aut}(G)$. We give a general criterion for the linearity of $Γ_{G,A}$ in terms of surjections from $G$ to finite simple groups of Lie type.

Totally Disconnected Semigroup Compactifications: Non-Introversion of the Full Boolean Algebra of Clopen Sets

2026-06-22T22:36:03Z

In terms of the existence of a single clopen set and two related nets, we characterize when the full Boolean algebra, ${\mathfrak B}(G)$, of clopen subsets of a topological group $G$ is left introverted. We employ this characterization to show that when $G$ is a first countable, $σ$-compact, totally disconnected locally compact group, ${\mathfrak B}(G)$ is left introverted if and only if $G$ is compact or discrete, thus providing a strong positive answer to a question posed in Stephens and Stokke (Q J Math 2023). Examples of clopen sets and nets witnessing our non-introversion theorem are presented. Some hereditary properties of left introversion of ${\mathfrak B}(G)$ are proved and then employed to extend our main result to other classes of topological groups.

Involutive minimal generating sets with two commuting involutions of Extended Special Linear group $ES{L_3}(\mathbb{Z})$, $ES{L_2}(\mathbb{Z})$ and formulas of roots in GL$_2$($\mathbb{F}_p$), SL$_3(\mathbb{F}_p)$ \, \, \RomanNumeralCaps{3}

2026-06-22T21:15:45Z

In this research we continue our previous investigation of wreath product normal structure \cite{SkuESL}. We generalize the group of unimodular matrices \cite{Amit} and find its structure. For this goal we propose one extension of the special linear group. Groups generated by three involutions, two of which are permutable, have long been of interest in the theory of matrix groups \cite{Maz}, for instance such generating set was researched for $S{{L}_{2}}({{\mathbb{Z}+ i\mathbb{Z}}})$. But for size of matrix 3 on 3 this is imposable for some groups. We research this question for $ES{{L}_{3}}({\mathbb{Z}})$. An analytical formula of root in $SL(3, \mathbb{Z}$) is found, recursive formula for $n$-th power root in $SL(2, \mathbb{Z}$) is found too.