Greedy bases and relational complexity of diagonal type groups

Hong Yi Huang, Colva M. Roney-Dougal

A base for a subgroup $G$ of $\mathrm{Sym}(\Omega )$ is a sequence of elements of $\Omega$ with trivial pointwise stabiliser. The size of the smallest base for $G$ is denoted $b(G)$. There is…