Cyclic Probability of a Finite Group

2026-07-15T11:36:46Z

The cyclic probability, $θ(G)$, of a finite group $G$, is defined as the probability that two randomly selected elements of $G$ generate a cyclic subgroup of $G$. In this paper, we study various upper and lower bounds of $θ(G)$ and show that $θ(G)$ can be used as a criterion for checking nilpotency and solvability of a finite group. We also compare $θ(G)$ with other group invariants like commuting probability $cp(G)$ and normalized sum of element orders.

On Zappa--Szép products of a wreathed $2$-group and a cyclic group

2026-07-15T11:04:31Z

Let $n, m \ge 1$, and let $H = C_{2^n}\wr C_2$ be the wreathed $2$-group and $K = C_{2^m}=\langle z \rangle$ a cyclic group. We classify the Zappa--Szép products $G = HK$ in which the base $B \cong C_{2^n}\times C_{2^n}$ of $H$ is normal in $G$. When the matrix $Z$ of the $z$-action on $B$ commutes with the swap $J$ of the two base generators -- equivalently, $Z$ is symmetric circulant -- we classify these products by an explicit system of seven polynomial congruences in a tuple $(p,q,r,s,c)$. Dropping this hypothesis, we obtain a unified classification of all such products with $B$ normal by five congruences on the entries of $Z$ and the parameters $(r,s,c)$, of which the symmetric case is the specialisation $JZ = ZJ$. Finally, we separately treat the classification for the modulus $M = 2^m = 4$, since in this case the congruences degenerate.

Characterized subgroups on the unit circle

2026-07-15T08:51:07Z

Given an ideal $\mathcal{I}$ on $ω$, a subgroup $H$ of the unit circle $\mathbb{T}$ is said to be $\mathcal{I}$-characterized if there exists an integer sequence $a=(a_n: n \in ω)$ such that $$ H=\mathsf{H}_{a}(\mathcal{I}):= \left\{x\in\mathbb{T}:\mathcal I\text{-}\lim_{n\to \infty} a_nx=0\right\}. $$ We also consider the corresponding $\mathcal{I}^\star$-version. We provide upper bounds for the topological complexities of those subgroups in terms of the complexity of $\mathcal{I}$. Moreover, we prove that Rudin--Keisler and Rudin--Blass reductions between ideals induce inclusions between the corresponding families of characterized subgroups. As a consequence, every characterized subgroup, and in particular every countable subgroup of $\mathbb{T}$, is $\mathcal{I}$-characterized for every meager ideal $\mathcal{I}$. We also show that if the image of $(a_n: n \in ω)$ contains arbitrarily large intervals, then every subgroup of $\mathbb{T}$ can be written as $\mathsf{H}_{a}(\mathcal{J})$ for some ideal $\mathcal{J}=\mathcal{J}_{H,a}$. We analyze the descriptive complexity and $P$-properties of these ideals. Finally, we study when the equality $\mathsf H_{a}(\mathcal{I})=\mathbb{T}$ forces $\mathrm{supp}(a)\in\mathcal{I}$. We prove this for a class of ideals satisfying a Katetov-type condition involving $\mathcal{ED}$, including nowhere tall ideals as well as the ideals $\mathsf{nwd}$ and $\mathsf{null}$. We also obtain non-inclusion results between families of $\mathcal{I}$-characterized subgroups: for instance, we show that if the ideal $\mathcal{I}$ is tall and translation invariant then the subgroup $\mathsf{H}_{(2^n)}(\mathcal{I})$ cannot be characterized. We use our results to answer several open problems posed in the literature.

Homotopy types of complexes of hyperplanes in quasi-median graphs and applications to right-angled Artin groups

2026-07-15T05:44:58Z

In this article, we prove that, given two finite connected graphs $Γ_1$ and $Γ_2$, if the two right-angled Artin groups $A(Γ_1)$ and $A(Γ_2)$ are quasi-isometric, then the infinite pointed sums $\bigvee_\mathbb{N} Γ_1^{\bowtie}$ and $\bigvee_\mathbb{N} Γ_2^{\bowtie}$ are homotopy equivalent, where $Γ_i^{\bowtie}$ denotes the simplicial complex whose vertex-set is $Γ_i$ and whose simplices are given by joins. These invariants are extracted from a study, of independent interest, of the homotopy types of several complexes of hyperplanes in quasi-median graphs (such as one-skeleta of CAT(0) cube complexes). For instance, given a quasi-median graph $X$, the \emph{crossing complex} $\mathrm{Cross}^\triangle(X)$ is the simplicial complex whose vertices are the hyperplanes (or $θ$-classes) of $X$ and whose simplices are collections of pairwise transverse hyperplanes. When $X$ has no cut-vertex, we show that $\mathrm{Cross}^\triangle(X)$ is homotopy equivalent to the pointed sum of the links of all the vertices in the prism-completion $X^\square$ of $X$.

Involutions of (twisted) diagram monoids

2026-07-15T05:04:08Z

We classify the involutions of all of the most well-studied diagram monoids -- namely the partition, planar partition, partial Brauer, Motzkin, Brauer and Temperley--Lieb monoids -- and characterise those that give rise to star-regular or regular star-monoid structures. We then complete the same program for the associated twisted diagram monoids, with respect to both the canonical float-counting twisting, and the recently-discovered rank-based twisting. This necessitates developing a general theory of involutions of twisted products. Some of our results were quite unexpected. For example, a Brauer monoid is star-regular with respect to many of its involutions, but only a regular star-monoid for one of them. We will also see that twisted diagram monoids over the integers are always star-regular, thereby providing new and very natural examples of star-regular monoids. Along the way, we also obtain (by necessity) a number of results of independent interest; specifically, we classify the automorphisms of the Motzkin and Temperley--Lieb monoids (and hence also of the planar partition monoids), and we show that all of our diagram monoids generically have trivial centre.

Braid groups and Burnside groups

2026-07-14T22:39:49Z

There exists an exceptional quotient of braid groups $\text{Br}_4 \twoheadrightarrow \text{Br}_3$ that is related to many interesting constructions in algebra, topology, and geometry. This quotient map also descends to a quotient of "truncated" braid groups $\text{Br}_4(d) \twoheadrightarrow \text{Br}_3(d)$, which have an added torsion relation on their half twist generators. In this article, we find a presentation for the kernel of this truncated quotient map that takes the form of what we deem a "primitive" Burnside group. We give a few finiteness results on these primitive Burnside groups. Our methods are purely group theoretic, but we comment on an interpretation involving Lefschetz fibrations at the end.

A substitution lemma for multiple context-free languages

2026-07-14T14:01:58Z

We present a necessary condition for an infinite language to be multiple context-free, which we call a Substitution Lemma. We apply it to show a sample selection of languages are not multiple context-free, including the word problem of the group $F_2\times F_2$. We also show that groups with multiple context-free word problem have decidable rational subset membership problem. Our result contrasts with previous work showing that the standard pumping lemma for context-free languages cannot be generalised to multiple context-free languages, and that weak variants of generalised Ogden's lemma do not apply to multiple context-free languages.

Generalized locally compact models for approximate groups

2026-07-14T10:28:12Z

We give a proof of the existence of generalized definable locally compact models for arbitrary approximate subgroups via an application of topological dynamics in model theory. Our construction is simpler and shorter than the original one obtained by Hrushovski in ``Beyond the Lascar group'', and it uses only basic model theory (mostly spaces of types and realizations of types). The main tools are Ellis groups from topological dynamics considered for suitable spaces of types. However, we need to redevelop some basic theory of topological dynamics for suitable ``locally compact flows'' in place of (compact) flows. We also prove that the generalized definable locally compact model which we constructed is universal in an appropriate category. We note that the main result yields structural information on definable generic subsets of definable groups, with a more precise structural result for generics in the universal cover of $\textrm{SL}_2(\mathbb{R})$.

Characterizations of quotient spaces for Lindelöf strongly topological gyrogroups

2026-07-14T08:53:51Z

Let $\mathscr{L}$ be the class of Lindelöf spaces such that $\mathscr{L}$ is closed under finite products. In this paper, we prove that if $G \in \mathscr{L}$ is a strongly topological gyrogroup, then $G$ is range-metrizable. Furthermore, we prove that if $H$ is a strong subgyrogroup of a strongly topological gyrogroup $G \in \mathscr{L}$, then every compact $G_δ$-set in the quotient space $G/H$ is Dugundji. Finally, for any strongly topological gyrogroup $G$ and any closed strong subgyrogroup $N$ of $G$, if $G \in \mathscr{L}$ and the quotient space $G/N$ is locally compact, then the inequality $w(G/N) \leq c$ is equivalent to the separability of $G/N$. Our results extend the classical results from topological groups to the class of strongly topological gyrogroups in the literature.

Ring-induced localizations of nilpotent groups

2026-07-14T07:36:28Z

For a commutative ring $R$, we study the $R$-localization functor on the category of groups, defined as localization with respect to the homomorphism $\mathbb{Z}\to R$. Our main result is that, when $R$ is a binomial ring, the $R$-localization of a nilpotent group is again nilpotent. Taking $R=\mathbb{Z}_p$, the ring of $p$-adic integers, yields a new example of a localization functor that preserves nilpotency. To prove this, we characterize $R$-local groups in terms of $R$-groups in the sense of Myasnikov-Remeslennikov. We call an $R$-group a Hall-Petresco $R$-group if it satisfies a version of the Hall-Petresco identity, and show that these form a quasivariety closed under quotients by the center. The crucial input to our main result is that every $R$-local group carries a unique Hall-Petresco $R$-group structure.

The Conjugacy Problem in Wreath Products

2026-07-14T06:37:01Z

In 1966 Jane Matthews claimed that the conjugacy problem is solvable in the standard restricted wreath product $A \wr B$ of two nontrivial groups $A$ and $B$ if and only if (i) the conjugacy problem is solvable in $A$ and $B$ and (ii) $B$ has a \textit{solvable power problem}. We show that there should be an additional condition that either $A$ is abelian or $B$ has a \textit{solvable order problem}. We also show that, if $A$ and $B$ are non-trivial recursively presented groups where $A$ has an infinite number of conjugacy classes and $B$ acts on $B/H$ transitively, then the conjugacy problem in the permutational restricted wreath product $A \wr_{B/H} B$ is solvable if and only if the following hold: (1) the conjugacy problem is solvable in $A$ and in $B$; (2) either $A$ is abelian or \textit{the orbit order problem} is solvable in $B$; (3) for any $γ, β\in B$ the membership problem for $H γ\langle β\rangle$ is solvable; and (4) for any $β\in B$ and any finite set of $n$ pairs of elements $(α_i, γ_i)$, where $α_i, γ_i \in B$ we can determine whether or not $ \big{[} \bigcap_{i=1}^n α^{-1}_iHγ_i \langle β\rangle\big{]} \cap C_B(β) = \emptyset $.

Chain conditions on skew braces and solutions of the Yang-Baxter Equation

2026-07-13T20:49:18Z

Classical works of Hall and McLain show that solubility and local nilpotency play a key role in deriving finite generation in groups from maximal or minimal conditions on normal subgroups. In this work, brace-theoretical analogues of Hall's and McLain's results are analysed for skew braces satisfying the maximal or minimal condition on ideals. We also introduce finiteness and chain conditions on non-degenerate set-theoretic solutions of the Yang-Baxter equation, and their impact on associated structure and permutation skew braces of solutions is also described.

Learning the Graphical Nature of Symmetries

2026-07-13T18:00:02Z

Finite groups are rigid algebraic objects, whose Cayley graphs expose a rich network geometry through which group-theoretic structure can be measured, compared, and learned. In this paper, a dataset of $131{,}406$ Cayley graphs is constructed, covering all groups of order at most $767$ except order $512$, recording exact algebraic labels for group properties together with a broad collection of graph, cycle, distance, and spectral statistics. This census aims to provide novel benchmarks for studying how finite-group properties are reflected in Cayley graph observables. It also yields new enumerative contributions: alongside recovering known OEIS sequences for standard group classes, new sequences for monolithic groups and for groups generated by at most three, four, and five elements are contributed to the OEIS. The accompanying network analysis identifies several empirical regularities and formulates testable conjectures, including relationships involving square clustering, Cayley graph diameter, average graph disorder, and spectral eigengaps of nilpotent groups. Finally, a comparison between classical models, an MLP, and graph neural network architectures is performed for predicting algebraic group properties directly from Cayley graph data. The results show that engineered graph statistics are highly informative, while GNNs, especially GIN and in some fixed-order settings GCN, can recover substantial structural signal directly from the graph. Such that graph-aware architectures show phases of optimality on these group-theoretic graph representations.

On invariant subalgebras of noncommutative Poisson boundaries for higher rank lattices

2026-07-13T17:56:30Z

Let $G$ be a real connected semisimple Lie group with trivial center, no non-trivial compact factors, and all simple factors of real rank at least two. Let $Γ

A Torsion-free Supersoluble Group with Trivial Outer Automorphism Group

2026-07-13T16:32:41Z

We give a negative solution to Problem~13.23 of the Kourovka Notebook. We construct a torsion-free group $G$ of Hirsch length $14$ admitting a finite series \[ 1=G_0\triangleleft G_1\triangleleft\cdots\triangleleft G_{14}=G \] in which every $G_i$ is normal in $G$ and every factor is infinite cyclic, but such that $\Out(G)=1$.