\(\mathbb{F}_q\)-primitive points on varieties over finite fields (Q7008098)

Let \(\mathbb{F}_q\) denote a finite field with \(q\) elements, where \(q\) is a prime power. Let \(r\) be a positive divisor of \(q -1\) and \(f(x,y)\), a rational function of degree sum \(d\) over \(\mathbb{F}_q\) with some restrictions, where the degree sum of a rational function \(f(x,y) = f_1(x,y)/f_2(x,y)\) is the sum of the degrees of \(f_1(x,y)\) and \(f_2(x,y)\). In this article, the authors have extended the notion of exceptional functions from one variable to the functions of \(n\) variables (named them as primarily exceptional functions) and obtained a sufficient condition for the existence of triples of the form \((\alpha,\beta,f(\alpha,\beta))\) over \(\mathbb{F}_q\), where \(\alpha, \beta\) are primitive and \(f(\alpha,\beta)\) is \(r\)-primitive for a primarily non-exceptional rational function of degree sum \(d\) over \(\mathbb{F}_q\). In other words, they have discussed the existence of \(\mathbb{F}_q\)-primitive points on the surfaces of the form \(z^r = f(x,y)\), where \(f(x,y)\) is a primarily non-exceptional rational function over \(\mathbb{F}_q\). As an example, the results were applied on the unit sphere over \(\mathbb{F}_q\),