Limit Points of Commuting Probabilities of Finite Groups

Abstract

The commuting probability of a finite group $G$ is the probability that two randomly chosen elements commute. Let $S\subseteq (0,1]$ denote the set of all possible commuting probabilities of finite groups. We prove that $S\cup \{0\}$ is closed, which was conjectured by Keith Joseph in 1977.