Finite groups with large power-avoiding subsets

A subset $X$ of a finite group $G$ is $k$-power-avoiding if for all $g\in G$ we have that $\{g,g^k\}\subseteq ̸X$. The paper shows that if $G$ contains a $k$-power-avoiding subset $X$ with $\mathrm{\mid }X\mathrm{\mid }\ge \mathrm{\mid }G\mathrm{\mid }-c$, then the group $G^k$ generated by the $k$th powers of elements of $G$ has bounded order (in $k$ and $c$). We provide more detailed structural results when $c\le 2$, and in particular we classify the groups which arise when $c\le 2$ and $k$ is prime.