Mazurov's question on fixed points of automorphisms of free Burnside groups

V. S. Atabekyan

Home/Archive/arXiv

arXiv · 2609.33941

Mazurov's question on fixed points of automorphisms of free Burnside groups

V. S. Atabekyan

View original source ↗Read source document ↗Export metadata ↓

Abstract

In the Kourovka Notebook, V.\,D.~Mazurov asked whether an automorphism $α$ of prime order $m$ of the infinite free Burnside group $G=B(m,q)$ of prime period $q$ that cyclically permutes the free generators of $G$ must have a nontrivial fixed point. In this paper, we show that for $m\ge3$ the answer is negative for all sufficiently large prime periods $q$. Precisely, we prove that for any odd $m\ge3$, there exists $q_m>0$ such that for every prime period $q>q_m$, the automorphism of $B(m,q)$ of order $m$ that cyclically permutes its free generators is fixed-point-free.

Explore related subjects

math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

V. S. Atabekyan. 2026-09-27. Mazurov's question on fixed points of automorphisms of free Burnside groups. https://arxiv.org/abs/2609.33941

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

KEEP EXPLORING

Related papers

arXiv2026

The classification of endpoint-transitive graphs with geodesic condition

We introduce endpoint k-path-transitive graphs, in which the automorphism group fixing two prescribed vertices pointwise acts transitively on the paths of length k joining them. We study the geodesic case, where k equals the distance between these vertices. We identify the union of these geodesics with the Hasse graph of a finite bounded graded poset and reduce it to proper blocks by complete cuts andmatching compression. Assume that the induced group K acts faithfully and 2-homogeneously on the first distance layer. We first prove that every nontrivial normal subgroup of K is transitive on every internal layer if and only if soc(K) is. Under this normal-basic condition, we classify the proper blocks in the affine case and the equal-width proper blocks with a 2-transitive internal layer in the almost-simple case. The nontrivial design interfaces are Paley or affine symplectic designs in the affine case, and projective designs, the 2-(11, 5, 2) design, the HigmanSims design, or their complements in the almost-simple case. The proper blocks have reduced rank at most four, whereas almost-simple proper blocks can have arbitrarily large reduced rank without the equal-width condition. We also give a stabilizer factorization criterion for assembling blocks while preserving endpoint-geodesic transitivity.

math.GR↗

arXiv2026

One-sided identity and zero sets and an elementary approach to the Rees-Sushkevich Theorem

For a groupoid $S$ with elements $a$ and $b$, if $ba = a$, then $b$ is a left identity of $a$ and $a$ is a right zero of $b$. We define the left identity set of $a$ to be the set of all left identities of $a$ in $S$, and similarly for the right identity set of $a$ in $S$. We defined the left zero set of $a$ to be the set of all left zeroes of $a$ in $S$, and similarly for the right zero set of $a$. We use the one-sided identity and zero sets of a semigroup in the determination of the structure of its maximal subgroups, maximal right and left zero subsemigroups, maximal right and left subgroups, rectangular band subsemigroups, completely simple subsemigroups, rectangular subgroups, and completely $0$-simple subsemigroups. An elementary approach of the Rees-Sushkevich Theorem follows. Then we define rectangular $0$-bands and rectangular $0$-groups as completely $0$-simple analogues of rectangular bands and rectangular groups.

math.GR↗

arXiv2026

Random Quotients of Free Products

We introduce a density model for random quotients of a free product of finitely generated groups. We prove that a random quotient in this model has the following properties with overwhelming probability: if the density is below $1/2$, the free factors embed into the random quotient and the random quotient is hyperbolic relative to the free factors. Further, there is a phase transition at $1/2$, with the random quotient being a finite group above this density. If the density is below $1/6$, the random quotient is cubulated relative to the free factors. Moreover, if the free factors are cubulated, then so is the random quotient.

math.GR↗