Conjecture on primitive elements and a square discriminant over finite fields

Let pp be an odd prime and let e1>1e_1>1 and e2>1e_2>1 be odd integers. For i=1,2i=1,2, choose a primitive element jiFpeij_i\in\mathbb{F}_{p^{e_i}} and define

ωi=ji+ji1.\omega_i=j_i+j_i^{-1}.

Primitive-element square conjecture. There exist such j1j_1 and j2j_2 for which

Ω:=ω12ω224(ω12+ω22)\Omega:=\omega_1^2\omega_2^2-4(\omega_1^2+\omega_2^2)

is a square in Fplcm(e1,e2)\mathbb{F}_{p^{\operatorname{lcm}(e_1,e_2)}}. This conjecture is introduced to make the construction of generators for chiral 44-polytopes work in the unresolved cases; the paper reports extensive computational evidence but no proof.

Sources & referencesView supporting material

Primary source

Jérémie Moerenhout, Dimitri Leemans and Eugenia O'Reilly-Regueiro, “Projective linear groups as automorphism groups of chiral polytopes”, arXiv:1606.08017 (2016).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.