{"id":"arxiv/2604.21429","url":"https://arxiv.org/abs/2604.21429","tags":["math.NT"],"score":0,"title":"Consecutive non-square non-primitive pairs in a finite field","domain":"math.NT","source":"arxiv","authors":["Stephen D. Cohen"],"reviews":0,"subject":"math.NT","summary":"Let $q$ be an odd prime power and write \\[ θ_q := \\frac{φ(q-1)}{q-1}. \\] If $θ_q < \\tfrac{1}{3}$, or if $θ_q = \\tfrac{1}{3}$ and $q \\notin \\{7,13,19,25,37\\}$, then the finite field $\\F$ contains a pair of consecutive elements that are both non-square and non-primitive. This extends a result of Jarso and Trudgian for prime fields $\\Fp$, where the same conclusion was obtained under the stronger condition $θ_p \\le \\tfrac{1}{4}$. More generally, let $\\ell$ be the least odd prime divisor of $q-1$. If $θ_q \\le \\tfrac{1}{3}$, then $\\F$ contains a pair of consecutive elements that are non-squares…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-23","reactions":{}}