Palindromes in finite groups and the Explorer-Director game

NEW

Problem: For a finite group $G$ of odd order, a twisted subgroup is a subset $P\subseteq G$ with $1\in P$ and $aba\in P$ for all $a,b\in P$. The paper defines

Literally, $L(G)=\{d:d\mid |G|\}$ is already false because $|G|$ is on the right but $G$ itself is excluded on the left. The natural repaired conjecture is that $L(G)$ is the set of proper divisors of $|G|$. This repaired conjecture is also false.

Result: Let $F=\mathbb F_{3^4}$, and choose $\alpha\in F$ of order $5$, e.g. a root of

Let

where $C_5=\langle t\rangle$ acts on the additive group of $F$ by $tvt^{-1}=\alpha v$. Thus $|G|=3^4\cdot 5=405$.

Write elements as $(v,i)$, $v\in F$, $i\in\mathbb Z/5\mathbb Z$, with

First note that in an odd-order group every twisted subgroup is closed under inverses: if $x\in P$, then the exponents $n$ with $x^n\in P$ form a subset of $\mathbb Z/\operatorname{ord}(x)$ containing $0,1$ and closed under $a,b\mapsto 2a+b$; since multiplication by $2$ is bijective, this subset is all of $\mathbb Z/\operatorname{ord}(x)$.

Let $P\leq_{\mathrm{tw}} G$. Project $P$ to $C_5$. The image is either trivial or all of $C_5$.

If the image is trivial, then $P\subseteq F$. Since $F$ is elementary abelian of order $3^4$, $P$ is an $\mathbb F_3$-subspace, so $|P|$ is a power of $3$.

Now suppose the image is all of $C_5$. For $i\in\mathbb Z/5\mathbb Z$, set

Each $P_i$ is nonempty. Closure under $(x,y)\mapsto xy^{-1}x$ gives, for $u,v\in P_i$,

so $P_i$ is an affine $\mathbb F_3$-subspace, say $P_i=c_i+W_i$.

For $u\in P_i$, $v\in P_j$,

Taking differences gives

Hence, for all $i$,

where $1/2$ is taken modulo $5$. Therefore all fibers have the same dimension $r=\dim_{\mathbb F_3}W_0$, and

The other difference relation gives

Taking $i=2,j=0$, we get

Let $\beta=\alpha+\alpha^{-1}$. Since $\alpha^5=1$ and $\alpha\neq1$,

over $\mathbb F_3$, and this polynomial is irreducible over $\mathbb F_3$. Thus $W_0$ is a vector space over $\mathbb F_9=\mathbb F_3(\beta)$, so $r$ is even.

Hence any twisted subgroup of $G$ has size either a power of $3$, or $5\cdot 3^r$ with $r\in\{0,2,4\}$. In particular, no twisted subgroup has order

But $15\mid 405$. Therefore even the repaired conjecture is false.

Citation: Conjecture and definitions: Dagur Tómas Ásgeirsson and Pat Devlin, “Palindromes in finite groups and the Explorer-Director game,” arXiv:1904.00467. The counterexample above is self-contained.