A one-sided Auslander--Lyndon theorem

Artur Tursunbaev

Home/Archive/arXiv

arXiv · 2610.00804

A one-sided Auslander--Lyndon theorem

Artur Tursunbaev

View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove that if $F$ is a noncyclic free group, $R\triangleleft F$ and $S\le F$, then the inclusion $R'\le S'$ implies $R\le S$. Thus the normality hypothesis on the second subgroup can be omitted from the Auslander--Lyndon theorem. No restrictions are imposed on ranks or indices.

Explore related subjects

math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Artur Tursunbaev. 2026-09-30. A one-sided Auslander--Lyndon theorem. https://arxiv.org/abs/2610.00804

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

JSJ splittings for all Artin groups

We prove that an Artin group splits over infinite cyclic subgroups if and only if its defining graph has a separating vertex, and explicitly construct a JSJ decomposition over infinite cyclic subgroups for all Artin groups. We then use these facts to show that, if two Artin groups are isomorphic, then they have the same set of parabolics supported on "big chunks", that is, maximal subgraphs without separating vertices. We also deduce acylindrical hyperbolicity for the automorphism groups of many Artin groups, partially answering a question of Genevois in the case of Artin groups. As a consequence, we produce new families of Artin groups with the R-infinity property.

math.GR↗

arXiv2026

Finite-valued invariant metrics and a classification of natural groups

For every group $G$, of arbitrary cardinality, we construct a right-invariant metric with at most $32$ values whose isometries are exactly the permutations preserving every right-invariant metric on $G$. The proof combines subgroup-entry ranks and sign-variation colorings with a short-word rigidity theorem of Leemann and de la Salle. Their nonabelian orientation-rigidity theorem and direct regular-subgroup arguments yield the complete classification of natural groups in the right-translation sense: an abelian group $A$ is natural if and only if $2A=A$ or $2A=\{0\}$, and a nonabelian group is natural if and only if it is not generalized dicyclic. In particular, the additive group of every field is natural. The bound improves to $17$ for abelian groups and $5$ for Boolean groups, and the Boolean bound is sharp: $C_2^3$ admits no such metric with fewer than five values. Complementary constructions give one countable-valued hull metric realizing precisely the affine sign isometries simultaneously on all subgroups containing fixed coordinate markers, and signed-basis metrics with at most $p+5$ values over $\mathbb{F}_p$ for odd $p$. No other bound is claimed optimal, and no uncolored graphical regular representation is asserted.

math.GR↗

arXiv2026

The Margolis-Rhodes Monoid of a Graph

We investigate the structural, combinatorial, ideal-theoretic and Krohn-Rhodes complexity of the Margolis-Rhodes monoid, MR(G), of a finite simple graph G, viewed topologically as a 1-dimensional simplicial complex. Alongside the full monoid, we examine some subsemigroups including St(G), defined by the condition that the full inverse image is an edge or the empty set and Inj(G), the monoid of all partial 1-1 continuous functions. We provide explicit combinatorial enumerations and struture for paths and cycles. We compute Green's relations showing in particular that the partial order of regular J-classes is isomorphic to the poset of induced subgraphs of G. Finally, we apply these structural invariants to Krohn-Rhodes complexity theory. It is known that the Margolis-Rhodes monoid has complexity at most 2 and 1 for St(G) and Inj(G). We show that for cycles the complexity of its Margolis-Rhodes monoid is 2 if and only if the cycle is of length at least 4. For paths, we prove that the complexity of its Margolis-Rhodes monoid is 2 if the path length is at least 13.

math.GR↗