Abstract:We construct novel examples of finitely generated groups that exhibit seemingly-contradicting probabilistic behaviors with respect to Burnside laws. We construct a finitely generated group that satisfies a Burnside law, namely a law of the form $x^n=1$, with limit probability 1 with respect to uniform measures on balls in its Cayley graph and under every lazy non-degenerate random walk, while containing a free subgroup. We show that the limit probability of satisfying a Burnside law is highly sensitive to the choice of generating set, by providing a group for which this probability is $0$ for one generating set and $1$ for another. Furthermore, we construct groups that satisfy Burnside laws of two co-prime exponents with probability 1. Finally, we present a finitely generated group for which every real number in the interval $[0,1]$ appears as a partial limit of the probability sequence of Burnside law satisfaction, both for uniform measures on Cayley balls and for random walks. Our results resolve several open questions posed by Amir, Blachar, Gerasimova, and Kozma. The techniques employed in this work draw upon geometric analysis of relations in groups, information-theoretic coding theory on groups, and combinatorial and probabilistic methods.

Notes on $B$-groups

On the Burness-Giudici Conjecture

On $B$-root subgroups on horospherical varieties

Groups with finitely many Busemann points

A Note On The Finitely Generated Fixed Subgroup Property

On Bouc's and Thévenaz's conjectures on B-groups

Bouc's Conjecture on B-groups

Perfect kernel of generalized Baumslag-Solitar groups

Probabilistic Burnside groups

On groups with BFC-covered word values

Asymptotic Burnside laws

Abelian $p$-groups with a $p$-bounded factor or a $p$-bounded subgroup

Structure of a Sort of P-Group

A generalization on Bessenrodt's corollary

Generalized Schur Groups

Subgroups with a small sum of element orders

A Note on Thompson Problem

On the generation of simple groups by Sylow subgroups

Products of free groups inside graph braid groups

Parabolic subgroups of complex braid groups: the remaining case

Generalizations of the Borsuk Theorem