{"id":"arxiv/2607.08557","url":"https://arxiv.org/abs/2607.08557","tags":["math.CO","math.GR"],"score":0,"title":"A note on the shortest law for the symmetric group","domain":"math.CO","source":"arxiv","authors":["Adrian Beker","Luka Milićević","Rudi Mrazović"],"reviews":0,"subject":"math.CO","summary":"Let $α(n)$ denote the length of the shortest non-trivial two-variable law for the symmetric group $S_n$. Buskin's quantitative subgroup-separability argument gives the classical lower bound $α(n)\\geq 2n-O(1)$. In this short note we give an improvement by proving that $α(n)\\geq \\frac52 n-O(1)$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-09","reactions":{}}