Related papers: Existence of normal elements with prescribed norms

Let $F_q$ be a field with $q$ elements, where $q$ is a power of a prime number $p\geq 5$. For any integer $m\geq 2$ and $a\in F_q^*$ such that the polynomial $x^m-a$ is irreducible in $F_q[x]$, we combine two different methods to construct…

We prove that for all $q>61$, every non-zero element in the finite field $\mathbb{F}_{q}$ can be written as a linear combination of two primitive roots of $\mathbb{F}_{q}$. This resolves a conjecture posed by Cohen and Mullen.

It is well known that for any finite Galois extension field $K/F$, with Galois group $G = \mathrm{Gal}(K/F)$, there exists an element $\alpha \in K$ whose orbit $G\cdot\alpha$ forms an $F$-basis of $K$. Such an element $\alpha$ is called…

The \emph{normal rank} of a group is the minimal number of elements whose normal closure coincides with the group. We study the relation between the normal rank of a group and its first $\ell^2$-Betti number and conjecture that inequality…

Let $F=\mathbb{F}_{q^m}$, $m>6$, $n$ a positive integer, and $f=p/q$ with $p$, $q$ co-prime irreducible polynomials in $F[x]$ and deg$(p)$ $+$ deg$(q)= n$. A sufficient condition has been obtained for the existence of primitive pairs…

A quasi-semiregular element in a permutation group is an element that has a unique fixed point and acts semiregularly on the remaining points. Such elements were first studied in the context of automorphisms of graphs and occur naturally in…

Let $K$ be the function field of a smooth, irreducible curve defined over $\overline{\mathbb{Q}}$. Let $f\in K[x]$ be of the form $f(x)=x^q+c$ where $q = p^{r}, r \ge 1,$ is a power of the prime number $p$, and let $\beta\in \overline{K}$.…

Let $\mathbb {F}_q$ be finite field with $q$ elements. Let $\alpha\leqslant n$ be positive integers. Consider the general linear group $\mathrm{GL}(\alpha+n, \mathbb {F}_q) $ and its subgroup $H(n)$, which fixes the first $\alpha$ basis…

Let $\Fm$ be finite fields of order $q^m$, where $m\geq 2$ and $q$, a prime power. Given $\F$-affine hyperplanes $A_1,\ldots, A_m$ of $\Fm$ in general position, we study the existence of primitive element $\alpha$ of $\Fm$, such that…

Using the properties of the ideal of the coordinate Hermite interpolation on n-dimensional grid [4], we prove that the extension k in k[x1, x2, ..., xn] / (f1(x1), ..., fn(xn)) has a primitive element if and only if at most one of the…

We investigate bicomplex analogues of fundamental notions from classical algebraic number theory. In particular, we show that the primitive element theorem admits a natural generalization to bicomplex extensions, giving rise to two distinct…

Recent work by Huang, Lewis, Morales, Reiner, and Stanton suggests that the regular elliptic elements of $\mathrm{GL}_n \mathbb{F}_q$ are somehow analogous to the $n$-cycles of the symmetric group. In 1981, Stanley enumerated the…

A new criterion on normal bases of finite field extension $\mathbb{F}_{q^n} / \mathbb{F}_{q}$ is presented and explicit criterions for several particular finite field extensions are derived from this new criterion.

Let $q$ be a prime power, and let $r=nk+1$ be a prime such that $r\nmid q$, where $n$ and $k$ are positive integers. Under a simple condition on $q$, $r$ and $k$, a Gauss period of type $(n,k)$ is a normal element of $\Bbb F_{q^n}$ over…

Let $F$ be a field and let $E$ be an \'etale algebra over $F$, that is, a finite product of finite separable field extensions $E = F_1 \times \dots \times F_r$. The classical primitive element theorem asserts that if $r = 1$, then $E$ is…

We establish a Primitive Element Theorem for fields equipped with several commuting operators such that each of the operators is either a derivation or an automorphism. More precisely, we show that for every extension $F \subset E$ of such…

We classify those finite fields $\mathbb{F}_q$, for $q$ a power of some fixed prime number, whose members are the sum of an $n$-potent element with $n>1$ and a 4-potent element. It is shown that there are precisely ten non-trivial pairs…

Given a prime power $q$ and an integer $n\geq2$, we establish a sufficient condition for the existence of a primitive pair $(\alpha,f(\alpha))$ where $\alpha \in \mathbb{F}_q$ and $f(x) \in \mathbb{F}_q(x)$ is a rational function of degree…

Let $\xi\in\mathbb{F}_{q^m}$ be an $r$-primitive $k$-normal element over $\mathbb{F}_q$, where $q$ is a prime power and $m$ is a positive integer. The minimal polynomial of $\xi$ is referred to be the $r$-primitive $k$-normal polynomial of…

Let $\mathbb{Q}(\alpha)$ and $\mathbb{Q}(\beta)$ be linearly disjoint number fields and let $\mathbb{Q}(\theta)$ be their compositum. We prove that the first-degree prime ideals of $\mathbb{Z}[\theta]$ may almost always be constructed in…