On the 5/8 bound for non-Abelian Groups

Abstract

If we pick two elements of a non-abelian group at random, the odds this pair commutes is at most 5/8, so there is a "gap" between abelian and non-abelian groups \cite{G}. We prove a "topological" generalization estimating the odds a word presenting the fundamental group of an orientable surface $<x,y:[x_1,y_1][x_2,y_2]...[x_n,y_n]=1>$ is satisfied. This resolves a conjecture by Langley, Levitt and Rower.

5 pages, 1 figure

References in corpus (1)

• Word-Induced Measures on Compact Groups