https://arxiv.org/api/dwOw4yus0F5aeMKD8SeFd2yIS/w 2026-07-24T11:57:12Z 25936 225 15 http://arxiv.org/abs/2603.09363v4 2026-07-03T12:10:16Z

We investigate which group-theoretic invariants are powerful in distinguishing among non-isomorphic p-groups. Based on this, we devise an effective algorithm to solve the group identification problem for the $10,494,213$ groups of order $2^9$. We exhibit 56 pairs of groups of order $2^9$ which are difficult to distinguish by invariants.

2026-03-10T08:44:13Z 13 pages journal of Groups, complexity, cryptology, Volume 18 Issue 2 (July 7, 2026) gcc:17698 Bettina Eick Henrik Schanze 10.46298/jgcc.2026.18.2.17698 http://arxiv.org/abs/2607.03081v1 2026-07-03T08:13:33Z

We introduce and study the Baer transform for finite skew braces whose additive group has odd order and nilpotency class at most $2$. Starting from Baer's classical construction for nilpotent groups of odd order and nilpotency class $2$, we replace the additive group $(X,+)$ by an abelian group $(X,\oplus)$ on the same underlying set and prove that \[ Br(X)=(X,\oplus,\cdot) \] is a finite skew brace of abelian type. We show that the Baer transform preserves automorphisms, strong left ideals, ideals and central ideals, and we establish its compatibility with quotients. We then compare structural properties of $X$ and $Br(X)$. As applications, we show that direct product decompositions into ideals are preserved by the Baer transform, giving a criterion for indecomposability of skew braces. Finally, for finite $p$-skew braces with $p$ odd, we apply Thompson critical subgroups together with the Baer transform to embed suitable automorphism groups into automorphism groups of skew braces of abelian type.

2026-07-03T08:13:33Z Gülin Ercan Şükran Gül İsmail Ş. Güloğlu M. Yasir Kızmaz http://arxiv.org/abs/2607.03041v1 2026-07-03T07:31:59Z

Product structure theory aims to understand complex graphs by embedding them into products of simpler graphs. In this direction, Campbell, Distel, Gollin, Harvey, Hendrey, Hickingbotham, Mohar and Wood (2022) put forth the conjecture that all graphs of degree-$d$ polynomial growth (i.e., where balls of radius $r$ have $\mathcal{O}(r^d)$ vertices) can be embedded into the strong product of $d$ trees, each with linear growth, and a constant-size clique. In this paper, we disprove this conjecture for $d = 4$. The counterexamples are finite subgraphs of a Cayley graph of the discrete $3$-dimensional Heisenberg group $\mathbb{H}(\mathbb{Z})$. These graphs were first proposed by Huang and McCarty as potential counterexamples to the conjecture. A key technical tool of our proof is the ''quantitative central collapse'' theorem due to Cheeger, Kleiner and Naor (2011), guaranteeing that every Lipschitz map from the continuous Heisenberg group $\mathbb{H}$ to the function space $L_1$ collapses along a central line.

2026-07-03T07:31:59Z 16 pages Freddie Illingworth Sergey Norin Raphael Steiner http://arxiv.org/abs/2607.03020v1 2026-07-03T07:09:42Z

Let $G$ be a group and $K$ be a normal subgroup of $G$. A sequence over $G$ is a finite collection of terms from $G$, where repetition is allowed, and the order is disregarded. A product-$K$ sequence is a sequence whose terms can be ordered such that their product in $G$ belongs to $K$. The set $\mathcal B_K (G)$ of all product-$K$ sequences over $G$ forms a monoid, called the monoid of product-$K$ sequences, under the operation of sequence concatenation. In this paper, we investigate the algebraic and arithmetic properties of the monoid $\mathcal B_K (G)$. Among our main results, we provide precise characterizations of when the monoid $\mathcal B_K (G)$ satisfies key properties, namely being a (transfer) Krull, seminormal, or (half-)factorial. Our results generalize existing frameworks, making them applicable to both the classical abelian and the more recently developed non-abelian settings.

2026-07-03T07:09:42Z 16 pages Jun Seok Oh Doniyor Yazdonov http://arxiv.org/abs/2607.02973v1 2026-07-03T05:29:38Z

For a graph $Γ$, the splitting field of $Γ$ is defined as the splitting field of the characteristic polynomial of $Γ$ over rationals. The algebraic degree of $Γ$ is defined by the extension degree of its splitting field over rationals. Let $k$ be a positive integer. We call a finite group $G$ \textit{Cayley $k$-integral} if, for every inverse-closed subset $S$ of $G$, the algebraic degree of the Cayley graph $\Cay(G,S)$ does not exceed $k$. We give a complete classification of all finite Cayley $2$-integral groups. It is shown that a finite abelian group is Cayley $2$-integral if and only if it is isomorphic to one of the following forms: $G \cong \mathbb{Z}_2^r \times \mathbb{Z}_5^s$, $\mathbb{Z}_2^r \times \mathbb{Z}_4^s \times \mathbb{Z}_8^t$, or $\mathbb{Z}_2^r \times \mathbb{Z}_3^s \times \mathbb{Z}_{12}^t$, where $r, s, t \geq 0$. Furthermore, we prove that the set of finite non-abelian Cayley $2$-integral groups consists of the infinite family $Q_8 \times \mathbb{Z}_2^n$, with $n \geq 0$, and $22$ specific groups.

2026-07-03T05:29:38Z 22 pages Majid Arezoomand Alireza Abdollahi Tao Feng Zeinab Akhlaghi http://arxiv.org/abs/2508.07288v5 2026-07-03T05:05:03Z

In this note we give formulas for cup product in Tate cohomology in terms of inhomogeneous cochains. Using one of these formulas, for a torus T defined over a non-archimedean local field K and splitting over a cyclic extension of K, we compute explicit cocycles representing all cohomology classes in H^1(K,T).

2025-08-10T10:55:32Z Communications in Mathematics, Volume 34 (2026), Issue 1 (July 8, 2026) cm:17416 Mikhail Borovoi 10.46298/cm.17416 http://arxiv.org/abs/2607.00701v2 2026-07-03T02:38:59Z

We introduce a chain map from quandle homology to relative group homology, and construct several quandle cocycles through the chain map. We also relate this chain map to triangulations of Seifert (hyper)surfaces of 1- and 2-dimensional links.

2026-07-01T09:50:27Z 16 pages; Corrected a historical inaccuracy in Section 1 Ayumu Inoue http://arxiv.org/abs/2604.15243v2 2026-07-02T17:26:17Z

Given a group $G$ and an integer $n \geq 0$, let $\mathcal{F}_n$ denote the family of all virtually abelian subgroups of $G$ of rank at most $n$. In this article, we show that for each $n \geq 1$, the minimal dimension of a model for the classifying space $E_{\mathcal{F}_n}G$ for the pure braid group of a surface of non-negative Euler characteristic with at least one boundary component or one puncture is equal to the virtual cohomological dimension of $G$ plus $n$. We prove an analogous result for the full braid group of the sphere. As an application, we compute the minimal dimension of a model for the classifying space associated to the family of amenable subgroups of pure surface braid groups.

2026-04-16T17:18:47Z 16 pages, 2 figures Ramón Flores Juan González-Meneses Porfirio L. León-Álvarez http://arxiv.org/abs/2604.13749v3 2026-07-02T17:20:54Z

We compute the cohomology groups of the pure symmetric outer automorphism group $Σ$POut$(A_Γ)$ and the pure symmetric automorphism group $Σ$PAut$(A_Γ)$ of a right-angled Artin group $A_Γ$. Using the equivariant spectral sequence arising from the action of $Σ$POut$(A_Γ)$ on the generalized McCullough-Miller complex MM$_Γ$, we show that $H^q(Σ$POut$(A_Γ))$ is free abelian and we compute its rank in terms of the combinatorics of certain poset. Applying the Lyndon-Hochschild-Serre spectral sequence and the Leray-Hirsch theorem we do the same for $H^q(Σ$PAut$(A_Γ))$. In both cases the cohomology ring is generated in degree 1. Finally, we introduce the Generalized Brownstein-Lee Conjecture, proposing a presentation of $H^*(Σ$PAut$(A_Γ))$, and prove that it holds in dimension $2$.

2026-04-15T11:36:03Z Peio Ardaiz Galé http://arxiv.org/abs/2607.02433v1 2026-07-02T17:03:27Z

We study the Sylow permutation character of the symmetric group at the prime 2 and prove some new bounds on the number of parts of partitions corresponding to its constituents.

2026-07-02T17:03:27Z Lorenzo Vanzi http://arxiv.org/abs/2506.04882v3 2026-07-02T14:52:28Z

Gromov's isoperimetric gap conjecture for Hadamard spaces states that cycles in dimensions greater than or equal to the asymptotic rank admit linear isoperimetric filling inequalities, as opposed to the inequalities of Euclidean type in lower dimensions. In the case of asymptotic rank 2, recent progress was made by Druţu-Lang-Papasoglu-Stadler who established a homotopical inequality for Lipschitz 2-spheres with exponents arbitrarily close to 1. We prove a homological inequality of the same type for general cycles in dimensions at least 2, assuming that the ambient space has finite linearly controlled asymptotic dimension. This holds in particular for all Hadamard 3-manifolds and finite-dimensional CAT(0) cube complexes.

2025-06-05T11:00:57Z 22 pages, final version Urs Lang Stephan Stadler David Urech http://arxiv.org/abs/2606.27056v2 2026-07-02T14:18:54Z

We offer a workable construction of the free right nilpotent skew braces of arbitrary class which allows us to prove (among many other things) that this free object has free additive/multiplicative groups, and that it must also be residually finite and Hopfian. We introduce the class of right nilpotent solutions, which correspond to right nilpotent skew braces. As a consequence of our construction, the free solutions in this class have a solvable Word Problem, and every law holding for finite solutions of the previous type also holds for every solution of the same type. In the remainder of the paper, we present further explicit realizations of free objects and explore their consequences. Among these are free two-sided skew braces of abelian type (with an abelian multiplicative group) and free centrally nilpotent skew braces of class 2.

2026-06-25T14:00:03Z 79p, comments welcome!(updated typo's, internal reference errors and improved exposition on free solutions with added reference) Eric Jespers Thomas Letourmy Silvia Properzi Marco Trombetti Arne Van Antwerpen http://arxiv.org/abs/2607.02147v1 2026-07-02T13:24:21Z

We study the growth spectrum of groups acting on hyperbolic spaces, i.e.\ the set of exponential growth rates achieved by subgroups. For a finitely generated free group or a surface group acting convex-cocompactly on a proper geodesic hyperbolic metric space, we prove that the growth spectrum is the full interval $[0, ω_G]$. For any hyperbolic group, we prove that the growth spectrum contains a large interval $[0, ω_{\mathcal{F}}]$ where $ω_{\mathcal{F}} \geq ω_G / 2$, with strict inequality when the action is divergent. In the case of the Cayley graph of a free group, we also present an approach via the non-backtracking matrix of the configuration model, connecting the density of growth rates to a spectral concentration result for random graphs.

2026-07-02T13:24:21Z Rémi Coulon Michail Louvaris Daniel T. Wise Gal Yehuda http://arxiv.org/abs/2607.02130v1 2026-07-02T13:06:56Z

A crystallographic group is a discrete subgroup of the Euclidean group $\operatorname{E}(n)$ that has a compact fundamental domain. Since such a crystallographic group $Γ$ is infinite, computing fundamental domains of $Γ$ is algorithmically challenging. We address this difficulty by targeting the computation of Dirichlet cells that can form fundamental domains of $Γ$. We show that the half-spaces defining such a Dirichlet cell can be derived from elements of $Γ$ acting on $\mathbb{R}^n$ that can be expressed as words of bounded length in a suitable generating set. Based on these results, we design an algorithm for the computation of fundamental domains of crystallographic groups and exploit it to study the construction of topological interlocking assemblies.

2026-07-02T13:06:56Z Reymond Akpanya Alice C. Niemeyer Lukas Schnelle http://arxiv.org/abs/2607.02107v1 2026-07-02T12:41:58Z

The Birman-Craggs-Johnson homomorphism is a homomorphism $σ\colon \mathcal{I}_g \to \mathbb{B}_3'$ from the Torelli group to a certain $\mathbb{Z}/2\mathbb{Z}$-vector space of Boolean polynomials. In 1983, Johnson computed $H_1(\mathcal{I}_g)$ for $g \geq 3$ and showed, in particular, that the induced homomorphism on $H_1(\mathcal{I}_g)$ is injective when restricted to the subgroup generated by Dehn twists about separating simple closed curves. In this paper, we extend Johnson's result to higher homology groups. Given any collection of pairwise disjoint separating simple closed curves on $Σ_g$, the corresponding Dehn twists pairwise commute and determine a homology class in $H_k(\mathcal{I}_g)$ called an abelian cycle. We prove that the pushforward homomorphism restricted to the subgroup of $H_k(\mathcal{I}_g)$ generated by such abelian cycles is injective for $k \leq g-2$.

2026-07-02T12:41:58Z 21 pages, 3 figures Andrei Vladimirov