{"id":"arxiv/2605.16032","url":"https://arxiv.org/abs/2605.16032","tags":["math.GR"],"score":0,"title":"Greedy bases and relational complexity of diagonal type groups","domain":"math.GR","source":"arxiv","authors":["Hong Yi Huang","Colva M. Roney-Dougal"],"reviews":0,"subject":"math.GR","summary":"A base for a subgroup $G$ of $\\mathrm{Sym}(Ω)$ is a sequence of elements of $Ω$ with trivial pointwise stabiliser. The size of the smallest base for $G$ is denoted $b(G)$. There is a natural greedy algorithm to compute a base for $G$, and it was conjectured by Cameron in 1999 that there exists an absolute constant $c$ such that if $G$ is primitive then any base returned by this algorithm has size at most $cb(G)$. In this paper we determine the size of every base returned by the greedy algorithm when $G$ is a primitive group of diagonal type, and hence prove Cameron's conjecture for these…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-15","reactions":{}}