https://arxiv.org/api/y5dA0g3MBs2/CvZGKobEZbX881I 2026-07-25T15:40:38Z 25936 285 15 http://arxiv.org/abs/2606.29422v1 2026-06-28T14:32:57Z

The main objective of this paper is to give a positive answer to the natural question proposed by Ashot Minasyan: Is the fundamental group of finite graph of conjugacy separable groups with finite edge groups conjugacy separable?

2026-06-28T14:32:57Z Sheila Campos Chagas http://arxiv.org/abs/2606.29398v1 2026-06-28T13:45:11Z

We give an explicit, cochain-level algebraic model for the pronilpotent completion of a group with finitely generated first cohomology. To each binomial $\cup_1$-dga $(A,d_A)$ over $R=\mathbb{Z}$ or $\mathbb{F}_p$ ($p$ prime) -- a differential graded algebra endowed with a Steenrod $\cup_1$-product and a compatible binomial operation -- we associate a pronilpotent group $G(A)$ that depends only on the 1-quasi-isomorphism type of $A$, provided $H^0(A)=R$ and $H^1(A)$ is a finitely generated free $R$-module. This group arises functorially from the 1-minimal model of $A$, which is unique up to isomorphism. When $A=C^*(X;R)$ is the cochain algebra of a connected CW-complex $X$ with $H^1(X;R)$ finitely generated, the group $G(A)$ recovers the Bousfield--Kan $R$-completion of $π_1(X)$ when $R=\mathbb{F}_p$, and its pro-torsion-free-nilpotent completion when $R=\mathbb{Z}$. Moreover, the group $G(A)$ comes equipped with a natural inverse system $\{G_n(A)\}_{n\ge 1}$ whose structure maps $G_{n+1}(A)\to G_n(A)$ are surjective. If $A=C^*(X;R)$, then $G_n(A)$ is the quotient of $π_1(X)$ by the $(n+1)$th term of the fastest descending central series whose successive quotients are free $R$-modules. We give a purely algebraic necessary and sufficient criterion that, given an isomorphism $G_n(A)\cong G_n(B)$, determines whether $G_{n+1}(A)\cong G_{n+1}(B)$, and we illustrate the use of this criterion with examples distinguishing spaces with isomorphic cohomology rings.

2026-06-28T13:45:11Z 34 pages Richard D. Porter Alexander I. Suciu http://arxiv.org/abs/2606.29397v1 2026-06-28T13:42:40Z

We study standard spherical growth rates of right-angled Coxeter groups through the clique polynomial of the defining graph. We prove that every even degree at least four occurs as the degree of a strongly primitive Salem growth rate: for each $d \geq 2$, there are infinitely many connected $K_{2d+1}$-free defining graphs whose full reciprocal-radius polynomial is an irreducible Salem polynomial of degree $2d$. We also prove independence-polynomial obstructions for prescribed Salem polynomials, including a sharp first-coefficient bound $a_1 \leq -5$, and apply them to Lehmer's polynomial and its suspension multiples.

2026-06-28T13:42:40Z 16 pages Mingyu Oh http://arxiv.org/abs/2309.05055v2 2026-06-28T09:13:32Z

The motions of mechanisms can be described in terms of screw coordinates by means of an exponential mapping. The product of exponentials (POE) describes the configuration of a chain of bodies connected by lower pair joints. The kinematics is thus given in terms of joint screws. The POE serves to express loop constraints for mechanisms as well as the forward kinematics of serial manipulators. Besides the compact formulations, the POE gives rise to purely algebraic relations for derivatives wrt. joint variables. It is known that the partial derivatives of the instantaneous joint screws (columns of the geometric Jacobian) are determined by Lie brackets the joint screws. Lesser-known is that derivative of arbitrary order can be compactly expressed by Lie brackets. This has significance for higher-order forward/inverse kinematics and dynamics of robots and multibody systems. Various relations were reported but are scattered in the literature and insufficiently recognized. This paper aims to provide a comprehensive overview of the relevant relations. Its original contributions are closed form and recursive relations for higher-order derivatives and Taylor expansions of various kinematic relations. Their application to kinematic control and dynamics of robotic manipulators and multibody systems is discussed.

2023-09-10T15:34:19Z Mechanism and Machine Theory, Vol. 142, 2019, 103594, 35 pages Andreas Mueller 10.1016/j.mechmachtheory.2019.103594 http://arxiv.org/abs/2606.29260v1 2026-06-28T08:14:44Z

In the category of digroups there is a natural pretorsion theory in which the torsion-free digroups are all groups, and torsion digroups form a category isomorphic to the category of non-empty sets. It is also possible to extend the theory of heaps from groups to digroups. The corresponding notion is that of a diheap.

2026-06-28T08:14:44Z Alberto Facchini Carmelo Antonio Finocchiaro http://arxiv.org/abs/2307.12474v2 2026-06-27T23:23:02Z

We show that an o-minimal structure M defines groups with infinite definable rank if and only if M defines some finite power of $\mathbb{Q}/\mathbb{Z}$. If no interval of M is countable, then all groups definable in M have finite definable rank. In general, we prove that every definable group $G$ in an arbitrary o-minimal structure is an extension of a definable periodic group $P$ by a (maximal unique) definably connected definably finitely generated subgroup $\widehat G$. When $G$ is definably connected, $P$ is abelian and the extension almost split, in that $G$ is an almost direct product $G = (\widehat G \times P)/F$, for some finite central subgroup $F$. The definable rank of $\widehat G$ is bounded above by its dimension, and the upper bound is strict whenever $\widehat G$ is not solvable. Along the way, we show that every linear definable group has finite definable rank. This provides another proof, and a generalization to linear o-minimal groups, of the fact that linear algebraic groups over an algebraically closed field of characteristic $0$ contain a Zariski-dense finitely generated subgroup. We further prove that every perfect definable group is normally monogenic, generalizing the finite group case. This yields a positive answer to Wiegold's problem in the o-minimal setting.

2023-07-24T02:01:20Z v2: paper completely rewritten with corrections and several new results. To be published in Isr. J. Math Annalisa Conversano http://arxiv.org/abs/2606.12181v2 2026-06-27T19:31:50Z

We prove the group version of the Matrix Spencer conjecture. For every finite group $G$, there exist signs $\varepsilon\in\{\pm1\}^G$ such that $$\left\| \sum_{g\in G} \varepsilon_gρ(g) \right\|\leq C\, \sqrt{|G|},$$ where $ρ$ is the left regular representation of $G$ and $C$ is a universal constant. This conjecture was posed in [BKMZ24], which settled it for simple groups; we establish it for all finite groups, combining the Peter--Weyl decomposition with the intrinsic-freeness inequalities of [BBvH23] in an iterated partial-coloring argument.

2026-06-10T15:06:06Z Small editorial changes Afonso S. Bandeira Helmut Bölcskei http://arxiv.org/abs/2606.29017v1 2026-06-27T17:32:35Z

We study centralizers of dilations in the quasi-isometry group of the positive real line. We introduce an asymptotic invariant defined via coarsely dense sequences at infinity and establish a rigidity theorem for quasi-isometries that coarsely commute with a dilation. As an application, we identify the subgroup of the centralizer consisting of elements with non-empty asymptotic invariant and prove that it is naturally isomorphic to the multiplicative group of positive real numbers.

2026-06-27T17:32:35Z 13 pages Swarup Bhowmik Deblina Das http://arxiv.org/abs/2606.28908v1 2026-06-27T13:31:25Z

We study doppelsemigroups, i.e., algebraic structures equip\-ped with two associative binary operations satisfying a specified system of axioms. We investigate duality and isomorphisms of doppelsemigroups and examine the relationships between commutative, abelian, strong, and rectangular doppelsemigroups. Several examples are constructed, including nontrivial iso-opposite doppelsemigroups, noncommutative iso-dual doppelsemigroups, nonabelian iso-cross-dual doppelsemigroups, and nonstrong rectangular iso-opposite doppelsemigroups. Furthermore, we refine the complete classification of nonisomorphic doppelsemigroups of order~3. Finally, we present computer-assisted calculations yielding the numbers of all pairwise nonisomorphic doppelsemigroups and strong doppelsemigroups of orders up to~$5$, as well as all pairwise nonisomorphic commutative, abelian, and rectangular doppelsemigroups of orders up to~$6$, obtained using \texttt{GAP}, \texttt{Python}, and \texttt{C++}.

2026-06-27T13:31:25Z Volodymyr M. Gavrylkiv http://arxiv.org/abs/2606.28611v1 2026-06-26T21:11:11Z

Cayley codes, introduced by Kaufman and Wigderson, are linear codes constructed from a Cayley graph and a smaller linear code. We explore general properties of the class of Cayley codes for finite groups. In particular we give a reduction to Cayley codes for connected Cayley graphs that maintains code properties such as rate, minimum distance and symmetry. Also, for a given Cayley code, we identify a family of symmetric Cayley codes, each associated with a normal edge-transitive Cayley graph, such that the given Cayley code embeds into the direct sum of the symmetric Cayley codes. We analyse several families of examples, in particular studying the behaviour of the Cayley code construction under forming direct products and cartesian products of Cayley graphs, and we pose a number of open questions.

2026-06-26T21:11:11Z 23 pages Vishnuram Arumugam Cheryl E. Praeger Daniel Rademacher http://arxiv.org/abs/2603.20495v3 2026-06-26T16:52:42Z

This paper studies the triviality of commutators in central products of Cayley-Dickson loops. Two immediate outcomes of this study are (1) the construction of a sequence of non-commutative di-associative loops in which the probability that a random commutator is trivial approaches 1, and (2) an easy proof that if two central products of $n$-fold Cayley-Dickson loops are isomorphic for $n\geq 3$, then the loops in the first product are term-wise isomorphic to the loops in the second product.

2026-03-20T20:48:48Z JoNAS - Journal of Non-Associative Structures, Volume 1 (2026), Issue 1 (June 29, 2026) jonas:17802 Adam Chapman Ilan Levin 10.46298/jonas.17802 http://arxiv.org/abs/2606.28477v1 2026-06-26T16:51:35Z

In the full transformation semigroup $T_n$ on a finite chain $X_n$, let $D_n=\{α\in T_n:(\forall x \in X_n) \ xα\leq x\}$ be the subsemigroup of all order-decreasing maps of $T_n$, and let $O_n=\{α\in T_n:(\forall x ,y\in X_n) \ x \leq y \Rightarrow xα\leq yα\}$ be the subsemigroup of all order-preserving maps of $T_n$. The Catalan monoid $C_n$ is a semigroup of all order-decreasing and order-preserving full transformations of $X_n$. In this paper, it is shown that $O_n$ is closed in $T_n$. Also, the dominion of $D_n$ and the dominion of $C_n$ in $T_n$, denoted by $Dom_{T_n}(D_n)$ and $Dom_{T_n}(C_n)$, are characterized, and it is shown that they are regular idempotent-generated subsemigroups of $T_n$. Moreover, a formula for the number of their elements and their idempotents is given.

2026-06-26T16:51:35Z Halima H. Assiri King Abdulaziz University Jehan A. Albar King Abdulaziz University http://arxiv.org/abs/2606.28107v1 2026-06-26T14:07:17Z

We study a family of generalizations of the notion of Euler characteristic of discrete groups (or of orbifolds, depending on one's perspective) indexed on the natural numbers. For $n=0$, this is the classical orbifold Euler characteristic as studied by Wall and Serre, whereas for $n \geq 1$ and finite groups, this is the chromatic cardinality as studied by Ben-Moshe--Carmeli--Schlank--Yanovski. For general $n$, we show that our generalized Euler characteristic admits a natural interpretation in terms of the Morava $E$-theories. Our work involves showing that the generalized cohomology of infinite groups $G$ with finite universal space for proper actions $\underline{E}G$ has a good theory of duality, as expressed by a new duality functor on the category of proper $G$-equivariant spectra. In particular, for such groups we prove the vanishing of Klein's generalized Farrell--Tate cohomology with $T(n)$-local coefficients. We compute our generalized orbifold Euler characteristics in a large number of examples. This includes many mapping class groups, where the classical calculation is a result of Harer--Zagier, and many arithmetic groups, whose classical orbifold Euler characteristics were computed by Harder.

2026-06-26T14:07:17Z Gijs Heuts Irakli Patchkoria http://arxiv.org/abs/2606.28080v1 2026-06-26T13:45:08Z

We introduce the notion of sectional indecomposability and study it for finite groups: a group $H$ is sectionally indecomposable if, whenever $H$ is a section of a direct product $A \times B$, then $H$ is already a section of $A$ or of $B$. We show that the study of sectionally indecomposable finite groups reduces to the monolithic case. Our main result is a complete characterisation of sectional indecomposability for monolithic primitive groups: such a group $G$ with $N = \mathrm{soc}(G)$ is sectionally indecomposable if and only if either $N$ is non-abelian, or $N$ is a $p$-group and $O_{p'}(G/N) \neq 1$. The proof relies on the introduction of the notion of an $H$-Frattini module and on the theory of the universal $p$-Frattini cover, together with a result of Griess--Schmid. As a corollary, every monolithic primitive solvable group is sectionally indecomposable. We also discuss the non-primitive case, which appears significantly harder, and highlight open questions concerning monolithic $p$-groups.

2026-06-26T13:45:08Z 14 pages, comments welcome! Andrea Lucchini Nowras Otmen http://arxiv.org/abs/2606.27998v1 2026-06-26T11:51:05Z

Reid--Smith parametrised ($P$)-closed groups acting on trees using graph-based combinatorial structures known as local action diagrams. Properties of the acting (topological) group, such as being locally compact, compactly generated, discrete or simple, are reflected in its local action diagram. In this article, we describe the translations of ($P$)-closed groups and their axes in terms of local action diagrams. As applications, we determine the scale function of ($P$)-closed groups and characterise unimodular as well as uniscalar ($P$)-closed groups. The latter provides one possible answer to a question of Thomas Weigel.

2026-06-26T11:51:05Z 23 pages, 9 figures. First version, comments welcome! arXiv admin note: text overlap with arXiv:2409.13240 Marcus Chijoff Michal Ferov Stephan Tornier