We prove that for any prime power $q\notin \{3,4,5\}$, the cubic extension $\mathbb {F}_{q^{3}}$ of the finite field $\mathbb {F}_{q}$ contains a primitive element $\xi $ such that $\xi +\xi ^{-1}$ is also primitive, and $\operatorname {\mathrm {Tr}}_{\mathbb {F}_{q^{3}}/\mathbb {F}_{q}}(\xi )=a$ for any prescribed $a\in \mathbb {F}_{q}$. This completes the proof of a conjecture of Gupta et al. [‘Primitive element pairs with one prescribed trace over a finite field’, Finite Fields Appl. 54 (2018), 1–14] concerning the analogous problem over an extension of arbitrary degree $n\ge 3$.

Let k be a field, $x_1, \dots , x_n$ be independent variables and let $L_n = k(x_1, \dots , x_n)$. The symmetric group $\operatorname {\Sigma }_n$ acts on $L_n$ by permuting the variables, and the projective linear group $\operatorname {PGL}_2$ acts by

$$ \begin{align*} \begin{pmatrix} a & b \\ c & d \end{pmatrix}\, \colon x_i \longmapsto \frac{a x_i + b}{c x_i + d} \end{align*} $$

$i = 1, \dots , n$

$L_n^{\operatorname {PGL}_2}$

$S \subset \operatorname {\Sigma }_n$

$L_n^S$

$K_n^S$

$n \geqslant 5,$

$L_n^S$

$K_n^S$

$\{ 1, \dots , n \}$

$n \leqslant 4$

This paper deals with the following problem. Given a finite extension of fields $\mathbb{L}/\mathbb{K}$ and denoting the trace map from $\mathbb{L}$ to $\mathbb{K}$ by $\text{Tr}$, for which elements $z$ in $\mathbb{L}$, and $a$, $b$ in $\mathbb{K}$, is it possible to write $z$ as a product $xy$, where $x,y\in \mathbb{L}$ with $\text{Tr}(x)=a,\text{Tr}(y)=b$? We solve most of these problems for finite fields, with a complete solution when the degree of the extension is at least 5. We also have results for arbitrary fields and extensions of degrees 2, 3 or 4. We then apply our results to the study of perfect nonlinear functions, semifields, irreducible polynomials with prescribed coefficients, and a problem from finite geometry concerning the existence of certain disjoint linear sets.

Let A ⊂ B be an integral ring extension of integral domains with fields of fractions K and L, respectively. The integral degree of A ⊂ B, denoted by dA(B), is defined as the supremum of the degrees of minimal integral equations of elements of B over A. It is an invariant that lies in between dK(L) and μA(B), the minimal number of generators of the A-module B. Our purpose is to study this invariant. We prove that it is sub-multiplicative and upper-semicontinuous in the following three cases: if A ⊂ B is simple; if A ⊂ B is projective and finite and K ⊂ L is a simple algebraic field extension; or if A is integrally closed. Furthermore, d is upper-semicontinuous if A is noetherian of dimension 1 and with finite integral closure. In general, however, d is neither sub-multiplicative nor upper-semicontinuous.