Related papers: Existence of normal elements with prescribed norms

In this paper we generalize the results of Sharma, Awasthi and Gupta (see \cite{SAG}). We work over a field of any characteristic with $q = p^k$ elements and we give a sufficient condition for the existence of a primitive element $\alpha…

Let $\mathbb{F}_q$ denote the finite field of $q$ elements and $\mathbb{F}_{q^n}$ the degree $n$ extension of $\mathbb{F}_q$. A normal basis of $\mathbb{F}_{q^n}$ over $\mathbb{F} _q$ is a basis of the form…

Let $q$ be a positive integral power of some prime $p$ and $\mathbb{F}_{q^m}$ be a finite field with $q^m$ elements for some $m \in \mathbb{N}$. Here we establish a sufficient condition for the existence of a non-zero element $\epsilon \in…

For $q$ an odd prime power with $q>169$ we prove that there are always three consecutive primitive elements in the finite field $\mathbb{F}_{q}$. Indeed, there are precisely eleven values of $q \leq 169$ for which this is false. For $4\leq…

Given positive integers $q,n,m$ and $a\in\mathbb{F}_{q}$, where $q$ is an odd prime power and $n\geq 5$, we investigate the existence of a primitive normal pair $(\epsilon,f(\epsilon))$ in $\mathbb{F}_{q^{n}}$ over $\mathbb{F}_{q}$ such…

In this paper we derive a formula for the number of $N$-free elements over a finite field $\mathbb{F}_q$ with prescribed trace, in particular trace zero, in terms of Gaussian periods. As a consequence, we derive a simple explicit formula…

Describing the conjugacy classes of the unipotent upper triangular groups $\mathrm{UT}_{n}(\mathbb{F}_{q})$ uniformly (for all or many values of $n$ and $q$) is a nearly impossible task. This paper takes on the related problem of describing…

Let $U/L$ be a finite abelian extension of number fields. We first construct a universal primitive generator of $U$ over $L$ whose relative trace to any intermediate field $F$ becomes a generator of $F$ over $L$, too. We also develop a…

For any positive integers $q$, $n$, $m$ with $q$ being a prime power and $n \geq 5$, we establish a condition sufficient to ensure the existence of a primitive normal pair $(\epsilon,f(\epsilon))$ in $\mathbb{F}_{q^{n}}$ over…

Assume $F$ is a finite field of order $p^f$ and $q$ is an odd prime for which $p^f-1=sq^m$, where $m \ge 1$ and $(s,q)=1$. In this article, we obtain the order of symmetric and unitary subgroup of the semisimple group algebra $FC_q.$…

Let F_q be the finite field with cardinality q, where q is a prime power. Given a finite field extension F_q^n over F_q and a,b in (F_q)^{*}, we investigate in this article the number N_n(a,b) of elements in F_q^n whose norm equals a and…

The centrepiece of this paper is a normal form for primitive elements which facilitates the use of induction arguments to prove properties of primitive elements. The normal form arises from an elementary algorithm for constructing a…

Let $r \geq 2$ be an integer, $q$ a prime power and $\mathbb{F}_{q}$ the finite field with $q$ elements. Consider the problem of showing existence of primitive elements in a subset $\mathcal{A} \subseteq \mathbb{F}_{q^r}$. We prove a sieve…

A folklore conjecture asserts the existence of a constant $c_n > 0$ such that $\#\mathcal{F}_n(X) \sim c_n X$ as $X\to \infty$, where $\mathcal{F}_n(X)$ is the set of degree $n$ extensions $K/\mathbb{Q}$ with discriminant bounded by $X$.…

Given ${\mathbb{F}_{p^t}}$, a field with $p^t$ elements, where $p$ is a prime power, $t$ is a positive integer. Let $f(x)$ be a polynomial over $\mathbb{F}_{p^t}$ of degree $m$ with some restrictions. In this paper, we construct a…

We give a completely normal element in the maximal real subfield of a cyclotomic field over the field of rational numbers, which is different from that of Okada. This result is a consequence of the criterion for a normal element developed…

Given a number field $K$, a finite abelian group $G$ and finitely many elements $\alpha_1,\ldots,\alpha_t\in K$, we construct abelian extensions $L/K$ with Galois group $G$ that realise all of the elements $\alpha_1,\ldots,\alpha_t$ as…

Let $G$ be a countable cancellative amenable semigroup and let $(F_n)$ be a (left) F{\o}lner sequence in $G$. We introduce the notion of an $(F_n)$-normal element of $\{0,1\}^G$. When $G$ = $(\mathbb N,+)$ and $F_n = \{1,2,...,n\}$, the…

We consider formal power series $f(z) = \omega z + a_2z^2 + \ldots \ (\omega \neq 0)$, with coefficients in a field of characteristic $0$. These form a group under the operation of composition (= substitution). We prove (Theorem 1) that…

Let $q=p^r$ be a prime power, and let $f(x)=x^m-\gs_{m-1}x^{m-1}- >...-\gs_1x-\gs_0$ be an irreducible polynomial over the finite field $\GF(q)$ of size $q$. A zero $\xi$ of $f$ is called {\em nonstandard (of degree $m$) over $\GF(q)$} if…